Group mutual exclusion in linear time and space

ECU Author/Contributor (non-ECU co-authors, if there are any, appear on document)

Eli Gafni (Creator)

Krishnan Gopalakrishnan (Creator)

Yuan He (Creator)

Institution

East Carolina University (ECU )

Web Site: http://www.ecu.edu/lib/

Abstract: We present two algorithms for the Group Mutual Exclusion (GME) Problem that satisfy the properties of Mutual Exclusion , Starvation Freedom , Bounded Exit , Concurrent Entry and First Come First Served. Both our algorithms use only simple read and write instructions , have O (N) Shared Space complexity and O (N) Remote Memory Reference (RMR) complexity in the Cache Coherency (CC) model. Our first algorithm is developed by generalizing the well-known Lamport's Bakery Algorithm for the classical mutual exclusion problem , while preserving its simplicity and elegance. However , it uses unbounded shared registers. Our second algorithm uses only bounded registers and is developed by generalizing Taubenfeld's Black and White Bakery Algorithm to solve the classical mutual exclusion problem using only bounded shared registers. We show that contrary to common perception our algorithms are the first to achieve these properties with this combination of complexities.

Additional Information

Publication

Other

Language: English

Date: 2018

Keywords

Mutual exclusion, Group mutual exclusion, Remote memory reference complexity, Lamport's Bakery Algorithm, Black and White Bakery Algorithm

Subjects

Email this document to