> -- Wlad писал(а):
> А когда Таненбаум уже весь голос надорвал, доказывая преимущества микроядер над монолитами, особо умные и даровитые мальчики на него плевали с высокой колокольни и насмехались?!
Думается дело не только в микроядрах, но ещё и в неверифицируемой сложности современных процессоров.

Ну и, кстати, ещё пару вопросов можно вытянуть на поверхность:

1) программной изоляции памяти. Правда компилятор (или бинарный компилятор) и среда выполнения тогда должны быть частью ОС, без особой мультиязыковости. Плюс полный запрет на прямые манипуляции с памятью и любые низкоуровневые языки программирования.
2) тегированной памяти. Если уж аппаратная защита, то она должна реализовываться не только процессором.

А ещё, до кучи, можно вспомнить про Intel Management Engine...