Тест АУ и файлы трассировки

[vak]

Я подумал, что тест АУ от БЭСМ-6 представляет самостоятельную ценность, и имеет смысл выложить в доступ его тексты и файлы трассировки. Тексты, правда, дизассебмлированные, но уж что имеем. Скачать можно отсюда: mesm6-test-alu-detailed.zip (92.2 Мб).

В архиве находятся файлы:

• alu.bemsh - исходный текст
• alu.lst - листинг трансляции автокодом БЕМШ
• alu.oct - бинарный образ в восьмеричном виде
• alu.trace - выполнение с трассировкой машинных команд и регистров (207 Мб)
• alu-detailed.trace - выполнение с трассировкой микрокоманд (908 Мб)

Для примера, вот фрагмент трассировки проверки команды умножения A*X:

(2815) 32475: 04104433 xta 4433(1)
(2816)        Load [34433] = 4010 0000 0000 0000
(2817)        A = 4010 0000 0000 0000
(2818) 32475: 04174433 a*x 4433(1)
(2819)        Load [34433] = 4010 0000 0000 0000
(2825)        A = 3750 0000 0000 0000
(2826)        R = 10 (mul)
(2829) 32476: 00300177 rte 177
(2830)        A = 0400 0000 0000 0000
(2831) 32476: 04124460 aex 4460(1)
(2831)        R = 04 (log)
(2832)        Load [34460] = 0400 0000 0000 0000
(2834)        Y = 0400 0000 0000 0000
(2835)        A = 0000 0000 0000 0000
(2839) 32477: 06602500 uza 2500(1)
(2840)        Y = 0000 0000 0000 0000

Comments

[vak]

Тот же фрагмент с трассировкой микрокоманд:

(2813)        Fetch [32475] = 0410 4433 0417 4433
(2814)    19: 0000000600000000000 fetch w_opcode
(2815)    20: 0000001000000000000 decode
(2815) 32475: 04104433 xta 4433(1)
(2816)    56: 0000012000000100000 acc=MEM mem_r w_a (busy)
(2816)        Load [34433] = 4010 0000 0000 0000
(2817)    56: 0000012000000100000 acc=MEM mem_r w_a
(2817)        A = 4010 0000 0000 0000
(2818)    57: 1000001100000000023 imm=19 cond_op_not_cached decode
(2818) 32475: 04174433 a*x 4433(1)
(2819)    83: 0000002000000100000 mem_r (busy)
(2819)        Load [34433] = 4010 0000 0000 0000
(2820)    83: 0000002000000100000 mem_r
(2821)    84: 0040010000000021000 alu=A*B acc=ALU alu_mem w_a (busy)
(2822)    84: 0040010000000021000 alu=A*B acc=ALU alu_mem w_a (busy)
(2823)    84: 0040010000000021000 alu=A*B acc=ALU alu_mem w_a (busy)
(2824)    84: 0040010000000021000 alu=A*B acc=ALU alu_mem w_a (busy)
(2825)    84: 0040010000000021000 alu=A*B acc=ALU alu_mem w_a
(2825)        A = 3750 0000 0000 0000
(2826)    85: 2000001100000000023 imm=19 cond_op_not_cached decode
(2826)        R = 10 (mul)
(2827)    19: 0000000600000000000 fetch w_opcode (busy)
(2827)        Fetch [32476] = 0030 0177 0412 4460
(2828)    19: 0000000600000000000 fetch w_opcode
(2829)    20: 0000001000000000000 decode
(2829) 32476: 00300177 rte 177
(2830)   117: 0000010000000300000 acc=RR w_a
(2830)        A = 0400 0000 0000 0000
(2831)   118: 1000001100000000023 imm=19 cond_op_not_cached decode
(2831) 32476: 04124460 aex 4460(1)
(2831)        R = 04 (log)
(2832)    63: 0000002000000100000 mem_r (busy)
(2832)        Load [34460] = 0400 0000 0000 0000
(2833)    63: 0000002000000100000 mem_r
(2834)    64: 0040010000000003000 alu=A^B acc=ALU alu_mem w_a (busy)
(2834)        Y = 0400 0000 0000 0000
(2835)    64: 0040010000000003000 alu=A^B acc=ALU alu_mem w_a
(2835)        A = 0000 0000 0000 0000
(2836)    65: 1000001100000000023 imm=19 cond_op_not_cached decode
(2837)    19: 0000000600000000000 fetch w_opcode (busy)
(2837)        Fetch [32477] = 0660 2500 0730 2475
(2838)    19: 0000000600000000000 fetch w_opcode
(2839)    20: 0000001000000000000 decode
(2839) 32477: 06602500 uza 2500(1)
(2840)   176: 0000200000000000262 imm=178 cond_a_zero
(2840)        Y = 0000 0000 0000 0000
(2841)   178: 0010000000000000000 pc=UA w_pc
(2842)   179: 0000001100000000023 imm=19 cond_op_not_cached decode