Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/koi8/01050200.html
Дата изменения: Mon Sep 24 15:06:49 2007 Дата индексирования: Tue Oct 2 03:15:35 2012 Кодировка: koi8-r Поисковые слова: п п п п п п п п п п п п п п п п п п п р п р п р п |
Процессом называется экземпляр класса, предложения которого исполняются параллельно по отношению к предложениям других процессов. Процессам соответствуют отдельные части пространства поиска, не пересекающиеся с другими процессами.
Построение процессов осуществляется в результате доказательства конструкторов процессов. Создателем процесса называется процесс, одному из слотов миров которого соответствовал инициализатор - конструктор рассматриваемого процесса.
Считается, что некоторый актор "принадлежит" процессу G, если этот актор доказывается, доказан или должен быть доказан в мире, входящем в состав процесса G. Исполнением процесса называется доказательство акторов, принадлежащих этому процессу.
"Фазами" исполнения процесса называются законченные периоды исполнения процесса, соответствующие:
После (успешного) окончания очередной фазы исполнения процесса осуществляется "фиксирование" процесса, а именно:
Процесс, находящийся на очередной фазе своего исполнения, называется активным.
В быстрой и максимальной версиях языка гарантируется, что исполнение любого процесса программы не может привести к неопределенно длительной приостановке других процессов. В минимальной версии допускается поочередное исполнение различных процессов.
Считается, что некоторые процессы "согласованы" между собой, если:
Примечание. В языке используется только асинхронное взаимодействие между процессами, поэтому предикаты каждого процесса обладают декларативной семантикой, не зависящей от других процессов.
Ссылки: актор 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. ПОРТЫ ПРОЦЕССОВ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)