Европа поддержала проект по разработке безопасной операционной системы

Европейский исследовательский совет (ERC) выделил €2,5 млн. на дальнейшее развитие проекта Minix по разработке надежной и безопасной Unix-подобной операционной системы.

История проекта Minix насчитывает более двадцати лет. Первая версия этой программной платформы была создана в 1987 году профессором Амстердамского свободного университета Эндрю Таненбаумом.

Основная особенность Minix заключается в использовании микроядерной архитектуры, обеспечивающей высокую степень модульности и существенно упрощающей добавление в ОС новых компонентов. В микроядерной платформе, например, можно, не прерывая ее работы, загружать и выгружать новые драйверы, файловые системы и т. д.

Кроме того, использование микроядер положительно отражается на безопасности и стабильности ОС: модули, функционирующие в пользовательском режиме, изолированы друг от друга, поэтому ошибка в любом из них не влияет на работу других. Так, если в Minix происходит сбой драйвера, он автоматически перезапускается, не требуя пользовательского вмешательства и перезагрузки всей ОС.

Грант от Европейского исследовательского совета получит команда из трех ученых и двух программистов, работающих над развитием Minix. Ожидается, что выделенные средства позволят поддерживать проект в течение как минимум пяти лет.

Добавим, что операционная система Minix и ее исходный код являются свободными; загрузить платформу можно отсюда.