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

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

Действие	Файлы	Процессы
Вывести список	Ls	Ps
Сменить статус	Chmod	Bg Fg
Удалить	Rm	Kill
Сцепить последовательно	Cat	| конвейер
Показать контекст/задания	Env	Jobs
Создать файл/процесс	Cp – в новый файл	Fork
Сменить директорию/процесс	Cd	Exec
Проверить/Ждать	Test	Wait
Переход к результату	Echo	Eval
Формат файла/процесса	Таблица строк/записей	Список команд с параметрами

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

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

• 
  элементарные действия исполняются мгновенно;
  
• 
  протяженное действие: всегда пара событий – начало и конец;
  
• 
  нет точной привязки действий к моменту времени;
  
• 
  определены отношения «раньше – позже», «одновременно»,
  

«независимо»;

• 
  совместность событий понимается как отношение «синхронизация»;
  
• 
  одно событие из независимых возникает в любом порядке, без причинно-следственной связи.
  

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

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

• 
  порождение новых файлов и процессов по ходу дела;
  
• 
  время жизни файлов и процессов произвольно – нет гарантий;
  
• 
  неограниченная динамика событий;
  
• 
  содержание может быть незавершенным;
  
• 
  изменение содержания и состава;
  
• 
  очередь процессов с условиями готовности.
  

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

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

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

Таблица 23