Semaphore Conclusions
Semaphores are nice because they’re a little higher level than, e.g., spinlocks
Semaphores are used often in practice
However, they’re tricky to get right
- Deadlock and starvation prone solutions are common even for experienced coders
No built-in support for checking correctness; programmer’s responsibility