semaphore n //semafor ogolny, inicjalna wartość n = 0 binary semaphore s //semafor binarny, inicjalna wartość s = 1
process producent begin
while true begin
produkuj
wait(s)
wstaw
signal(s)
signal(n)
end
end
process konsument begin
»hilg_Łj..US._
wait(n)
wait(s)
pobierz
signal(s)
konsumuj