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

Хм, если предполжить, что в Форте программы пользуются только стеком и переменными, а со слова на слово прыгают не по физическим адресам, а которые им форт-машщина предоставит, то Как вторгаться в чужое пространство?

А ОС == "многозадачность"?

: вторжение 10000 0 DO I 0! LOOP ;

NUMA...

Это нельзя предотвратить на этапе компиляции?

Риторический вопрос: а зачем? Так потихоньку придем к ML какому-нибудь...

Использовать механизм подобный Windows.
Выделяя память программе, запоминаем откуда и сколько выделии.
Отслеживать действия программы по использованию памяти.
При выходе за выданную область бить по рукам (Acsess Violation)

Развивая идею, получаем garbage collector.

Туплю, ML - это кто?
Зачем? Если моё предположение правильно, то для программ, сделанных на Форте вообще не нужно защиты памяти, если некоторые вторжения предотвратить, даже в полизадачности, какая экономия сил.

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

Как это не нужно?!
Предоставить программам доступ ко всей памяти?
ОС может пострадать из-за действий программы (программиста), если она случайно (?) изменит системные данные.

Язык программирования. Написан в стиле "математика оставили за компом без присмотра"

Интересное наблюдение: в Windows попытка изменения системных данных вызывает исключение. Однако формально все программы могут получить доступ к памяти в 4 Гб. Так проще.

Ну вот не такой уж мощный ИИ