Баг формата SZX

[ZXMAK]

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

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

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

Спектакулятор так не делает, вместо этого он использует костыль с вышеописанным так называемым "инвалидным префиксом" под которым подразумевается, что если если процессор переключился в префиксный режим, но далее следует еще один префикс, то первый префикс можно проигнорировать путём предсказания что после загрузки SZX процессор выполнит еще один префикс и снова перейдет в режим префикса. Но это костыль, такое прогнозирование с потерей информации о префиксе нельзя назвать корректным поведением.

Далеко не факт, что если спектакулятор прочитал из памяти по адресу PC префикс, то после сохранения/загрузки снэпшота, при выполении M1 цикла именно этот префикс по этому адресу и прочитается. Вполне может произойти переключение страниц памяти, например в ПЗУ TRDOS или в гейт другого устройства. И тогда так называемый "инвалидный префикс" внезапно станет далеко не инвалидным, а самым нормальным, но будет уже поздно, т.к. в снэпшоте информация о текущем режиме префикса не сохранена и процессор выполнит некорректную инструкцию, т.к. режим префикса в снэпшоте не был сохранен.

[Advertiser]

[Titus]

Если нельзя, тогда эмулятор должен зависать в мёртвом бесконечном цикле, если память заполнена префиксами.

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

[ZXMAK]

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

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

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

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

[jerri]

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

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

Спектакулятор так не делает, вместо этого он использует костыль с вышеописанным так называемым "инвалидным префиксом" под которым подразумевается, что если если процессор переключился в префиксный режим, но далее следует еще один префикс, то первый префикс можно проигнорировать путём предсказания что после загрузки SZX процессор выполнит еще один префикс и снова перейдет в режим префикса. Но это костыль, такое прогнозирование с потерей информации о префиксе нельзя назвать корректным поведением.

Далеко не факт, что если спектакулятор прочитал из памяти по адресу PC префикс, то после сохранения/загрузки снэпшота, при выполении M1 цикла именно этот префикс по этому адресу и прочитается. Вполне может произойти переключение страниц памяти, например в ПЗУ TRDOS или в гейт другого устройства. И тогда так называемый "инвалидный префикс" внезапно станет далеко не инвалидным, а самым нормальным, но будет уже поздно, т.к. в снэпшоте информация о текущем режиме префикса не сохранена и процессор выполнит некорректную инструкцию, т.к. режим префикса в снэпшоте не был сохранен.

Короче - проц знает что он выполняет и когда? значит это знание проца надо перенести кудато во флаги. хоть в AF -там есть бит свободный
сам по себе СНАПШОТ является извращением работы системы, значит заботится о правильном выполнении должен автор формата.
Вот и заботься.

[Titus]

Короче - проц знает что он выполняет и когда? значит это знание проца надо перенести кудато во флаги. хоть в AF -там есть бит свободный

Нельзя переносить в AF, и битов там свободных нет.
Конечно, в снапшоте все можно сохранять и восстанавливать, это не извращение.
Извращение, если при этом портится стек или что-то еще.

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

[jerri]

Нельзя переносить в AF, и битов там свободных нет.
Конечно, в снапшоте все можно сохранять и восстанавливать, это не извращение.
Извращение, если при этом портится стек или что-то еще.

НУ в данном случае как раз и происходит извращение

inc IX >> inc hl

потому что прерывание приходит между #DD и #23
и эмулятор забывает что работает с префиксом

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

Ну как тут пишет ZXMAK вот оно будущее уже пришло.

[Lethargeek]

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

да как угодно, хоть через таблицу опкод проверить

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

почему "процессор"? процедура для проверки отдельная

Но когда новый цикл M1 будет выполнен,

нафига? холостую выборку просто сделай

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

у тебя, блин, ЭМУЛЯТОР! с ним всё предсказуемо и реально

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

ну и ССЗБ такой кулхацкер, эмуль-то при чём? шаловливыми ручонками лезть в принципе небезопасно, понимать надо

[ZXMAK]

Короче - проц знает что он выполняет и когда? значит это знание проца надо перенести кудато во флаги. хоть в AF -там есть бит свободный

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

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

и эмулятор забывает что работает с префиксом

не эмулятор забывает, а снэпшот не сохраняет это состояние. В нем не предусмотрено полей для сохранения этих состояний.

да как угодно, хоть через таблицу опкод проверить

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

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

нафига? холостую выборку просто сделай

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

Например, ставим PC процессора на адрес перед входом в гейт TRDOS, в отладчике видим что читается один байт, выполняем шаг - прочитался совсем другой байт, т.к. при выполнении цикла M1 подключилась банка ПЗУ TRDOS, в которой байт отличается от того что в банке ПЗУ ROM48.

[jerri]

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

вот ты носки жуешь уже 7 страницу.
дополни/сделай версию 2

не эмулятор забывает, а снэпшот не сохраняет это состояние. В нем не предусмотрено полей для сохранения этих состояний.

Новые проблемы требуют современных решений.

[Lethargeek]

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

в каком "следующем"? ты ТЕКУЩИЙ проверяешь ПОСЛЕ префикса!

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

значит, делай с "отработкой логики устройств", в чём проблема-то?

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

понимаю, иногда что-то программировать неприятно, но твоя лень - это всё же не "баг формата"