Опубликован перевод (http://citforum.ru/operating_systems/reliable_os/) статьи Эндрю Таненбаума "A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers (http://www.minix3.org/doc/reliable-os.pdf)" в которой рассмотрены все основные технические идеи ОС MINIX 3 применяемые для решения проблемы построения надежных операционных систем, допускающих наличие ненадежных драйверов устройств. Вольный пересказ данной статьи можно прочитать также здесь (http://citforum.ru/operating_systems/microkernel_tanenbaum/).
Кроме того в html формате доступны некоторые интересные статьи из журнала Chip Special Linux (http://www.linuxrsp.ru/chip/) (все статьи журнала в PDF формате доступны на данной странице (http://www.linuxrsp.ru/chip/)):
- "Проблемы совместимости Linux-систем (http://citkit.ru/articles/281/)" -рассказ о проблемах совместимости и переносимости приложений между различными клонами Linux;
- "Linux Standard Base: история успеха (http://citkit.ru/articles/282/)";
- "Linux? Вам какой? (http://citkit.ru/articles/248/)" - обзор назначения различных веток Linux ядра (2.6.x, -rc, -pre, -git, -mm, -ck, -tiny и т.д.);
- "Udev в разрезе (http://citkit.ru/articles/245/)";
- "Ионизация консоли (http://citkit.ru/articles/249/)" - использование оконного менеджера Ion;
- "InitNG - начни сначала (http://citkit.ru/articles/247/)" - рассказ об альтернативной Init системе InitNG, поддерживающей параллельный старт сервисов;
- "Незаметный слуга (http://citkit.ru/articles/246/)" - обзор прослойки HAL (Hardware Abstraction Layer);
- "Zавидный конкурент bash (http://citkit.ru/articles/244/)" - обзор Zsh;
URL: http://citforum.ru/operating_systems/reliable_os/
Новость: http://www.opennet.me/opennews/art.shtml?num=8883
Прочитал статью "Линукс? Вам какой" и понял что дальше читать остальные материалы нет смысла..(
> "Linux? Вам какой?" - обзор назначения различных веток Linux ядра
Видимо статья писалась год или чуть менее, так как, inotify, dnotify, vm86,
AIO, уж точно я с марта месяца юзаю.
Да, и про AIO в -tiny патчах - там не "включение этой полезной функции", а отключение, за не надобностью на Embedded девайсах.
>....что аварийные отказы большинства операционных систем
> случаются по вине драйверов устройствРЖУНИМАГУ
В общем, идеи Тани Баумана вынашивалась столь долго, что устарели в утробе, не родившись. Точнее ко что вылезло, но опять же, в пред пенсионном возрасте.
>> ....что аварийные отказы большинства операционных систем
>> случаются по вине драйверов устройствПеревод неверный. В оригинале было "follows from the observation that the majority of operating system crashes are caused by device drivers [7, 25]". Где переводчик увидел множественное число по отношению к "operating system" - непонятно. В оригинальной статье речь шла именно о большинстве отказов отдельно взятой "обобщенной" операционной системы.
>РЖУНИМАГУ
А не будете ли так любезны, уважаемый, объяснить прогрессивной общественности причину "ржания"? Вы не согласны с тем, что ошибки в драйверах - основная причина отказов? А что же тогда причина? Планировщик, подсистема виртуальной памяти, или, может быть, IPC? Мне лично гораздо спокойнее будет знать, что ОС падает от кривого драйвера, который можно и обновить на исправленный с определенной долей вероятности, чем от изъяна самого ядра ОС.
>В общем, идеи Тани Баумана вынашивалась столь долго, что устарели в утробе, не
>родившись. Точнее ко что вылезло, но опять же, в пред пенсионном возрасте.Процитированная Вами фраза не есть идея Таненбаума. Там, если присмотреться внимательнее, в квадратных скобочках есть цЫферки - это ссылки на творения других авторов, от которых, собственно, и взято утверждение.
И,кроме того, отчего же не родились? Про QNX когда-нибудь слышали? И про то, что QNX была hard realtime OS в то время, когда ляликс(r) еще даже не был зачат?
И что у него устарело, светоч передового ОСостроения?
> В общем, идеи Тани Баумана вынашивалась столь долго, что устарели в утробе, не родившись. Точнее ко что вылезло, но опять же, в пред пенсионном возрасте.О, вы наверное и про Micro$oft не слышали?
Так вот самая свешая их ОС Vista есть настоящая мокроядерная ОС c предсказуемым временем реакции. Похоже, что устарели это Вы, уважаемый.P.S.
Кто понимает, тот выбирает ... микроядерную архитектуру.
Похоже, чувак кроме Линупса вообще ни очем больше не слышал.
нет, он просто прочитал мнение Торвальдса о микроядрах...
Торвальдса безмерно уважаю, но вот с нелюбовью к микроядру он несколько перегибает...
> Торвальдса безмерно уважаю, но вот с нелюбовью к микроядру он несколько перегибает...не за что его уважать. ничего он сам не придумал, а чужое переделал так, что юзать невозможно по-людски. попсовый король типа майкла джексона, поднялся на малолетках и упадёт, когда его обожатели маленько повзрослеют.
безмерно уважать не надо, достаточно просто его уважать... как умного и не жадного человека.
завидуете Майклу Джексону? :)
> В общем, идеи Тани Баумана вынашивалась столь долго, что устарели в утробе,
> не родившись. Точнее ко что вылезло, но опять же, в пред пенсионном возрасте.Может товарищ знает реальные альтернативы повышения надежности систем?
Поделитесь, плиз. Факультативно очень интересуюсь.Из своего опыта заню, что не только драйвера вызывают kernel panic, но легче от этого не становится. Лично мне хочется быть уверенным, что стабилная работа ядра ОС математически выверена, и подтвержена ДЛИТЕЛЬНОЙ практикой. Для этого ядро должно заниматься исключительно тем, что положено ядру и обновляться ВЕСЬМА РЕДКО, ибо нечего там особо менять.
После пункта 2.2 все становится настолько глупым. Как само понятие модульности драйверов. Кто-то из прочитавших скажет, "Отрицая - предлагай".Идея parallel_kexec() после BIOS намного прогрессивнее.
Прочитал до половины. Не, не статью (куды нам с рязанской мордой), а опубликованный перевод. Хотя какой там перевод, там субъективное мнение и критика того, что надо бы перевести, а не аппелировать.
Плюнул на перевод, поставил чайник и пошел искать словарь с буржуйскоского. Через час опух, то ли от чая, то ли от не ихних исключений в наших словарях.
Сколько не пытался встать на строну автора, однако здравый смысл протестовал. Утомился переводить евойные притязания к ядру, который клювом щелкает когда доверенные лица (драйвера) творят чего хотят. Самое время воспеть хвалу Windows, который лицензирует чужое программное обеспечение
Где вы там увидели микроядерность в Vista ?
> Где вы там увидели микроядерность в Vista ?и крутой реалтайм.
чудаки, реалтайм - это когда все процессы, которые будет выполнять ядро, заранее известны и заранее просчитана скорость их выполнения, и за счёт этого автомат не спалит пироги в печке. НИ ОДНА ОС ОБЩЕГО НАЗНАЧЕНИЯ НЕ УМЕЕТ РЕАЛТАЙМ И НЕ МОЖЕТ УМЕТЬ, так как неизвестно заранее, ни сколько юзер запустит процессов, ни сколько они будут выполняться. для проигрывания фильмов поддерживается т.н. "мягкий реалтайм", но я думаю, что любой вспомнит, как кино начинает дёргаться и заикаться, если машина перегружена, чего в реалтайм-ОС абсолютно недопустимо.
реалтайм-ОС - это заранее спланированный набор операций, которые выполняет ядро, и никаких дополнений к спланированому не допускается.
статья - супер, большое спасибо за перевод.
таненбаум - отец.
Прямо к теме, читал на днях интервью с Алексеем Брагиным:http://www.openproj.ru/index.php?t=1260&IB2XPnew=36b8b481e7b...
"...Я нашёл несколько однотипных багов, когда для определения размера структуры проделывалась операция sizeof(pStruct)....вместо sizeof(*pStruct)... Отлавливать такую ошибку довольно сложно... проявляется потом, в совершенно неожиданном и несвязанном месте (драйвер юсб-контроллера, а проявление – в драйвере файловой системы)...."
И Эндрью Таненбаум:
"В программах на языках C и C++ используется множество указателей, и эти программы все время подвержены ошибкам ... В нашей разработке сервер или драйвер, пытающиеся разыменовать плохой указатель, принудительно завершаются, и выдается дамп памяти для будущей отладки,....заменяет принудительно завершенный процесс его свежей копией."