Сообщество

Данная замена "обходит" баг 204.
Дело в том, что инструкции getl #0 и setl #0, 0 выполняются на этапе декодирования, и, при возникновении прерывания, могут привести к "зависанию" последующих инструкций чтения из памяти, и, в конечном итоге, всего процессора.

Спасибо.

Если я правильно понял, то опасные с точки зрения ошибки №204 ситуации описаны следующим параграфом мануала:

В ряде случаев устройство управления может самостоятельно выполнить команду без
помещения ее в буфер в команд:
1. Если выбранная команда — чтение регистра.
2. Если для выбранной команды требуется только константа и/или значение регистра
( команды SET, GET, JMP или IRM).
3. Если выбранная команда — чтение из памяти по известному адресу, содержащемуся
в константе и/или регистре, и блок DMS не занят.

По всей видимости, следующая замена обусловлена теми же причинами.

jmp XXX       =>   orl @0,@0
                   jmp @1,XXX

Хотелось бы уточнить вот какие два момента:
1. Что такое чтение регистра в первом пункте, если не GET из второго пункта?
2. Замену в примере с jmp я наблюдаю и при косвенной адресации, т.е. когда XXX = [some_address]. Правильно ли я понял, что это не подпадает под условия возникновения ошибки?

1. Не совсем. get ведь может принимать форму не только get #R, но и get V. Но, согласен, по большому счёту, первый пункт из мануала -- лишний.
2. Здесь обходится ошибка №303 (проблемы с косвенной адресацией в инструкциях jxx).

2. Но ведь в errata написано, что jxx [v] работает правильно. Или с точки зрения ассемблера это jxx [@0 + v] и он перестраховывается?

В общем, прояснилось, спасибо!

Действительно, посмотрел внимательнее на пример с jmp, и понял, что наврал Вам.
Ассемблер, действительно, обходит ошибку 204, но не учитывает, что jmp [addr] этой ошибки не вызывает. И 303-й ошибки не вызывает тоже (до тех пор, пока переход безусловный и адрес не берётся из коммутатора). Т.е. условие в ассемблере слишком слабое. Поправим.

Дополнительный анализ показал, что при некоторых условиях (а именно, занятость блока DMS в момент декодирования инструкции) jmp [addr] тоже может вызывать ошибку 204, и заранее это предсказать невозможно. Так что ассемблер тут прав, а errata -- нет.