nedoPC.org

ОК.

Я просто некоторое время думал, как это

интепритировать, не впадая в крайности. Как тут любят частенько некоторые особы. Вот и сравнил Z80 со стейт машиной. ТК видимо понял куда копать.

Еще один пророк...

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

А он и есть - элементарная ячейка памяти.

P.S. Вот про это и будет мой анекдот... просто сейчас некогда писать "многабукв" - кино смотрю.

А видали как в Z80 регистры сделаны?

Предположу.



Ну, это ТРАНЗИСТОРНАЯ реализация около 5к штук там. Не греться, не требует киловатный блок питания для питания.

С этим как бы никто не спорит, а вот то, что несколько регистров не стоит рассматривать как один автомат - ниже.

Тут я не про хаос, а про мощность множества состояний.
Пусть есть 30 регистров, включая недоступные программно, это 240 ячеек памяти.
Каждая ячейка имеет два состояния, представляет собой автомат и её легко понять;
регистр это 8 ячеек и он содержит в себе 8 автоматов, хотя его и можно описать как автомат с 256 состояниями,
но понятнее не будет; 240 ячеек памяти это 2^240 состояний - за пределами понимания; ну и получается,
что практичнее не рассматривать весь процессор как автомат, а рассматривать как автоматы его отдельные части;

вот например механизм извлечения команд представляется как автомат и понятности не теряет.

Вспомнились дебаты про несводимость машины Тьюринга к автоматам, вот и завёлся, прошу прощения.

Если TK == Топик Креатор, то в общем-то куда копать примерно и было понятно, а вот несколько деталей мне в книжках не попадались,
если говорить в терминах автоматов, граф состояний был известен не весь.

Интересное обнаружил в работе битовых команд (с префиксом CB); для SLA (HL) - при чтении каждого байта - и CB и 26 сигнал !M1 активен, но для SLA (IX+d) сигнал !M1 активен только при чтении DD и CB - и смещение и 26 читаются при неактивном !M1.

Получается, что как будто SLA (HL) - двухбайтовая (CB и 26) команда, а SLA (IX+d) - тоже двухбайтовая (DD и CB) с двумя операндами (d и 26).

Интересно, это нормально или глюк эмулятора - http://www.visual6502.org/JSSim/expert-z80.html ? Думаю о глюке, потому что SLA (IX+d) - (FD CB 11 26) на нём же глючит (в непрерывном режиме вообще виснет, в пошаговом нет) не читая 00 и 26, (единицы на !M1, !RD и !WE, на шине данных FF), но потому успешно читает память по IY+D:

