суббота, 18 июля 2015 г.

Что в Windows 3.1 делала кнопка "Игнорировать" в диалоге GPF?

Это перевод What did the Ignore button do in Windows 3.1 when an application encountered a general protection fault? Автор: Реймонд Чен.

Когда ваше приложение вызывало General Protection Fault (GPF, общее нарушение защиты, сегодня известное как Access Violation) в Windows 3.0, система показывала такой диалог об ошибке:

Application error
CONTOSO caused a General Protection Fault in
module CONTOSO.EXE at 0002:2403
Close

В Windows 3.1 же вы получали такой диалог при выполнении некоторых условий:

CONTOSO
An error has occurred in your application.
If you choose Ignore, you should save your work in a new file.
If you choose Close, your application will terminate.
Close
Ignore

Хорошо, мы знаем, что делает кнопка "Close" (закрыть). Но что делает кнопка "Ignore" (Игнорировать)? И при каких-таких условиях она появляется?

Говоря грубо, кнопка "Игнорировать" появляется, если:
  • Ошибка является общим нарушением защиты (GPF),
  • Инструкция, вызвавшая ошибку, не принадлежит ядру или менеджеру памяти,
  • Инструкция, вызвавшая ошибку, является одной из следующих (возможно, с одним или несколькими префиксами):
    • Операции с памятью: op r, m; op m, r; или op m.
    • Строковые операции: movs, stos, etc.
    • Загрузки селектора: lds, les, pop ds, pop es.
Если эти условия выполняются, то показывается кнопка "Игнорировать". А если вы нажмёте на эту кнопку, то ядро выполнит следующее:
  • Если инструкция, вызвавшая ошибку - это загрузка селектора, то регистр назначения просто обнуляется;
  • Если инструкция, вызвавшая ошибку - это pop, то указатель стека увеличивается на два байта;
  • IP переходит на следующую машинную команду;
  • Выполнение возобновляется.
Другими словами, ядро выполняло некий ассемблерный эквивалент для ON ERROR RESUME NEXT.

Так, вы можете подумать: "Как это вообще могло работать? Вы же просто пропускаете выполнение случайных команд!". Как бы это ни было странным, но эта идея была настолько сумасбродной, что она работала - или, по крайней мере, работала достаточно часто. Вам могло понадобится нажать "Игнорировать" дюжину раз, но в итоге был хороший шанс, что плохие значения регистров затрутся хорошими (и, вероятно, это не займёт много времени, поскольку у 8086 было крайне мало регистров), и программа продолжит вроде-как-нормально выполняться.

Полное безумие.

Упражнение: почему коду не нужно было знать, как игнорировать инструкции перехода и условного перехода?

Бонусный тривиальный факт: Разработчик, реализовавший эту сумасшедшую возможность, был Дон Корбитт - автор Доктора Ватсона.

Комментариев нет:

Отправить комментарий

Можно использовать некоторые HTML-теги, например:

<b>Жирный</b>
<i>Курсив</i>
<a href="http://www.example.com/">Ссылка</a>

Вам необязательно регистрироваться для комментирования - для этого просто выберите из списка "Анонимный" (для анонимного комментария) или "Имя/URL" (для указания вашего имени и ссылки на сайт). Все прочие варианты потребуют от вас входа в вашу учётку.

Пожалуйста, по возможности используйте "Имя/URL" вместо "Анонимный". URL можно просто не указывать.

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

Примечание. Отправлять комментарии могут только участники этого блога.