A bounded first-in, first-enabled solution to the l -exclusion problem
Yehuda Afek, Danny Dolev, Eli M. Gafni, Michael Merritt, Nir Shavit · ACM Transactions on Programming Languages and Systems · 1994
This article presents a solution to the first-come, first-enabled ℓ-exclusion problem of Fischer et al. [1979]. Unlike their solution, this solution does not use powerful read-modify-write synchronization primitives and requires only bounded shared memory. Use of the concurrent timestamp system of Dolev and Shavir [1989] is key in solving the problem within bounded shared memory.