Два независимых воркера одновременно проверяют, что дежурных врачей больше трёх, и каждый оформляет себе отпуск, нарушая инвариант. Что это за проблема и как её решать?