5.2. ПРОЦЕССЫ

Процессом называется экземпляр класса, предложения которого исполняются параллельно по отношению к предложениям других процессов. Процессам соответствуют отдельные части пространства поиска, не пересекающиеся с другими процессами.

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

Считается, что некоторый актор "принадлежит" процессу G, если этот актор доказывается, доказан или должен быть доказан в мире, входящем в состав процесса G. Исполнением процесса называется доказательство акторов, принадлежащих этому процессу.

"Фазами" исполнения процесса называются законченные периоды исполнения процесса, соответствующие:

После (успешного) окончания очередной фазы исполнения процесса осуществляется "фиксирование" процесса, а именно:

  1. Устраняются все точки выбора, возникшие в течение этой фазы.
  2. Фиксируются все общие переменные всех акторов, принадлежащих процессу.

Процесс, находящийся на очередной фазе своего исполнения, называется активным.

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

Считается, что некоторые процессы "согласованы" между собой, если:

  1. Все они находятся в состояниях "доказан" и "неиспользуемый".
  2. Не требуется обработка потоковых и прямых сообщений процессами, находящимися в состоянии "доказан".
  3. Не требуется обработка потоковых сообщений процессами, находящимися в состоянии "неиспользуемый".
  4. Производные значения общих переменных всех процессов могут быть унифицированы.

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

Ссылки: актор 7.1, доказанный процесс 5.2.1, доказательство актора 6.3.1, инициализатор 4.1.2, исполнение предложения 6.3.2, конструктор процесса 4.1.3, мир 5.1, неиспользуемый процесс 5.2.1, обработка сообщения 7.4, общие переменные 7.2, построение процесса 5.4.1, потоковые сообщения 7.4.3, предложение 6, программа 4, производные значения 7.2, прямые сообщения 7.4.2, слот 5.1, сообщение 7.4, состояние процесса 5.2.1, унификация 3.3, фиксирование терма 7.2.

Следующий: 5.2.1. СОСТОЯНИЯ ПРОЦЕССА
Предыдущий: 5.1. ЭКЗЕМПЛЯРЫ КЛАССОВ

5. СТРУКТУРА ПРОСТРАНСТВА ПОИСКА
5.2.1. СОСТОЯНИЯ ПРОЦЕССА
5.2.2. ПОРТЫ ПРОЦЕССОВ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)