Редактирование: ВПнМ, примеры задач/Задача 5
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 206: | Строка 206: | ||
После наступления события 'значение глобальной переменной state равно enter_critical' верно: всегда выполняется 'процесс p находится на метке unlock' | После наступления события 'значение глобальной переменной state равно enter_critical' верно: всегда выполняется 'процесс p находится на метке unlock' | ||
- | + | Решение. | |
- | + | ||
- | []( | + | формально: |
+ | #define p 'значение глобальной переменной state равно enter_critical' | ||
+ | #define q 'процесс p находится на метке unlock' | ||
+ | |||
+ | спин: | ||
+ | #define p (state == enter_critical) | ||
+ | #define q p@unlock | ||
+ | |||
+ | [](p -> []q) | ||
+ | |||
+ | (Источник: практикум, задание 4, вариант 24, сдано Савенкову) | ||
+ | |||
+ | al-indigo: | ||
+ | ok? | ||
+ | |||
+ | Авварон: | ||
+ | ок | ||
=== Задача 9 === | === Задача 9 === |