Issues
- Mutual Exclusion: no two process execution in critical section
- Progress : no indefinite postpone while selection of process enter to critical section
- Bounded Waiting : no starvation
Process Sync Notion
Synchronization is bad for Scalability
Synchronization is bad for scale
In the early days of Mailgun I started working on a distributed lock service. Something I had worked on briefly at Rackspace. Even as I implemented the thing, I had the sneaky suspicion that it was a bad idea.
https://wippler.dev/posts/synchronization-is-bad-for-scale


Seong-lae Cho