> Не согалдсен, я подозреваю эти приблуды усложнят ядро и ОС в целом, воответственно затруднят верификацию. А значит, производитель микроядерной ОС не может гарантировать отказоустойчивости и надёжности.Потоки, динамические библиотеки и микроядерная архитектура - это как бы вещи ортогональные друг другу и никак друг с другом не связанные. Гарантировать же отказоустойчивость и надежность 'операционной системы', боюсь, не может ни один производитель. Именно гарантировать с соотв. бременем обязательств а не просто указывать в рекламных проспектах. Точно так же, как производитель кухонных ножей не может гарантировать, что его продукция не послужит орудием убийства.
|