Выпуск новостей ReactOS №62

В операционных системах семейства NT структурированная обработка исключений (SEH) используется для безопасного освобождения буферов памяти пользовательского режима и страничной памяти в режиме ядра. Это требование мотивировало KJK::Hyperion на создание библиотеки PSEH, так как GCC не имеет поддержки SEH. Так как недавняя попытка добавить её поддержку в GCC провалилась, ReactOS по-прежнему зависит от PSEH. Недавно команда ARM внесла некоторый код, который вызвал очень неприятную ошибку в библиотеке PSEH и расследование причин подвело KJK к обнаружению ещё одной ошибки в процессе анализа кода. Обе эти ошибки являются серьёзными, так как они оказались причиной крупных проблем при возникновении исключений.

Первая ошибка связана с вложенными блоками try/catch, в которых при возникновении и обработке исключения во внутреннем блоке и возникновении второго исключения во внешнем, управление может передаваться не внешнему блоку catch, а внутреннему. Код продолжит исполняться опять с внутреннего блока, что приведет к бесконечному циклу (из-за непрерывной передачи управления обратно). Проблема была в том, что при выходе из блока значение переменной, отвечающей за уровень вложенности, не загружалось из стека, так и оставаясь в нем, из-за чего PSEH считал, что он по-прежнему во внутреннем блоке. Это, конечно же, делало ОС непригодной для использования, когда происходила ошибка. Так и случилось после внесения кода ARM в репозиторий и автоматического теста, составленного для выявления ошибок. С небольшой помощью Стефана Гинсберга, KJK удалось найти причину этой ошибки с вложенными блоками try/catch, и в настоящее время автоматическое тестирование опять работает.

Вторая ошибка несколько похожа на первую тем, что фрейм стека, в контексте которого выполняется обработка исключения, не удалялся, что приводит к абсолютно непредсказуемым результатам. Настоящая проблема в том, что эта ошибка может активироваться без вложенных блоков try/catch, даже если она не тормозит ОС, то все равно приводит к случайным повреждениям стека, что может повлиять на другие аспекты, и, в итоге, сильно усложняет поиск ошибок. Поскольку это происходило постоянно при возникновении исключения в SEH, нет ничего удивительного в случайных сбоях ReactOS после введения PSEH2.По иронии судьбы, идентичная проблема также существует в PSEH1, и имеет те же причины. Набор тестов PSEH KJK также помог, как только он добавил проверку исправности, которой небыло. Конечно, добавление результатов проверки в его код провалило большинство тестов до тех пор, пока он исправит ошибки.