Баг формата SZX

[Dexus]

Недоумеваю
1. Геморрой развели из-за синтетической ситуации, когда ВСЯ память забита префиксами. Накой вообще такое сохранять? Оно и осмысленной работы не делает, и не отлаживается.
2. Не припомню эмуляторов с отладчиками (за исключением онлайн игрушки со схемой z80), в которой шаги не по инструкциям, а по байтам. Какая от этого практическая польза?

Бага нет.
Если хочешь чтобы szx сохранял внутреннее состояние z80 с фазами опкодов - просто надо новый блок в формат добавить. Но никто кроме тебя его не будет поддерживать (потому что это не нужно). И да, придется свою имплементацию мутить, а не использовать libspectrum (хотя может libspectrum позволяет кастомные блоки сохранять и хэндлить - тогда вообще проблем нет).

[Titus]

В случае, когда вся память заполнена префиксом #DD или #FD, процессор перманентно всегда находится в префиксном режиме, не выходя из него. Поэтому это просто приведет к вечному зависанию эмулятора при попытке сохранить снэпшот. Такое поведение неправильное.

1. Нельзя всю память заполнить префиксами. Все равно настанет адрес 0000, где находится ПЗУ, а там уже команда.
2. Если же эмулируется клон, у которого вместо ПЗУ может встать ОЗУ, и тогда действительно можно заполнить всю память префиксами, то... такой снапшот никому не нужен, т.к. он никогда не будет работать на реале) Вся память в префиксах - это вечный зависон и отсутствие программы)

[Spectramine]

1. Нельзя всю память заполнить префиксами. Все равно настанет адрес 0000, где находится ПЗУ, а там уже команда.
2. Если же эмулируется клон, у которого вместо ПЗУ может встать ОЗУ, и тогда действительно можно заполнить всю память префиксами, то... такой снапшот никому не нужен, т.к. он никогда не будет работать на реале) Вся память в префиксах - это вечный зависон и отсутствие программы)

На +2А/+3 вместо ПЗУ может встать ОЗУ (чисто для информации).

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

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

[ZXMAK]

На +2А/+3 вместо ПЗУ может встать ОЗУ (чисто для информации).

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

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

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

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

[Titus]

Таким образом проверить "корректный" ли префикс невозможно.

Если это твой эмулятор Z80, то ты можешь проверить все, что угодно.
Сделай проверку, что если после выборки префикса DD/FD идет снова выборка префикса DD/FD, то помечай, что префикс 'некорректный', как ты его называешь.

[Bedazzle]

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

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

[ZXMAK]

Если это твой эмулятор Z80, то ты можешь проверить все, что угодно.
Сделай проверку, что если после выборки префикса DD/FD идет снова выборка префикса DD/FD, то помечай, что префикс 'некорректный', как ты его называешь.

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

Просто прочитать память - неправильно, т.к. из памяти может прочитаться одно значение, а при выполнении цикла прочитается другое (например если читается инструкция из TRDOS гейта).

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

ну, и непонятно, что значит "нельзя прочитать" эмуль же, реализовать можно что угодно, лишь бы корректное поведение реальной машины но можно и нереальное - например, Spec256

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

[Lethargeek]

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

Просто прочитать память - неправильно, т.к. из памяти может прочитаться одно значение, а при выполнении цикла прочитается другое (например если читается инструкция из TRDOS гейта).

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

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

из памяти может прочитаться одно значение, а при выполнении цикла прочитается другое (например если читается инструкция из TRDOS гейта).

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

[ZXMAK]

и тогда если в текущий M1 операция от такого префикса не зависит - сохраняться можно в этот момент

вот это условие проверить проблематично. Как узнать в новом M1 операция зависит от префикса или нет?
Для этого нужно выполнить цикл, чтобы процессор полноценно сделал выборку опкода, тогда станет понятно зависит или нет.
Но когда новый цикл M1 будет выполнен, то может оказаться что выбран новый опкод #DD/#FD, и требуется еще один цикл М1, чтобы проверить новое состояние. И так до бесконечности.

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

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

[Titus]

вот это условие проверить проблематично. Как узнать в новом M1 операция зависит от префикса или нет?

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