Ббк 32. 973-018 г рецензент канд физ мат наук, Ф. А. Мурзин

Парадигматическая характеристика языков управления процессами

Параметр	Конкретика
Эксплуатационная прагматика ЯП	Абстрагирование от аппаратуры, обслуживание запросов от программных инструментов, обеспечение бесперебойной эксплуатации и функционирования оборудования.
Регистры абстрактной машины	E C D E – контекст_процесса; C – текущий_процесс; D – очередь_отложенных_процессов. Результатом является код успеха или неудачи завершения процесса.
Категории команд абстрактной машины	Копирование файлов. Изменение статуса файла или его места в иерархии файлов. Установка или ввод значений переменных. Проверка условий. Запуск процесса. Вычисление выражений. Конструирование команд «на лету». Управление активностью процесса. Ожидание при взаимодействии процессов.
Реализационная прагматика	Автомат управления процессами требует реализации структуры данных для очередей, регулирующих доступ к объектам. Чаще всего используются две модели – супервизор, контролирующий взаимодействие семейства процессов, или автомат, способный тиражировать себя при ветвлении процессов. И в том и в другом случае функционирование автомата сводится к бесконечному циклу анализа происходящих событий, появление которых влечет включение обработчиков, соответствующих событиям. Проблема остановки решается вне языка на уровне базовых средств или внешним образом через прерывания.
Парадигматическая специфика	Любая программа при разработке и отладке выполняется на фоне операционной системы, управляющей процессами ввода-вывода данных ради демонстрации хода обработки данных. Поэтому минимальный контекст отлаживаемой программы – стандартный ввод-вывод, доступный по умолчанию.

Определение парадигм для ЯНУ не вызывает затруднений – в них явно видна ключевая идея, а семантические системы сравнительно изолированы в определении языка. Основные различия сосредоточены на конкретизации понятия «значение» и спектра средств укрупнения осмысленных единиц при подготовке программы.
Функциональные модели ЯНУ достаточно просты. По уровню сложности они проще SECD или SECM, т.к. не гарантируют защиту контекста. Реализационная семантика ЯНУ, как правило, требует введения дополнительных понятий (очередь, логика, словарь, точка возврата, позиция в стеке, шкала прерываний и т.п.), возникающих на уровне схем программ и программисткой терминологии.
Механизмы представления и обработки данных, накопленные в ЯНУ, в значительной мере унаследованы методами реализации ЯВУ, что позволяет локализовать изучение таких механизмов. Практика программирования на ЯНУ имеет образовательное значение. Ценящие подготовку высококвалифицированных программистов вузы, готовящие победителей международных чемпионатов по программированию, включают в начальное обучение программирование на ассемблере и управление процессами на Linux.

Таблица 26