Европа разрабатывает свою операционную систему, превосходящую Linux и Windows по надежности и безопасности

отметили
81
человек
в архиве
Европа разрабатывает свою операционную систему, превосходящую Linux и Windows по надежности и безопасности
Европейский исследовательский Совет (European Research Council) объявил итоги конкурса на разработку Unix-подобной операционной системы, которая была бы более надежной и безопасной, чем Linux или Windows. Грант получила группа специалистов из Свободного университета (Vrije Universiteit) из Амстердама, работающая под руководством профессора Эндрю Таненбаума (Andrew Tanenbaum), создателя операционной системы Minix, сообщает PC World.

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

Новый грант в размере $ 3,3 млн обеспечит финансирование проекта в течение следующих пяти лет.
Добавил pyshok pyshok 28 Апреля 2009
проблема (1)
Комментарии участников:
linews
+3
linews, 28 Апреля 2009 , url
Не дядька ли Тоненбаум за ними стоит со своей микроядерной идеей?
pda
+3
pda, 28 Апреля 2009 , url
Не дядька ли Тоненбаум за ними стоит со своей микроядерной идеей?
O_O
"Грант получила группа специалистов из Свободного университета (Vrije Universiteit) из Амстердама, работающая под руководством профессора Эндрю Таненбаума"!!!
:)

P.S. Таненбаум им наработает… ;-)
suare
0
suare, 28 Апреля 2009 , url
Европа поддержала проект по разработке безопасной операционной системы
История проекта Minix насчитывает более двадцати лет. Первая версия этой программной платформы была создана в 1987 году профессором Амстердамского свободного университета Эндрю Таненбаумом (см. его выступление на FrOSCon 2008 в видео).

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


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


скриншот программной платформы Minix 3 (изображение с веб-сайта проекта).
fox-net
+3
fox-net, 28 Апреля 2009 , url
когда программа начнет писать программы — это будет началом конца света :)
shuron
0
shuron, 28 Апреля 2009 , url
Да не будет ничего писать
Я думаю они росто идею миникса до ума доведут.
многоуровневое мокроядро.
shuron
-1
shuron, 28 Апреля 2009 , url
мокро=мИкро ;) Транслит, твою мать
iljab.pip.verisignlabs.com
0
iljab.pip.verisignlabs.com, 28 Апреля 2009 , url
утопическая идея "работает плохо, вот сейчас возьмем и сделаем на много лучше"
Элвин
-1
Элвин, 28 Апреля 2009 , url
А Win2000 и иже с ними — не та же микроядерная архитектура?
centur
+5
centur, 28 Апреля 2009 , url
Нет, не та же.
А вообще новость в изложении наших журналистов достаточно косноязычна.
www.pcworld.com/businesscenter/article/163890/europe_funds_secure_operating_system_research.html
вот ссылка на новость с PC World, там люди хотя бы понимаю
т как глупо звучат фразы о "создать операционную систему, способную самостоятельно исправлять такие ошибки".
ОС не исправляет такие ошибки самостоятельно, она просто не позволяет влиять этим ошибкам на другие модули.

