الگوریتم دکر

the first known correct solution to the mutual exclusion problem in concurrent programming