Европа поддержала проект по разработке безопасной операционной системы
18:29
Европейский исследовательский совет (ERC) выделил €2,5 млн на дальнейшее развитие проекта Minix по разработке надежной и безопасной Unix-подобной операционной системы.
История
проекта Minix насчитывает более двадцати лет. Первая версия этой
программной платформы была создана в 1987 году профессором
Амстердамского свободного университета Эндрю Таненбаумом (см. его выступление на FrOSCon 2008 в видео).
Основная особенность Minix заключается в использовании
микроядерной архитектуры, обеспечивающей высокую степень модульности и
существенно упрощающей добавление в ОС новых компонентов. В
микроядерной платформе, например, можно, не прерывая ее работы,
загружать и выгружать новые драйверы, файловые системы и т. д. Кроме
того, использование микроядер положительно отражается на безопасности и
стабильности ОС: модули, функционирующие в пользовательском режиме,
изолированы друг от друга, поэтому ошибка в любом из них не влияет на
работу других. Так, если в Minix происходит сбой драйвера, он
автоматически перезапускается, не требуя пользовательского
вмешательства и перезагрузки всей ОС.
Грант от Европейского исследовательского совета получит
команда из трех ученых и двух программистов, работающих над развитием
Minix. Ожидается, что выделенные средства позволят поддерживать проект
в течение как минимум пяти лет.
Добавим, что операционная система Minix и ее исходный код являются свободными; загрузить платформу можно отсюда.