algoritmo di Peterson

L'algoritmo di Peterson o algoritmo tie-breaker è un algoritmo sviluppato nella teoria del controllo della concorrenza per coordinare due o più processi o thread che hanno una sezione critica in cui deve esservi mutua esclusione.L'algoritmo assicura la corretta sincronizzazione, impedendo lo stallo (deadlock) ed assicurando che soltanto un processo alla volta possa eseguire una sezione critica (serializzazione). A causa del modo in cui i moderni elaboratori eseguono le istruzioni elementari del linguaggio macchina come load e store, non è affatto certo che l'algoritmo di Peterson funzioni correttamente su tali sistemi.