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

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

Скриншот программной платформы Minix 3 (изображение с веб-сайта проекта).

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

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

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

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

Подготовлено по материалам PC World.

Каждый день слушайте итоговый подкаст Свободного Радио «Компьюлента»!

blog comments powered by Disqus