> где just in case - шкуру спустят. Там обычно вообще никто не упирает ни на какие микроядра.
> Ага, как же. Почитай про QNX. Основой его надежности как раз заявляется микроядерность.
> На многих ответственных производствах управляет оборудованием.Внезвапно, хренова куча штук обходится и без него. Начиная от подсистем автомобиля (думаю понятно чем грозит сбой?) до бортовых компьютеров самолетов и чего там еще бывает.
> Даже в нашем захолустном регионе есть крупный металлургический завод
> (раньше был союзного значения) и там есть (или были, сейчас уже не
> знаю) производственные линии которые QNX4 управлялись.
Ну так есть производственные линии которые и с досом и даже с виндой. Не показатель.
> нихрена ты не дочитываешь до конца то, что тебе пишут. Нечего куски
> из контекста выдергивать (половину фразы процитировал, а оставшуюся выгодно для себя
> пропустил). Там же написано ниже (или у тебя проблемы с русским
> языком?) - если это важный драйвер (как ты описАл) - останов
> сервера (обычный нам кернел-паник),
А пропущено это потому что бред.
1) В моем понимании сбои такого порядка на серверах просто не должны случаться. То-есть, для меня норма это 0 oops-ов и уж тем более паников и 0 записей о сбоях оборудования. Если это не так - я начну изучать WTF, собственно.
2) В монолитах если GPU никто не дергает (а кто его дернет на сервере такого плана) - то и глюков драйвера GPU не случится. Чтобы ничего не делающий драйвер упал - это фантастика. Падает обычно активно вкалывающий драйвер. А если что-то вкалывало - оно было нужно, так? :)
> неважный - перезапуск драйвера, переинициализация
> железа и перезапуск программ-пользователей этой железки - там же написано -
> при крахе усб или звукового драйвера на моем домашнем компе я
> бы хотел просто передернуть это хозяйство,
Btw при сбоях оборудования Linux именно так и делает. Отпал SATA? Ресет линку, ресет девайсу, и вот оно взлетает снова. Отпал usb? Аналогично. GPU повис? Reset по шине, сброс, релоад фирмвари, восстановление состояния - о, пашет снова. Только экран притормаживает на несколько секунд и немного мерцает пока GPU ребутается и фирмвару перегружает.
> а не потерять кусочек работы из-за того что не сохранялся последние
> пол-часа и студенческий звуковой драйвер кинул все в кернел-паник.
И часто у вас "студенческий звуковой драйвер" панику вызывает? У меня - ни разу за 7 лет. Ну и от чего вы меня (пользователя) собираетесь избавить? От проблемы которой у меня никогда не было? Вай спасибо :)
> Как ты узко мыслишь, высасываешь проблемы из пальца.
Вообще-то это реальный анализ реальных отказов драйверов. Я видел несколько смешных случаев когда драйвер вогнал железку в кривое состояние а потом пытался отрекаверить. Но рекавери приводил к идентичному сбою и все начиналось по кругу :)
> Никто не мешает тебе реализовать микроядрную систему так, что количество
> перезапусков драйвера тоже можно задать (пользователем).
Правда что мне делать если драйвер не перезапустится? Ну окей, драйвер GPU не перезапустился, картинки нет. И чего мне делать с такой системой?
> Типа максимум три попытки перезапуска звукового драйвера и пять -
> драйвера усб. И предваряя твои дальнейшие недальновидные возражения - задать интервал
> между повторами и действия после неудачи всех попыток (останов сервера или
> просто прекращение попыток перезапуска)
Учитывая что кольцевую реинициализацию я видел для GPU, представляю себе мой бурный восторг когда драйвер GPU совсем не станет запускаться. Ну и чего мне в такой системе потом делать? Там проблема еще и в том что если восстанавливать состояние - оно может осыпаться нахрен с точно тем же что и было. А если не восстанавливать - программы это мягко говоря заметят. Тогда я могу испытать кучу невкусных последствий вплоть до потери части работы. Напрашивается вывод что такой драйвер просто не должен падать.
>> И в результате не отрекаверится вообще никогда
> Ну и хрен со звуковой подсистемой, если она мне не важна до
> перезапуска компа а работу надо продолжить или хотя бы сохранить ее
> результат! А при важных сбоях никто не отменяет останов сервера.
У меня звуковая система в Linux ни разу за 7 лет панику не вызывала. Зачем чинить то что не сломано? А вот сложные дрова типа GPU - невозможность перезапуска чревата отпадением графики, невосстановление состояния - сбоями программ, а восстановление - тем что драйвер снова отвалится с тем же багом. No win, кроме варианта сделать его работоспособным и не падучим.