The shrinking role of semaphores

For those wondering where Edsger got P and V from, LWN archeology - by following the link for Ingo's mutex patches, and following those back to the previous week's kernel page on David Howell's prior version - brings us to this informative comment:

https://lwn.net/Articles/164760/