cycle ab db _m1 _rd _wr _mreq _iorq State pc Fetch
0 0000 ff 1 1 1 1 1 m1 0000
0 0000 ff 1 1 1 1 1 m1 0000
1 0000 ff 1 1 1 1 1 m1 0000
1 0000 ff 1 1 1 1 1 m1 0000
2 0000 ff 1 1 1 1 1 m1 t1 0000
2 0000 ff 0 1 1 1 1 m1 t1 0000
3 0000 dd 0 0 1 0 1 m1 t2 0001 DD PREFIX
3 0000 dd 0 0 1 0 1 m1 t2 0001 DD PREFIX
4 0000 dd 0 0 1 0 1 m1 t3 0001 DD PREFIX
4 0000 ff 1 1 1 1 1 m1 t3 0001
5 0000 ff 1 1 1 0 1 m1 t4 0001
5 0000 ff 1 1 1 0 1 m1 t4 0001
6 0000 ff 1 1 1 1 1 m1 t1 0001
6 0001 ff 0 1 1 1 1 m1 t1 0001
7 0001 21 0 0 1 0 1 m1 t2 0002 LD IX,NNNN
7 0001 21 0 0 1 0 1 m1 t2 0002 LD IX,NNNN
8 0001 21 0 0 1 0 1 m1 t3 0002 LD IX,NNNN
8 0001 ff 1 1 1 1 1 m1 t3 0002
9 0001 ff 1 1 1 0 1 m1 t4 0002
9 0001 ff 1 1 1 0 1 m1 t4 0002
10 0001 ff 1 1 1 1 1 m2 t1 0002
10 0002 ff 1 1 1 1 1 m2 t1 0002
11 0002 66 1 0 1 0 1 m2 t2 0003
11 0002 66 1 0 1 0 1 m2 t2 0003
12 0002 66 1 0 1 0 1 m2 t3 0003
12 0002 66 1 0 1 0 1 m2 t3 0003
13 0002 ff 1 1 1 1 1 m3 t1 0003
13 0003 ff 1 1 1 1 1 m3 t1 0003
14 0003 66 1 0 1 0 1 m3 t2 0004
14 0003 66 1 0 1 0 1 m3 t2 0004
15 0003 66 1 0 1 0 1 m3 t3 0004
15 0003 66 1 0 1 0 1 m3 t3 0004
16 0003 ff 1 1 1 1 1 m1 t1 0004
16 0004 ff 0 1 1 1 1 m1 t1 0004
17 0004 fd 0 0 1 0 1 m1 t2 0005 FD PREFIX
17 0004 fd 0 0 1 0 1 m1 t2 0005 FD PREFIX
18 0004 fd 0 0 1 0 1 m1 t3 0005 FD PREFIX
18 0002 ff 1 1 1 1 1 m1 t3 0005
19 0002 ff 1 1 1 0 1 m1 t4 0005
19 0002 ff 1 1 1 0 1 m1 t4 0005
20 0002 ff 1 1 1 1 1 m1 t1 0005
20 0005 ff 0 1 1 1 1 m1 t1 0005
21 0005 21 0 0 1 0 1 m1 t2 0006 LD IY,NNNN
21 0005 21 0 0 1 0 1 m1 t2 0006 LD IY,NNNN
22 0005 21 0 0 1 0 1 m1 t3 0006 LD IY,NNNN
22 0003 ff 1 1 1 1 1 m1 t3 0006
23 0003 ff 1 1 1 0 1 m1 t4 0006
23 0003 ff 1 1 1 0 1 m1 t4 0006
24 0003 ff 1 1 1 1 1 m2 t1 0006
24 0006 ff 1 1 1 1 1 m2 t1 0006
25 0006 88 1 0 1 0 1 m2 t2 0007
25 0006 88 1 0 1 0 1 m2 t2 0007
26 0006 88 1 0 1 0 1 m2 t3 0007
26 0006 88 1 0 1 0 1 m2 t3 0007
27 0006 ff 1 1 1 1 1 m3 t1 0007
27 0007 ff 1 1 1 1 1 m3 t1 0007
28 0007 88 1 0 1 0 1 m3 t2 0008
28 0007 88 1 0 1 0 1 m3 t2 0008
29 0007 88 1 0 1 0 1 m3 t3 0008
29 0007 88 1 0 1 0 1 m3 t3 0008
30 0007 ff 1 1 1 1 1 m1 t1 0008
30 0008 ff 0 1 1 1 1 m1 t1 0008
31 0008 fd 0 0 1 0 1 m1 t2 0009 FD PREFIX
31 0008 fd 0 0 1 0 1 m1 t2 0009 FD PREFIX
32 0008 fd 0 0 1 0 1 m1 t3 0009 FD PREFIX
32 0004 ff 1 1 1 1 1 m1 t3 0009
33 0004 ff 1 1 1 0 1 m1 t4 0009
33 0004 ff 1 1 1 0 1 m1 t4 0009
34 0004 ff 1 1 1 1 1 m1 t1 0009
34 0009 ff 0 1 1 1 1 m1 t1 0009
35 0009 cb 0 0 1 0 1 m1 t2 000a CB PREFIX
35 0009 cb 0 0 1 0 1 m1 t2 000a CB PREFIX
36 0009 cb 0 0 1 0 1 m1 t3 000a CB PREFIX
36 0005 ff 1 1 1 1 1 m1 t3 000a
37 0005 ff 1 1 1 0 1 m1 t4 000a
37 0005 ff 1 1 1 0 1 m1 t4 000a
38 0005 ff 1 1 1 1 1 m2 t1 000a
38 000a ff 1 1 1 1 1 m2 t1 000a
41 000a ff 1 1 1 1 1 m3 t1 000b
41 000b ff 1 1 1 1 1 m3 t1 000b
44 000b ff 1 1 1 1 1 m3 t4 000c
44 000b ff 1 1 1 1 1 m3 t4 000c
45 000b ff 1 1 1 1 1 m3 t5 000c
45 000b ff 1 1 1 1 1 m3 t5 000c
46 000b ff 1 1 1 1 1 m4 t1 000c
46 8899 ff 1 1 1 1 1 m4 t1 000c
47 8899 00 1 0 1 0 1 m4 t2 000c
47 8899 00 1 0 1 0 1 m4 t2 000c
48 8899 00 1 0 1 0 1 m4 t3 000c
48 8899 00 1 0 1 0 1 m4 t3 000c
49 8899 ff 1 1 1 1 1 m4 t4 000c
49 8899 ff 1 1 1 1 1 m4 t4 000c
50 8899 ff 1 1 1 1 1 m5 t1 000c

