Параллель команд над файлами и процессами

Описание процесса начинается с определения класса событий, представ- ляющих интерес для участвующих в нем объектов. Множество имен собы- тий, используемых при описании процесса или объекта, обычно предопреде- лено.

Первая абстракция при моделировании процессов – исключение времени, т. е. отказ от ответов на вопрос, происходят ли события строго одно за дру- гим. Это обеспечивается следующими договоренностями:

– элементарные действия исполняются мгновенно;

– протяженное действие: всегда пара событий – начало и конец;

– нет точной привязки действий к моменту времени;

– определены отношения «раньше – позже», «одновременно», «незави- симо»;

– совместность событий понимается как отношение «синхронизация»;

– одно событие из независимых возникает в любом порядке, без при- чинно-следственной связи.

На уровне операционной системы (ОС) информационная обработка вы- глядит как семейство взаимодействующих процессов, выполняемых по от- дельным программам – заданиям, скриптами или сценариям, размещенным в файлах.

Языки для ОС работают с очередями, которые могут быть представлены как строки или файлы. В памяти хранится контекст задания и его скрипт- сценарий. Контекст содержит перечень доступных файлов. При управлении процессами выполнения заданий используются условия готовности и выра- батываются сигналы, символизирующие успех выполнения действий. Сиг-

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

Функционирование ОС обеспечивает следующие явления и критерии:

– порождение новых файлов и процессов по ходу дела;

– время жизни файлов и процессов произвольно – нет гарантий;

– неограничена динамика событий;

– наполнение файла может быть незавершенным;

– допустимо изменение наполнения файлов и их состава;

– очередь процессов с условиями готовности и приоритетами. Построение модели языка управления заданиями требует дополнитель-

ных операций по работе с очередями, что может быть устроено как «лени- вый» список, в конец которого можно встраивать новые элементы функцией Conc. В качестве опорного языка рассмотрен Bash, абстрактная машина ко- торого может быть определена как <E, C, D>, где:

E – контекст_процесса – вектор записей Имя: Данные + stdin/stdout; C – текущий_процесс – строка или список команд;

D – очередь_отложенных_процессов – вектор записей Имя: Данные. Команды интерпретатора ОС выполняют обмен данными между процес-

сами и контекстом, обработку очереди, файлов и контекста, проверку ряда условий над данными, контекстом и очередью, выработку сигналов, включая установку сигнала о завершении процесса.

Таблица 21