Баг формата SZX

[ZXMAK]

еще раз: а для предваряемой команды - какая разница?
и зачем нужно сохранять состояние, которое далее заведомо не используется?

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

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

Хотя может кому-то ситуация со всей памятью забитой префиксом покажется нереальной, но вот например тест, который переводит ZX Spectrum +2/3 в такой режим:

[Advertiser]

[Lethargeek]

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

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

[ZXMAK]

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

например в тесте выше, который заполняет всю память префиксом. Вариант с предварительной проверкой префиксов наперед чреват тем, что память может внезапно измениться, например при попадании в окно TRDOS.

Например имеем последовательность DD DD 00. Прцессор выполнил первый префикс DD, затем эмулятор остановили и сохранили снэпшот, затем при загрузке при чтении следующего DD сработал гейт и вместо DD прочиталось 21. Однако состояние предыдущего префикса потеряно при сохранении в SZX.

[Lethargeek]

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

1) с чего бы ему сработать после загрузки, но не сработать после сохранения точно так же?
2) ну, считай, что не выполнял первый тот DD, всё равно он равносилен нопу, откатить можно

[ZXMAK]

1) с чего бы ему сработать после загрузки, но не сработать после сохранения точно так же?

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

2) ну, считай, что не выполнял первый тот DD, всё равно он равносилен нопу, откатить можно

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

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

[Lethargeek]

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

ну при чём тут ФЛАГ, да еще такой, которого внешние устройства не видят?
я спросил, с чего бы ГЕЙТУ сработать в одном случае и не сработать в другом?
при совершенно одинаковых вводных-то

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

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

- - - Добавлено - - -

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

- - - Добавлено - - -

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

[ZXMAK]

ну при чём тут ФЛАГ, да еще такой, которого внешние устройства не видят?
я спросил, с чего бы ГЕЙТУ сработать в одном случае и не сработать в другом?
при совершенно одинаковых вводных-то

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

- - - Добавлено - - -

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

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

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