Побудова надійних операційних систем, що допускають наявність ненадійних драйверів пристроїв

Як запобігти відмови операційних систем з вини драйверів пристроїв, що містять помилки?Цей проект присвячений побудові більш надійної операційної системи.Прозоре відновлення іноді є можливим і при збоях драйверів символьних пристроїв.Хоча витяг драйверів з ядра є великим кроком вперед, ще краще витягти з ядра операційну систему.Чому у систем трапляються відмови?Друга проблема полягає в привнесення в операційну систему чужого коду.Детальний обговорення ефективності нашої системи ми представляємо в розд.Після цього операційна система, повністю сумісна з POSIX, готова до використання.З монолітними операційними системами пов'язана низка проблем, властивих їх архітектурі.Величезний розмір коду припускає наявність численних помилок.