Concurrency en race condities

Maak een tellende semafoor met binaire
(oplossing is niet goed - waarom?)
class countingSemaphore
{
procedure Wait();
begin
mutex.WaitB();
s = s - 1;
if s < 0 then begin
mutex.SignalB();
delay.WaitB()
end
else
mutex.SignalB()
end;
procedure Signal();
begin
mutex.WaitB();
s = s + 1;
if s