[ajb]

Interesting, I hadn't heard of Petersen's algorithm before. There's a similar algorithm by Lamport (of course): https://lamport.azurewebsites.net/pubs/fast-mutex.pdf .