Функция канала

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

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

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

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

доступны процессу потребителю в момент времени . Из доступных состояний производителя потребитель выбирает нужные ему состояния при помощи функции канала.