Algoritmo de Lamport

o algoritmo de la panadería:

• cada proceso tira un ticket (que están ordenados en orden ascendente)
• cada proceso espera hasta que su valor del ticket sea el mínimo entro todos los procesos esperando
• el proceso con el valor mínimo accede la sección crítica

Observaciones:

• se necesita un cerrojo para acceder a los tickets
• el número de tickets no tiene límite
• los procesos tienen que comprobar continuadamente todos los tickets de todos los demás procesos

Por eso el algoritmo no es verdaderamente practicable (infinitos tickets y ineficiencia por el número elevado de comprobaciones).