Du nepriklausomi darbuotojai vienu metu tikrina, ar budėjimo gydytojų skaičius yra daugiau nei trys, ir kiekvienas ima atostogas, pažeidžiant invariantą. Kas tai už šį problemą ir kaip ją išspręsti?