Как же некомпетентны "российские издания".
shuron
-1
shuron, 28 Апреля 2009 , url
Вово ;)
"Исправлять" как они додумались? Филологи млин :)
blogman
+1
blogman, 28 Апреля 2009 , url
Если ядра будут одинаковые, то ошибка будет в любом из них.
Если разные, то кто будет поддерживать функции отключенной ?
Проще одно стабильное ядро, а отключать ошибочные модули… но это уже есть…
Somniator
+2
Somniator, 28 Апреля 2009 , url
Для микроядерных ОС имеется возможность математически доказать отсутствие ошибок (гарантировать их отсутствие) в микроядре.
blogman
0
blogman, 28 Апреля 2009 , url
Если будет доказано и гарантировано отсутствие ошибок в микроядрах, зачем делать функционал блокирования и переключения компонент?
shuron
-2
shuron, 28 Апреля 2009 , url
Имеются ввиду скорее всеог многуровневая архитекрура ядра..
где поль зовательские програмы на уровне далеком типа 6 а управолениай памятю и процем на 0.
Так между ними еще несколько уровней. (цмиотя что они решат). Нуткат вот реч идет о контроле
ошибокна более высоком уровне. тоест не самого себя. например ядро не грохница, если
у програмиста драйверов кривые руки...
Все по памяти, изучалось лет 7 назад, так что может не все точно…
blogman
0
blogman, 28 Апреля 2009 , url
Так это ж уже все есть. Что велосипед изобретать? Для скорости конечно в kernel mode дрова втыкают, но кто мешает делать иначе ?
Я просто говорю, что не предложили принципиально ничего нового…
shuron
-1
shuron, 28 Апреля 2009 , url
нет многоуровного толком нет.
в основном только два уровня.
Kei
0
Kei, 28 Апреля 2009 , url
Не понятно для каких задач создаётся эта ОС.
shuron
-1
shuron, 28 Апреля 2009 , url
Много задачь..
Если действительно занятся формальным доказательством безошибочности ОС. то я ба предложил её в использование на АЭС.
Ну для банков и правительства тозех интересно...
А вобще в зависимости от лизензии ;)
helix
+1
helix, 28 Апреля 2009 , url
Похоже чем ближе к концу дня, тем сильнее влияет "транслит", на уровень орфографии :)
shuron
-1
shuron, 28 Апреля 2009 , url
Да самому весело...
Не знаю может это только у менай нто когда пишу латинскими,
старая привычка писать как слышится :( Привычка из девяностых… почти детства.
так что трудно преключится.
На минусы давно не обижаюсь
tiglaf_palisar
0
tiglaf_palisar, 28 Апреля 2009 , url
Надо нашим идею подкинуть. Дать миллиардов 100, пусть напишут Российскую, суперзащищённую ОС. Вот где попильщикам простор...
А то что у них, жалких $3,3 млн.
jazzcat
0
jazzcat, 28 Апреля 2009 , url
Не напишут. Это реально непростая и трудоёмкая задача.
tiglaf_palisar
0
tiglaf_palisar, 29 Апреля 2009 , url
Напишут или нет, в данном случае не столь уж важно. Важен процесс попила. А виноватых в том, что не вышло, куча: злобные американские хакеры, например украдут код за неделю до релиза, или ещё что-нибудь в этом духе. Отмазки лепить — этого никто лучше наших не умеет.
jazzcat
0
jazzcat, 28 Апреля 2009 , url
Основная идея микроядерной ОС — собственно, микроядро :)
Очень маленький кусок кода, который просто создаёт условия для работы модулей и управления ими. А всё остальное — модуль видео подсистемы, модуль клавиатуры, и т.п. пишется отдельно и работает независимо от микроядра. Произошла например ошибка в драйвере видеокарты (или в самой видеокарте) — винда или подвиснет, или словим BSOD, а Minix3 просто перезапустит подсистему, и всё продолжит работать.

И, кстати, важное замечание — Minix — это древняя поделка ещё старше Линукса. Текущая версия — Minix3 от старой имеет только название, и эта цифра важна, являясь не столько версией, сколько частью имени. Так что просто говорить Minix — неправильно.
jazzcat
+1
jazzcat, 28 Апреля 2009 , url
И вобще говоря, новость некорректна. Никто не разрабатывает "свою" ОС, Minix3 — полный опенсорс. Просто кто-то решил, что этот проект нужен, и Таненбауму подкинули бабла. И всё.
shuron
-1
shuron, 28 Апреля 2009 , url
Скорее всего это самая верная интерпретация.
Всеравно радует что правильному человеку подкинули
umonkey
+1
umonkey, 28 Апреля 2009 , url
Здорово. Конкуренция — это хорошо. Микроядро — это интересно. Можно будет посмотреть, действительно ли микроядро годится для десктопа, или действительно нет.

И может, если система действительно получит поддержку, производители железа офигеют от такого количества платформ и начнут раздавать нормальные спецификации, а не закрытые драйверы.
umonkey
0
umonkey, 28 Апреля 2009 , url
В случае, когда в каком-то из компонентов системы обнаруживается ошибка, этот компонент блокируется, что позволяет всем остальным частям ОС продолжать функционирование.


Не так уж это и полезно, кстати, как некоторым хочется, чтобы было. Вот установил я новый экспериментальный драйвер для видеокарты в своём Линуксе, включил 3D-эффекты, а он виснет два-три раза в сутки. Единственное, что можно сделать — зайти удалённо с другого компа и инициировать перезагрузку. Не так это важно, чтобы ради этого новую систему разрабатывать.

Для надёжности, наверное, какой-нибудь другой подход к написанию прикладных программ нужен, на который, наверное, и следовало потратить этот грант. ОС тут не при чём.
fireton
0
fireton, 29 Апреля 2009 , url
Похоже, в Европе тоже умеют пилить бабло…


Войдите или станьте участником, чтобы комментировать