Редактирование: РОС, ответы на задачи
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 96 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 50: | Строка 50: | ||
'''Ответ (не реализовано "блокирование" в случае если процесс ждет входа, заменено циклом)''' | '''Ответ (не реализовано "блокирование" в случае если процесс ждет входа, заменено циклом)''' | ||
<pre> | <pre> | ||
- | int | + | struct CountingSemaphore { |
- | + | int val; | |
- | + | BinarySemaphore wait; // ждём здесь, чтобы ждать для S | |
- | + | BinarySemaphore mutex; // защищает val | |
- | + | ||
- | + | CountingSemaphore(int k) { | |
- | + | val = k; | |
- | + | wait = 0; | |
- | + | mutex = 1; | |
- | + | } | |
+ | void P(); | ||
+ | void V(); | ||
+ | } S; | ||
+ | |||
+ | void CountingSemaphore::P() { | ||
+ | S.mutex.P(); | ||
+ | if (S.val <= 0) { | ||
+ | S.val--; | ||
+ | S.mutex.V(); | ||
+ | S.wait.P(); | ||
+ | } | ||
+ | else { | ||
+ | S.val--; | ||
+ | S.mutex.V(); | ||
+ | } | ||
} | } | ||
- | + | ||
- | V( | + | void CountingSemaphore::V() { |
- | + | S.mutex.P(); | |
- | + | if (S.val < 0) | |
- | + | S.wait.V(); | |
+ | S.val++; | ||
+ | S.mutex.V(); | ||
} | } | ||
</pre> | </pre> | ||
Строка 90: | Строка 107: | ||
} | } | ||
</pre> | </pre> | ||
+ | |||
=== Задача 3 (события через двоичный семафор) === | === Задача 3 (события через двоичный семафор) === |