Due lavoratori indipendenti verificano contemporaneamente che ci siano più di tre medici di turno, e ognuno prende un congedo, violando l'invariante. Qual è questo problema e come risolverlo?