Doi muncitori independen verifică simultan dacă există mai mult de trei medici de gardă, și fiecare își ia concediu, încălcând invarianta. Care este această problemă și cum o rezolvi?