Два независна радника истовремено проверавају да ли има више од три дежурна лекара, и сваки узима одмор, што крши инваријанту. Шта је овај проблем и како га решити?