Особенности процессоров и устройств архитектуры PDP-11. Тесты. Диагностика.

[Patron]

Ещё удивительнее то, что написав правильную модель - я сам был уверен, будто при MOVB #1,-(SP) не только записывается 1 в младший байт слова-приёмника, но и что старший байт очищается.

Думая так, я сплошь и рядом пытался избавиться от расширения знака в старший байт регистра-приёмника следующим образом:

	MovB	@#TKB, R0
	MovB	R0, -(SP)
	Add	(SP)+, CheckSumm

И только сейчас понял, почему те мои программы так дико глючили :)

[hobot]

Скрытый текст

[свернуть]

[Patron]

[spoiler]

Да, в этом аспекте наши процессоры "в точности как PDP-11/83" :)

[form]

Да, в этом аспекте наши процессоры "в точности как PDP11/80"

Особенно с учетом того, что такой модели нет

[Alex_K]

В UKNCBTL аналогичные результаты.

А тесты на Double Bus error будут?

[Patron]

А тесты на Double Bus error будут?

Какого примерно содержания?

[Advertiser]

[Alex_K]

Какого примерно содержания?

1. Указатель стека указывает на несуществующую память.
2. Программа обработки TRAP4 начинается в несуществующей памяти, а указатель стека нормальный
При этом сама программа обработки TRAP4 начинается с разрешенными прерываниями, а обработка таймера также начинается в несуществующей памяти.

[form]

1. Указатель стека указывает на несуществующую память.
2. Программа обработки TRAP4 начинается в несуществующей памяти, а указатель стека нормальный
При этом сама программа обработки TRAP4 начинается с разрешенными прерываниями, а обработка таймера также начинается в несуществующей памяти.

Первое у меня вполне обрабатываемая ситуация.
Второе в разных вариантах будет sunset loop который остановить можно только через BHALT. На ВМ2 реакция вроде одинаковая на все это - прерывание в HALT mode.

Есть еще много вариантов пакостей. Для ВМ проца можно попробовать такое: в @#16 записать 20

[Patron]

1. Указатель стека указывает на несуществующую память.
2. Программа обработки TRAP4 начинается в несуществующей памяти, а указатель стека нормальный
При этом сама программа обработки TRAP4 начинается с разрешенными прерываниями, а обработка таймера также начинается в несуществующей памяти.

Правильнее, наверно говорить: "вектор 04 и вектор 0100 содержат несуществующие адреса"..

Вряд ли реально написать программу, которая такое тестирует и нормально завершает работу выходом в KMON (кроме первого пункта в случае, когда SP == 0160002 или SP == 0160004 - тогда ничего страшного не происходит - обычный "TrapTo_04"), поэтому тесты осуществляются в "ручном режиме".

Если SP > 0160004, то происходит двойная ошибка шины.

Если стек нормальный, а вектор 04 "указывает в пустоту", то при возникновении TrapTo_04 по любой причине ( не обязательно ждать таймера - можно просто выполнить TST @#160000 ) - у ВМ1 происходит зацикливание входа в прерывание до выхода указателя стека за пределы памяти, после чего следует двойная ошибка шины.

[form]

Вряд ли реально написать программу, которая такое тестирует и нормально завершает работу выходом в KMON

На ВМ2 все эти события - обычные прерывания в режиме HALT. Если есть доступ к памяти режима HALT и она записываемая - вполне решаемо.
Но об универсальности тут уже речь не идет...

---------- Post added at 00:26 ---------- Previous post was at 00:24 ----------

Вообще подобные тесты лучше делать не с выходом в KMON, а с проверкой можно ли его вообще делать (foreground loaded?) и если можно - снять загрузчик с SY:, переключиться на кернел с ресетом и там уже воротить что угодно, после чего - перезагрузка. Если еще есть из чего

---------- Post added at 00:29 ---------- Previous post was at 00:26 ----------

Ну а если все-таки пытаться вернуться в RT-11, то опять таки сначала надо переключиться на кернел, а там уже воротить что угодно.