Баг формата SZX

[Lethargeek]

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

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

[Advertiser]

[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 модели.

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

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

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

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

[Lethargeek]

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

для предсказания значимости префикса задержки тебе не нужны, а переключения - предсказуемы (ДОЛЖНЫ быть, если нет - время задуматься о перепроектировании модели)

[ZXMAK]

для предсказания значимости префикса задержки тебе не нужны, а переключения - предсказуемы (ДОЛЖНЫ быть, если нет - время задуматься о перепроектировании модели)

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

[Lethargeek]

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

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

[ZXMAK]

чтобы хотя бы некоторые действия отвязать от изменения состояния

они и не связаны. Есть два метода для чтения памяти - один не влияет на состояние, второй влияет также как при обращении к памяти в железе.