conaissez vous 2 formulation qui se referent a un modele de synchronisation de processus ou les processus vérifient a plusieurs reprises une variable pour savoir s'ils devraient continuer leur execution?