Множественная пометка
Определение пометки можно расширить, позволив помечать каждое событие любой меткой l из некоторого множества L. Если P – процесс, определим (L: P) как процесс, ведущий себя в точности как P с той разницей, что он участвует в событии l. x (где l 
L, x a P), если по определению P участвует в х.
Пример 3.19. Лакей – это младший слуга, который имеет одного хозяина, провожает его к столу и из-за стола и прислуживает ему, пока тот ест:
a ЛАКЕЙ = {садится, встает}
ЛАКЕЙ = (садится → встает → ЛАКЕЙ)
Лакей обслуживающего всех пятерых философов по очереди определим:
L = {0, 1, 2, 3, 4}
ОБЩИЙ ЛАКЕЙ = (L: ЛАКЕЙ).
Общего лакея можно нанимать на период отпуска слуги для предохранения обедающих философов от тупиковой ситуации. Конечно, в течение этого времени философам придется поголодать, ибо находиться за столом они смогут только по очереди.
Дата добавления: 2015-12-20; просмотров: 22; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!