The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

форумы  помощь  поиск  регистрация  майллист  ВХОД  слежка  RSS
"OpenNews: Построение надежных операционных систем. Серия ста..."
Вариант для распечатки  
Пред. тема | След. тема 
Форумы Разговоры, обсуждение новостей (Public)
Изначальное сообщение [Проследить за развитием треда]

"OpenNews: Построение надежных операционных систем. Серия ста..."  
Сообщение от opennews on 17-Ноя-06, 17:17 
Опубликован перевод (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/
Новость: https://www.opennet.ru/opennews/art.shtml?num=8883

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

 Оглавление

Сообщения по теме [Сортировка по времени, UBB]


1. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от leon55 on 17-Ноя-06, 17:17 
Прочитал статью "Линукс? Вам какой" и понял что дальше читать остальные материалы нет смысла..(
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

2. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от pavlinux email(??) on 17-Ноя-06, 22:05 
> "Linux? Вам какой?" - обзор назначения различных веток Linux ядра
Видимо статья писалась год или чуть менее, так как, inotify, dnotify, vm86,
AIO, уж точно я с марта месяца юзаю.
Да, и про AIO в -tiny патчах - там не "включение этой полезной функции", а отключение, за не надобностью на Embedded девайсах.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

3. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от pavlinux email(??) on 18-Ноя-06, 00:26 
>....что аварийные отказы большинства операционных систем
> случаются по вине драйверов устройств

РЖУНИМАГУ


В общем, идеи Тани Баумана вынашивалась столь долго, что устарели в утробе, не родившись. Точнее ко что вылезло, но опять же, в пред пенсионном возрасте.


Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

5. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от cmpxchg on 18-Ноя-06, 10:38 
>> ....что аварийные отказы большинства операционных систем
>> случаются по вине драйверов устройств

Перевод неверный. В оригинале было "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) еще даже не был зачат?

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

6. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от MK (??) on 18-Ноя-06, 10:49 
И что у него устарело, светоч передового ОСостроения?
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

8. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от ДяДя on 18-Ноя-06, 18:04 
> В общем, идеи Тани Баумана вынашивалась столь долго, что устарели в утробе, не родившись. Точнее ко что вылезло, но опять же, в пред пенсионном возрасте.

О, вы наверное и про Micro$oft не слышали?
Так вот самая свешая их ОС Vista есть настоящая мокроядерная ОС c предсказуемым временем реакции. Похоже, что устарели это Вы, уважаемый.

P.S.
Кто понимает, тот выбирает ... микроядерную архитектуру.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

9. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от Хрен on 18-Ноя-06, 18:08 
Похоже, чувак кроме Линупса вообще ни очем больше не слышал.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

10. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от _Nick_ email(??) on 18-Ноя-06, 18:12 
нет, он просто прочитал мнение Торвальдса о микроядрах...


Торвальдса безмерно уважаю, но вот с нелюбовью к микроядру он несколько перегибает...

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

15. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от www.andr.ru email on 20-Ноя-06, 11:47 
> Торвальдса безмерно уважаю, но вот с нелюбовью к микроядру он несколько перегибает...

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

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

18. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от Dvorkin email(??) on 20-Ноя-06, 16:05 
безмерно уважать не надо, достаточно просто его уважать... как умного и не жадного человека.
завидуете Майклу Джексону? :)
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

13. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от serg1224 email on 20-Ноя-06, 02:48 
> В общем, идеи Тани Баумана вынашивалась столь долго, что устарели в утробе,
> не родившись. Точнее ко что вылезло, но опять же, в пред пенсионном возрасте.

Может товарищ знает реальные альтернативы повышения надежности систем?
Поделитесь, плиз. Факультативно очень интересуюсь.

Из своего опыта заню, что не только драйвера вызывают kernel panic, но легче от этого не становится. Лично мне хочется быть уверенным, что стабилная работа ядра ОС математически выверена, и подтвержена ДЛИТЕЛЬНОЙ практикой. Для этого ядро должно заниматься исключительно тем, что положено ядру и обновляться ВЕСЬМА РЕДКО, ибо нечего там особо менять.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

4. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от pavlinux email(??) on 18-Ноя-06, 00:35 
После пункта 2.2 все становится настолько глупым. Как само понятие модульности драйверов. Кто-то из прочитавших скажет, "Отрицая - предлагай".

Идея parallel_kexec() после BIOS намного прогрессивнее.

  

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

12. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от Якобы умный on 19-Ноя-06, 22:08 
Прочитал до половины. Не, не статью (куды нам с рязанской мордой), а опубликованный перевод. Хотя какой там перевод, там субъективное мнение и критика того, что надо бы перевести, а не аппелировать.
Плюнул на перевод, поставил чайник и пошел искать словарь с буржуйскоского. Через час опух, то ли от чая, то ли от не ихних исключений в наших словарях.
Сколько не пытался встать на строну автора, однако здравый смысл протестовал. Утомился переводить евойные притязания к ядру, который клювом щелкает когда доверенные лица (драйвера) творят чего хотят. Самое время воспеть хвалу Windows, который лицензирует чужое программное обеспечение
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

14. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от ErrSkin on 20-Ноя-06, 11:21 
Где вы там увидели микроядерность в Vista ?
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

16. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от www.andr.ru email on 20-Ноя-06, 11:55 
> Где вы там увидели микроядерность в Vista ?

и крутой реалтайм.

чудаки, реалтайм - это когда все процессы, которые будет выполнять ядро, заранее известны и заранее просчитана скорость их выполнения, и за счёт этого автомат не спалит пироги в печке. НИ ОДНА ОС ОБЩЕГО НАЗНАЧЕНИЯ НЕ УМЕЕТ РЕАЛТАЙМ И НЕ МОЖЕТ УМЕТЬ, так как неизвестно заранее, ни сколько юзер запустит процессов, ни сколько они будут выполняться. для проигрывания фильмов поддерживается т.н. "мягкий реалтайм", но я думаю, что любой вспомнит, как кино начинает дёргаться и заикаться, если машина перегружена, чего в реалтайм-ОС абсолютно недопустимо.

реалтайм-ОС - это заранее спланированный набор операций, которые выполняет ядро, и никаких дополнений к спланированому не допускается.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

17. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от www.andr.ru email on 20-Ноя-06, 12:00 
статья - супер, большое спасибо за перевод.
таненбаум - отец.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

19. "Построение надежных операционных систем. Серия статей по Lin..."  
Сообщение от chas on 24-Ноя-06, 11:04 
Прямо к теме, читал на днях интервью с Алексеем Брагиным:

http://www.openproj.ru/index.php?t=1260&IB2XPnew=36b8b481e7be1c1e63dbc707c497fc0e

"...Я нашёл несколько однотипных багов, когда для определения размера структуры проделывалась операция sizeof(pStruct)....вместо sizeof(*pStruct)... Отлавливать такую ошибку довольно сложно... проявляется потом, в совершенно неожиданном и несвязанном месте (драйвер юсб-контроллера, а проявление – в драйвере файловой системы)...."

И Эндрью Таненбаум:
"В программах на языках C и C++ используется множество указателей, и эти программы все время подвержены ошибкам ... В нашей разработке сервер или драйвер, пытающиеся разыменовать плохой указатель, принудительно завершаются, и выдается дамп памяти для будущей отладки,....заменяет принудительно завершенный процесс его свежей копией."

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Индекс форумов | Темы | Пред. тема | След. тема
Оцените тред (1=ужас, 5=супер)? [ 1 | 2 | 3 | 4 | 5 ] [Рекомендовать для помещения в FAQ]




Спонсоры:
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2020 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру