Kaks sõltumatut töötajat kontrollivad samaaegselt, kas on dekaaniarstid rohkem kui kolm, ja igaüks võtab puhkuse, rikkudes invarianti. Mis see probleem on ja kuidas seda lahendada?