Составители:
Рубрика:
Пример 4. Процедурный вариант копирования
PROC Copy(CHAN OF BYTE West, Ask, East)
BYTE c1, c2, dummy:
SEQ
West?c1
WHILE TRUE
ALT
West?c2
SEQ
East!c1
c1:=c2
Ask?dummy # процессу East нужен байт
SEQ
East!c1
West?c1
§ 2. О языке CSP
Современные версии языка CSP позволяют его использовать в
различных аспектах моделирования приложений:
– протоколов взаимодействия;
– протоколов безопасности;
– протоколов отказоустойчивых систем.
Все взаимодействия происходят в результате событий. Основ-
ными являются операторы:
– присоединения (префиксации — последовательного выполне-
ния);
– рекурсии (повторения);
– защищенного выбора (недетерминированного выбора).
Оператор присоединения используется для задания последова-
тельного порядка событий.
Пример 1. Если red и green — события, то светофор, который
один раз включает green, а потом red, задается так
green --> red --> STOP
Здесь STOP — простейший процесс в CSP, который не нужда-
ется во взаимодействии.
Пример 2. Для описания повторения используется рекурсия; в
частности, циклическое включение green и red имеет вид
190
Страницы
- « первая
- ‹ предыдущая
- …
- 187
- 188
- 189
- 190
- 191
- …
- следующая ›
- последняя »
