Date: 08 Jun 2005

A bounded first-in, first-enabled solution to the l-exclusion problem

* Final gross prices may vary according to local VAT.

Get Access

Abstract

This paper presents a solution to the first-in, first out l-exclusion problem of [FLBB79]. Unlike the solution in [FLBB79], this solution is achieved without the use of powerful readmodify-write synchronization primitives, and it requires only bounded size shared memory. Moreover, this solution has the extra property of being first-in, first-enabled, a property which subsumes first-in, first-out. Use of the concurrent time-stamp system of [DS89] is key in solving the problem within bounded size shared memory.

Supported by NSF Presidential Young Investigator Award under grant DCR84-51396 & matching funds from XEROX Co. under grant W881111.
Parts of this research were conducted while the author was at the Hebrew University, visiting AT&T Bell Laboratories and MIT.