Здравствуйте, Pavel Dvorkin, Вы писали:

PD>Здравствуйте, samius, Вы писали:

PD>>>Что из первых двух выбираешь ?
S>>Но это ведь не взаимоисключающие вещи.

PD>Хорошо, давай свой гибрид.
Гибрид необязателен. Берем C++ и верификатор. Я не призываю его брать после пропажи всего софта, я просто показываю что выбор не ограничен двумя пунктами.

S>>А разве статическая верификация программы на нативном языке как-то ограничивает мощь процессора?

PD>Нет, конечно, но я не уверен, что она гарантирует то, что требуется.
Если не гарантирует, то значит программу нельзя запускать одновременно с теми, которые требуют гарантии недоступа.

S>>Вот чисто что бы ради поржать, предлагаю специальный режим многозадачности: программы с недоказанной корректностью обращений к памяти не могут выполняться одновременно с программами, которым нужна гарантия недоступности их памяти.

PD>И на каждую программу ставится клеймо, а в ОС вводим 2 режима и переключаемся между ними для того, чтобы запустить какую-то программу, которая текущему режиму не соответствует
Это не два режима, это чуть по-другому работающий шедулер. Все равно его с нуля писать.