Операционные системы. Курс лекций
Барьеры - часть 2
Введем два семафора:
- e- число пустых буферов;
- f- количество заполненных буферов.
N- общее количество буферов
p- SemSignal
v- SemWait
В исходном состоянии e= N; f=0
4. Неправильное решение. Поток писатель. Выполняется p(e), потом проверяется, доступен p(f) ли критический ресурс, если все нормально, то выполняется запись и v(e),v(f). Поток читатель. p(f)p(e) 
v(e),v(e).