Двама независими работници едновременно проверяват дали има повече от трима дежурни лекари, и всеки взема отпуск, нарушавайки инварианта. Какъв е този проблем и как да го решим?