Расчёт точного времени выполнения команд различными процессорами архитектуры PDP-11.

[Titus]

Понятно, что абстракные эмуляторы могут адекватно эмулировать только штатную работу цифровых схем.

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

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

---------- Post added at 15:23 ---------- Previous post was at 15:22 ----------

Если последняя команда выполняет переход BEQ до завершения всех циклов тестирования - результат вполне может оказаться и 0 тактов на команду.

А вот эту фразу совсем не понял)

[Advertiser]

[Patron]

Не знаю, что такое абстрактный эмулятор

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

Эмулировать аналоговые переходные процессы в печатных проводниках платы и полупроводниковых элементах микросхем удобнее всего при аналоговой эмуляции. Как это можно было бы сделать в виде абстрактной эмуляции - представить не могу.

правильный эмулятор эмулирует все, что известно о эмулируемой машине

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

А вот эту фразу совсем не понял)

При проблемах с питанием процессор глючит безбожно.

Здесь, например - по содержимому R0 видно, что команда MOV (PC),R0 сработала как MOVB (PC),R0:



...

Когда вместо 40 тактов на команду в распечатке результатов теста появляется 3 - это означает, что или команда DEC R5 установила бит Z в PSW при R5 == 1000, или команда BEQ выполнила переход при сброшенном бите Z в PSW.

[Titus]

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

Эмулировать аналоговые переходные процессы в печатных проводниках платы и полупроводниковых элементах микросхем удобнее всего при аналоговой эмуляции. Как это можно было бы сделать в виде абстрактной эмуляции - представить не могу.

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

Это слишком академический подход к эмуляторописанию и эмуляторопониманию. Либо абстрактный, либо логический, либо аналоговый.
На деле, в моем понимании, чтобы написать абсолютно достоверный эмулятор, вовсе не обязательно писать на уровне логических элементов. Достаточно хорошо понимать работу и взаимодействие законченных логических автоматов, и умело описать это в своей программе. Тогда будет и быстрый и точный.

[Patron]

Достаточно хорошо понимать работу и взаимодействие законченных логических автоматов

Это позволяет точно эмулировать абстрактную спецификацию электронно-логического устройства, но не его реальную работу.

Когда время прихода того или иного логического сигнала не синхронно тактовой частоте и определяется аналоговыми характеристиками реальных линий передачи - абстрактные правила эмуляции такой системы (на мой взгляд) выходят за пределы логики автоматов.

[Titus]

Это позволяет точно эмулировать абстрактную спецификацию электронно-логического устройства, но не его реальную работу.

Когда время прихода того или иного логического сигнала не синхронно тактовой частоте и определяется аналоговыми характеристиками реальных линий передачи - абстрактные правила эмуляции такой системы (на мой взгляд) выходят за пределы логики автоматов.

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

Скажем так, несинхронных вещей не бывает. Все они с чем-нибудь синхронны. С каким-то источником тактирования.

[Patron]

Универсальный тест: MOVPC2.SAV позволяет определить число тактов, затрачиваемых любым процессором архитектуры PDP-11 на выполнение команды MOV с различными способами адресации относительно PC, не вошедшими в предыдущий тест MOVPC.SAV.

При первом запуске теста нужно ввести правильное значение тактовой частоты тестируемого процессора в килогерцах.

Команды типа MOV R0,(PC) невозможно тестировать в цикле, поэтому тест использует линейный движок. Если адрес возврата при входе в прерывание превышает верхний адрес свободной памяти - вместо числа заходов в буфер команд в первой позиции строки результата выводится *.

На эмуляторе ДВК результаты запуска выглядят так:

.RU MOVPC2
MovPC2 - v1.0
Memory Top: 137554
BUF words:   23108
CPU KHz:  5300 >
 
1: Nop                    14
1: Mov   R0,  R0          14
1: Mov   R0, (PC)         37
1: MovB  R0, (PC)         37
1: Mov  (PC), R0          30
1: MovB (PC), R0          30
::: SP = PC :::
1: Mov   R0, (SP)+        41
1: MovB  R0, (SP)+        41
1: Mov  (SP),(SP)+        49
1: MovB (SP),(SP)+        49
 
Program completed.
 
.