2011
DOI: 10.1016/j.scico.2010.11.002
|View full text |Cite
|
Sign up to set email alerts
|

Queue based mutual exclusion with linearly bounded overtaking

Abstract: a b s t r a c tThe queue based mutual exclusion protocol establishes mutual exclusion for N > 1 threads by means of not necessarily atomic variables. In order to enter the critical section, a competing thread needs to traverse as many levels as there are currently competing threads. Competing threads can be overtaken by other competing threads. It is proved here, however, that every competing thread is overtaken less than N times, and that the overtaking threads were competing when the first one of them exits.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2011
2011
2015
2015

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 17 publications
(37 reference statements)
0
1
0
Order By: Relevance
“…This trend is primarily due to the ubiquitous use and the availability of single-chip multiprocessors or multicore processors. Following Dijkstra's algorithm, several solutions have been published in the literature to solve the mutual exclusion problem [1], [2], [13], [4], [11], [25], [30]. This paper proposes two new algorithms to solve the mutual exclusion problem.…”
Section: Introductionmentioning
confidence: 99%
“…This trend is primarily due to the ubiquitous use and the availability of single-chip multiprocessors or multicore processors. Following Dijkstra's algorithm, several solutions have been published in the literature to solve the mutual exclusion problem [1], [2], [13], [4], [11], [25], [30]. This paper proposes two new algorithms to solve the mutual exclusion problem.…”
Section: Introductionmentioning
confidence: 99%