ну видимо Z80 так и работает на самом деле - это же симулятор реального кристалла

Однако же на SLA (IY+d) эта симуляция адски глючит - см. такты 39 - 43 - это может быть как глюком логгирования, так и глюком симулятора (отсутствует "проводок", например). А от IY до IX один шаг, так что я в сомнениях, придётся на настоящей железке проверять.

Само по себе то, что префикс меняет !M1 выглядит странным; с другой стороны - d это явно операнд, а снова !M1 после операнда тоже странно...

Могу предложить попробовать Z80Explorer для сравнения. Уже продвигал его где-то на форуме.

Действительно с командой SLA (IY+d) в симуляторе, что-то пошло не так. Надо задавать вопрос автору симулятора.


А вот с командой SLA (IX+d), считай аналог все нормуль. И со стейт машиной не вижу странностей. Начинается 1 машинный цикл, считывается префикс 0xDD. Сброс. Начинается 1 машинный цикл, считывается префикс 0xСВ, далее считывается смещение d, далее команда 0x26. Далее идут циклы выполнения команды. Конец. Снова 1 машинный цикл.

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

Приложил скриншот, мелковато, главное выделил.

Уткнулся в ужас вида "Compile with QtCreator..." - ставить целую среду разработки ради сборки программы в 100 килобайт в архиве - несколько перебор по-моему, хотя остальные программы, написанные на QT, собираются без этого. Под wine не идёт, так что воздержусь.

Угу, спросил; настроен пессимистично, Z80 не главный процессор проекта, так что...


Видел, вот этим вопрос и вызван - без префикса-то 26 читается с активным !M1.

Без префикса 0xСВ? Видимо 0xСВ уже не чистый префикс, а еще часть команды. Потом смещение для этой группы команд неотъемлемая часть, вычисляется первым смещение и всегда, далее ...

В общем, принять это как объективную реальность.

Или смущает команда LD IXh,n (DD26 n)? Кстати она не документированная (это так слову). Так тут строго все по мануалу. Процессор натыкается на префикс DD. Сбрасывает "автомат" в конце первого машинного цикла. И по новому первый машинный цикл. Декодирует следующий байт с установкой, что до этого был префикс DD. Находит команду 26 в нашем случаи (первый машинный цикл), далее отрабатывает ее.

p.s. Замысловато эти CISC процессоры работают

Можно и без него:
$ cd Z80Explorer
$ qmake
$ make all

Странно Z80Explorer на 7-ке работает. Запускается. Просить, открыт слой. Не успеваю выбрать слой. Некоторое время работает и падает, без причины. При повторном запуске, пишется, отказано в доступе. В процессах не нахожу.

Ну и ладно. Для этого случая у меня Modelsim и корка Т80