Институт системного программирования им. В.П. Иванникова РАН


Об одной алгебраической модели программ, связанной с обработкой прерываний.

Авторы

Захаров В.А.

Аннотация

В настоящей заметке приведены результаты исследования проблемы эквивалентности в одной из возможных моделей программ, позволяющей описывать некоторые эффекты, связанные с обработкой системных прерываний. В основу модели положены следующие допущения: 1). В случае успешного завершения обработки прерывания состояние данных остается таким же, как и в момент возникновения прерывания, а управление вычислением передается программе, хотя точка программы, в которую возвращается управление, может быть отлична от той точки, в которой возникло прерывание; 2). В том случае, когда обработка прерывания завершается аварийным остановом, результат вычисления определяется как состоянием данных программы в момент возникновения прерывания, так и действиями системы обработки прерываний. Для моделирования этих эффектов определен класс композиционных программ, операторы которых разбиты на два множества - основных операторов и служебных операторов. Основной результат работы таков: проблема эквивалентности композиционных программ разрешима за полиномиальное время.

Издание

Материалы VIII Международного семинара «Дискретная математика и ее приложения» (Москва, 2-6 февраля 2004 г.), 2004, Изд-во механико-математического ф-та МГУ Москва, с. 129-131.

Научная группа

Теоретическая информатика

Все публикации за 2004 год Все публикации