OberonCore

Есть подсистема для локального тестирования олимпиадных (и прочих учебных) задач для школ. Пишешь решение, тыкаешь коммандер, решение прогоняется на наборе тестовых входных-выходных файлов. Это работает.

Задача такая. Если программа думает более 5 секунд, надо вежливо попросить её на выход и сообщить, что вышло время ожидания на тесте таком-то.
Как сделать таймер и зарядить его на 5 секунд я подсмотрел в DevProfiler. Это работает. Как снять задачу? HALT или ASSERT в обработчике таймера не прокатят, поскольку обработчик выполняется (насколько я понял) в контексте другого потока.

Я подумал сделать по аналогии с Ctrl+Break. Там основной поток ставится на паузу, после чего в его контексте устанавливается флаг трэпа:

Если бы это удалось, то достаточно было бы проигнорировать последующий трэп (обработка трэпов при работе тестируемой задачи тоже уже реализована). Проблема в том, что Kernel.TryHandler игнорирует создаваемый таким образом трэп EXCEPTION_SINGLE_STEP, если переменная Kernel.interrupted = FALSE (устанавливается в TRUE только в обработчике Ctrl+Break). Эта переменная не экспортирована.

Как бы нам в такой ситуации поступить? Экспортировать Kernel.interrupted не хочется. Ещё более не хочется видеть сообщение "keyboard interrupt". Возможно ли возбудить исключение с кодом 128, которое отработает без шума и пыли? Может быть кто-то может порекомендовать какое-нибудь шаманство с Context.ip (instruction pointer)? Например, прыжок в процедуру/на инструкцию HALT(128), но это я корректно сделать не умею.

Какие мысли есть по этому поводу?

Я бы выставил interrupted с помощью метапрограммирования (Kernel-средствами).

Интересная идея, спасибо : )

Это всё же не решает проблему "тихого" прерывания: открывается окно трэпа "прерывание с клавиатуры", а причём здесь клавиатура? Видимо, придётся немного доработать Kernel.TryHandler и ввести дополнительные возможности. Сделал вот как: добавил опубликованную процедуру Kernel.TrapMainThread, перенёс в неё код из обработчика Ctrl-Break (эта процедура теперь оттуда вызывается). Получается законный способ прервать работу.

PS: Знаю, что в ядре копаться не хорошо, что это потом всё труднее и труднее поддерживать и портировать между версиями Блэкбокса. Удалось в данном случае отделаться минимальным вмешательством и исключительно расширением интерфейса. С другой стороны, как иначе реализовать необходимый функционал, если изначально требуемая гибкость не заложена? Теперь получится, что доработанная мной подсистема Info21olimp не со всяким ядром будет работать.
Вот здесь-то мне и пригодится метапрограммирование. Буду искать в Kernel процедуру TrapMainThread. Если есть - вызывать, если нет - пользователь увидит клавиатурный трэп. Но это я буду завтра дорабатывать, сейчас отдыхать пора.

Ладно, будет окончательное многопоточное решение - будет гораздо проще.

Илья, подскажите, как это сделать. Kernel.ThisObject проходит только по экспортированным сущностям.

Это не через метаинформацию, а через символьную информацию (Kernel.GetRefXX). Тонкости уже подзабыл, но как пример можно взять DevDebug.ShowGlobals, ну и по GetRefProc/GetRefVar посмотрите их описание в документации Kernel в Wiki.

Спасибо, получилось! Теперь подсистема Info21olimp может работать как с доработанной версией ядра, так и с оригинальной. Во втором случае при превышении допустимого времени работы пользователь увидит трэп, словно он сам нажал Ctrl+Break, а система тестирования занесёт в журнал запись о принудительном прерывании. Правда, для этого пришлось скопировать код выставления трэпа из Kernel.KeyboardWathcer в Info21olimpTest.

Задно подправил в wiki описание GetRefVar. По прежнему описанию не работало, реализовал по образцу DevDebug.ShowGlobals и поправил документ.