Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 1089: | Строка 1089: | ||
'''Явная синхронизация:''' | '''Явная синхронизация:''' | ||
- | + | active proctype A() provided (toggle == true){ | |
L: cnt++; | L: cnt++; | ||
printf("A: cnt=%d\n", cnt); | printf("A: cnt=%d\n", cnt); | ||
toggle = false; | toggle = false; | ||
goto L | goto L | ||
- | + | } | |
- | + | active proctype B() provided (toggle == false){ | |
L: cnt--; | L: cnt--; | ||
printf("B: cnt=%d\n", cnt); | printf("B: cnt=%d\n", cnt); | ||
toggle = true; | toggle = true; | ||
goto L | goto L | ||
- | + | } | |
Процесс выполняется, только если значение provided clause равно true. | Процесс выполняется, только если значение provided clause равно true. |