Stavo studiando l'algoritmo di mutua esclusione di Lamport dal originale articolo, e ho notato una differenza nella versione fase a quella data in Wikipedia . Nel documento originale, l'autore afferma che:
To release the resource, process Pi removes any Tm:Pi requests resource message from its request queue and sends a (timestamped) Pi releases resource message to every other process.
Tuttavia in Wikipedia è indicato come segue:
Upon exiting the critical section, remove its request from the queue and send a release message to every process.
Come si nota, la carta originale menziona qualsiasi Tm: Pi richiede il messaggio di risorsa dalla sua coda di richieste che è leggermente confusionaria per me. Secondo la mia comprensione, il processo Pi all'uscita dalla sezione critica rimuove la sua richiesta dalla coda, ma il documento non fa una menzione esplicita a riguardo.