Защита адреса при записи

[vak]

Дошёл до реализации необычного свойства процессора микро-БЭСМ, отсутствующего у современных компьютеров. Каждое слово в оперативной памяти имеет дополнительный бит запрета записи. При попытке записи по этому адресу возникает прерывание "защита адреса при записи". Чтобы всё-таки иметь возможность изменить значение (и бит запрета), память имеет дополнительный сигнал, отменяющий защиту.

Получается полезная возможность, похожая на const в языке Си, но при этом защиту можно включать и отключать по ходу выполнения программы. Что-то отдалённо похожее - теговая архитектура - существовало в некоторых ранних компьютерах, но не прижилось.

Comments

[spamsink.livejournal.com]

Не вижу проблемы, чтобы пейджинг происходил 9-килобайтными блоками вместо 8-килобайтных. Как DMA организуешь, так и будет. В ELF-файле держать теги не надо, их можно формировать в зависимости от типа секции. А вот то, что при современной памяти (которая на порядки медленнее процессора) надо было бы перед записью отдельно читать, всю идею и подкосило.

[vak]

Теги не получится формировать автоматически. Их делает ассемблер по информации от компилятора:
ПК - признак команды
РЭ - режим БЭСМ-6
ЗЧП - запрет чтения операнда из памяти
ЗЗП - запрет записи операнда в память
ЗВП - запрет выборки команды из памяти
ЗПУ - запрет передачи управления на команду

Часть битов можно в первом приближении ставить от типа секции, но с ЗПУ такой финт не пройдёт.

Если дело дойдёт до портирования юникса на микро-БЭСМ, мне кажется, имело бы смысл упростить хардвер и выкинуть все эти теги совсем. А режим БЭСМ переключать битом в регистре режимов.

[Евгений Х. (from livejournal.com)]

Какой из юниксов самый привлекательный для портирования в данном случае?

[vak]

Я склоняюсь к OpenBSD. Возможно, лучше начать с LiteBSD, там все в ядре попроще. Когда заработает - вернуться к полномасштабному OpenBSD.

[netch80.livejournal.com]

А зачем придумали ЗПУ, если есть ЗВП?
Защита от совсем уж безумной кривизны?

[vak]

Чтобы нельзя было сделать JMP в произвольное место.
Только на предопределённые метки.