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

[Titus]

Это надо автора теста спрашивать.

Наверняка - все различия в результате выполнения деления на ноль. Этот результат нигде не "гостирован" и поэтому любое значение делимого и остатка после деления на ноль имеет одинаковый статус. Там не может быть "правильного" и "неправильного" вариантов результата - все мыслимые варианты будут одинаково "произвольные".

Тест - это всего лишь перебор всех комбинаций аргумента источника и аргумента приемника, и 16 комбинаций изначальных флагов (4 флага - 16 возможных начальных комбинации).
В командах, где два операнда 16-битные, для экономии времени перебор всех комбинаций аргумента производится хитрый - левые и правые биты чисел перебираются, а средние биты заполняются распространенным граничным битом. Таким образом, результат фактически эквивалентен полному перебору, за исключением нелинейных команд типа деления и умножения, но для них (во всяком случае для умножения) есть дополнительный (табличный) тест, направленный на поимку наиболее критичных глюков.

[MiX]

есть дополнительный (табличный) тест, направленный на поимку наиболее критичных глюков.

Тогда наверное надо сделать чтоб тест создавал лог файл о том месте где идут ошибки. В лог файле перечисляются конкретные операции с процессором и значения результатов в восьмеричном виде.

[form]

16 комбинаций изначальных флагов (4 флага - 16 возможных начальных комбинации)

Насчет флагов кстати тоже не все однозначно. В частности, для MUL при использовании нечетного регистра флаги могут быть выставлены как для 32bit результата так и для 16bit... Вообще многие команды ведут себя по разному наразных процах. Я как-то выкладывал здесь таблицу различий. Можно взять на вооружение, добавить ВМ-специфику и сделать универсальный тест

[Patron]

Тогда наверное надо сделать чтоб тест создавал лог файл о том месте где идут ошибки.

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

Чтобы иметь возможность проверять результат для каждой операции одельно - нужно использовать программную модель и на каждом шаге сравнивать результат теста с результатом модели, но это будет уже совсем другой тест.

---------- Post added at 15:35 ---------- Previous post was at 15:32 ----------

сделать универсальный тест

В E11 неправильно эмулируется команда RORB, поэтому для начала можно сделать тест, который пошагово сравнивает результат выполнения команды с результатом моделирования и сообщает об отличиях.

        RORB            - ERROR: 0x376F / 0xAD84

[form]

В E11 неправильно эмулируется команда RORB

На досуге надо будет проверить.Вообще E11 вроде по заявлению автора успешно прошел XXDP с выполнением всех базовых команд со всеми возможными режимами адресации.

[Patron]

E11 вроде по заявлению автора успешно прошел XXDP с выполнением всех базовых команд со всеми возможными режимами адресации.

Насколько я понял - обсуждаемый тест проверяет только режим адресации 00 ( операнд в регистре ), но даже тут результат эмуляции в E11 не совпадает с результатом запуска теста на реальном процессоре.

Ближе к вечеру попробую написать тест, пошагово сравнивающий результаты выполнения RORB с результатами моделирования той же команды на тех же исходных данных.

[form]

Ближе к вечеру попробую написать тест, пошагово сравнивающий результаты выполнения RORB с результатами моделирования той же команды на тех же исходных данных.

Было бы интересно. Как раз скоро очередную портянку собираюсь писать автору.

[MiX]

form, За одно спроси почему эмулятор так сильно загружает процессор. У меня так 25% ест даже в режиме простоя. Потом если закрыть крестиком то консоль убирается а процесс всё равно продолжает работать. Ну и последнее, пускай поддержат НХ диск.

[form]

form, За одно спроси почему эмулятор так сильно загружает процессор. У меня так 25% ест даже в режиме простоя. Потом если закрыть крестиком то консоль убирается а процесс всё равно продолжает работать. Ну и последнее, пускай поддержат НХ диск.

HX диск "поддерживать" бессмысленно по понятным причинам - в частности по той, что он его поддерживает по определению если обращение идет по COM порту, а запросить поддержку устройства неригодного для работы системы и ломающего ее функционал в качестве независимого устройства язык не повернется

[MiX]

form, Что может в эмуляторе ломаться. А насчет черезмерной загрузки процессора и не закрытия процесса после выхода я думаю стоит написать.