Комментарии участников:
Не дядька ли Тоненбаум за ними стоит со своей микроядерной идеей?O_O
"Грант получила группа специалистов из Свободного университета (Vrije Universiteit) из Амстердама, работающая под руководством профессора Эндрю Таненбаума"!!!
:)
P.S. Таненбаум им наработает… ;-)

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

скриншот программной платформы Minix 3 (изображение с веб-сайта проекта).
Нет, не та же.
А вообще новость в изложении наших журналистов достаточно косноязычна.
www.pcworld.com/businesscenter/article/163890/europe_funds_secure_operating_system_research.html
вот ссылка на новость с PC World, там люди хотя бы понимаю
т как глупо звучат фразы о "создать операционную систему, способную самостоятельно исправлять такие ошибки".
ОС не исправляет такие ошибки самостоятельно, она просто не позволяет влиять этим ошибкам на другие модули.
Как же некомпетентны "российские издания".
А вообще новость в изложении наших журналистов достаточно косноязычна.

вот ссылка на новость с PC World, там люди хотя бы понимаю
т как глупо звучат фразы о "создать операционную систему, способную самостоятельно исправлять такие ошибки".
ОС не исправляет такие ошибки самостоятельно, она просто не позволяет влиять этим ошибкам на другие модули.
Как же некомпетентны "российские издания".
Если ядра будут одинаковые, то ошибка будет в любом из них.
Если разные, то кто будет поддерживать функции отключенной ?
Проще одно стабильное ядро, а отключать ошибочные модули… но это уже есть…
Если разные, то кто будет поддерживать функции отключенной ?
Проще одно стабильное ядро, а отключать ошибочные модули… но это уже есть…
Для микроядерных ОС имеется возможность математически доказать отсутствие ошибок (гарантировать их отсутствие) в микроядре.
Если будет доказано и гарантировано отсутствие ошибок в микроядрах, зачем делать функционал блокирования и переключения компонент?
Имеются ввиду скорее всеог многуровневая архитекрура ядра..
где поль зовательские програмы на уровне далеком типа 6 а управолениай памятю и процем на 0.
Так между ними еще несколько уровней. (цмиотя что они решат). Нуткат вот реч идет о контроле
ошибокна более высоком уровне. тоест не самого себя. например ядро не грохница, если
у програмиста драйверов кривые руки...
Все по памяти, изучалось лет 7 назад, так что может не все точно…
где поль зовательские програмы на уровне далеком типа 6 а управолениай памятю и процем на 0.
Так между ними еще несколько уровней. (цмиотя что они решат). Нуткат вот реч идет о контроле
ошибокна более высоком уровне. тоест не самого себя. например ядро не грохница, если
у програмиста драйверов кривые руки...
Все по памяти, изучалось лет 7 назад, так что может не все точно…
Так это ж уже все есть. Что велосипед изобретать? Для скорости конечно в kernel mode дрова втыкают, но кто мешает делать иначе ?
Я просто говорю, что не предложили принципиально ничего нового…
Я просто говорю, что не предложили принципиально ничего нового…
Много задачь..
Если действительно занятся формальным доказательством безошибочности ОС. то я ба предложил её в использование на АЭС.
Ну для банков и правительства тозех интересно...
А вобще в зависимости от лизензии ;)
Если действительно занятся формальным доказательством безошибочности ОС. то я ба предложил её в использование на АЭС.
Ну для банков и правительства тозех интересно...
А вобще в зависимости от лизензии ;)
Да самому весело...
Не знаю может это только у менай нто когда пишу латинскими,
старая привычка писать как слышится :( Привычка из девяностых… почти детства.
так что трудно преключится.
На минусы давно не обижаюсь
Не знаю может это только у менай нто когда пишу латинскими,
старая привычка писать как слышится :( Привычка из девяностых… почти детства.
так что трудно преключится.
На минусы давно не обижаюсь
Надо нашим идею подкинуть. Дать миллиардов 100, пусть напишут Российскую, суперзащищённую ОС. Вот где попильщикам простор...
А то что у них, жалких $3,3 млн.
А то что у них, жалких $3,3 млн.
Напишут или нет, в данном случае не столь уж важно. Важен процесс попила. А виноватых в том, что не вышло, куча: злобные американские хакеры, например украдут код за неделю до релиза, или ещё что-нибудь в этом духе. Отмазки лепить — этого никто лучше наших не умеет.
Основная идея микроядерной ОС — собственно, микроядро :)
Очень маленький кусок кода, который просто создаёт условия для работы модулей и управления ими. А всё остальное — модуль видео подсистемы, модуль клавиатуры, и т.п. пишется отдельно и работает независимо от микроядра. Произошла например ошибка в драйвере видеокарты (или в самой видеокарте) — винда или подвиснет, или словим BSOD, а Minix3 просто перезапустит подсистему, и всё продолжит работать.
И, кстати, важное замечание — Minix — это древняя поделка ещё старше Линукса. Текущая версия — Minix3 от старой имеет только название, и эта цифра важна, являясь не столько версией, сколько частью имени. Так что просто говорить Minix — неправильно.
Очень маленький кусок кода, который просто создаёт условия для работы модулей и управления ими. А всё остальное — модуль видео подсистемы, модуль клавиатуры, и т.п. пишется отдельно и работает независимо от микроядра. Произошла например ошибка в драйвере видеокарты (или в самой видеокарте) — винда или подвиснет, или словим BSOD, а Minix3 просто перезапустит подсистему, и всё продолжит работать.
И, кстати, важное замечание — Minix — это древняя поделка ещё старше Линукса. Текущая версия — Minix3 от старой имеет только название, и эта цифра важна, являясь не столько версией, сколько частью имени. Так что просто говорить Minix — неправильно.
И вобще говоря, новость некорректна. Никто не разрабатывает "свою" ОС, Minix3 — полный опенсорс. Просто кто-то решил, что этот проект нужен, и Таненбауму подкинули бабла. И всё.
Здорово. Конкуренция — это хорошо. Микроядро — это интересно. Можно будет посмотреть, действительно ли микроядро годится для десктопа, или действительно нет.
И может, если система действительно получит поддержку, производители железа офигеют от такого количества платформ и начнут раздавать нормальные спецификации, а не закрытые драйверы.
И может, если система действительно получит поддержку, производители железа офигеют от такого количества платформ и начнут раздавать нормальные спецификации, а не закрытые драйверы.
В случае, когда в каком-то из компонентов системы обнаруживается ошибка, этот компонент блокируется, что позволяет всем остальным частям ОС продолжать функционирование.
Не так уж это и полезно, кстати, как некоторым хочется, чтобы было. Вот установил я новый экспериментальный драйвер для видеокарты в своём Линуксе, включил 3D-эффекты, а он виснет два-три раза в сутки. Единственное, что можно сделать — зайти удалённо с другого компа и инициировать перезагрузку. Не так это важно, чтобы ради этого новую систему разрабатывать.
Для надёжности, наверное, какой-нибудь другой подход к написанию прикладных программ нужен, на который, наверное, и следовало потратить этот грант. ОС тут не при чём.