soluzione di Peterson

Utilizziamo le variabili condivise dei due algoritmi precedenti

Processo $P_i$:

do
{
	pronto[i] := true;
	turno = j;
	while (pronto[j] and turno == j);
		sezione critica
	pronto[i] = false;
		sezione non critica
} while (true);

Soddisfa tutti e tre i requisiti, risolve il problema della sezione critica per due processi

$P_i$ entra nella propria sezione critica solo se pronto[j] == false o turno == i
se entrambi i processi fossero contemporaneamente in esecuzione nelle rispettive sezioni critiche, si avrebbe pronto[i] == pronto[j] == true
l’istruzione while non può essere eseguita da $P_i$ e $P_j$ contemporaneamente perchè turno può assumere valore i o j, ma non entrambi
supponendo che $P_j$ ha eseguito con successo l’istruzione while avremo che pronto[j] == true e turno == j, condizione che persiste fino a che $P_j$ si trova nella propria sezione critica

si può impedire a un processo $P_i$ di entrare nella propria sezione critica solo se questo è bloccato nel ciclo while dalla condizione pronto[j] == true e turno == j
se $P_j$ non è pronto per entrare, allora pronto[j] == false, e $P_i$ può entrare nella propria sezione critica
se $P_j$ è pronto per entrare, allora pronto[j] == true, se turno == i entra $P_i$, mentre se turno == j entra $P_j$
se entra $P_j$, all’uscita imposta pronto[j] == false e $P_i$ può entrare
$P_i$ entra nella sezione critica (progresso) al massimo dopo un ingresso da parte di $P_j$ (attesa limitata)

Sezione critica per n processi

Questo algoritmo si basa su uno schema di servizio usato “nelle panetterie”

Al suo ingresso nel negozio, ogni cliente riceve un numero