TY - GEN

T1 - Results about fast mutual exclusion

AU - Alur, Rajeev

AU - Taubenfeld, Gadi

N1 - Copyright:
Copyright 2013 Elsevier B.V., All rights reserved.

PY - 1992

Y1 - 1992

N2 - We present a fast mutual exclusion algorithm where only five accesses to the shared memory are needed in order to enter a critical section in the absence of contention. In the presence of contention, the winning process may need to delay itself for 3 • A time units, where A is an upper bound on the time taken by the slowest process to execute a statement involving an access to the shared memory. We also prove that there is no two (or more) process mutual exclusion algorithm with an upper bound on the number of times a winning process needs to access the shared memory in order to enter its critical section in presence of contention. However, under the assumption that busy-waiting counts as just one step, we present, for every fixed parameter k, an algorithm with the property that from a state where no process tries to enter its critical section, as long as the number of contenders does not exceed k, the time complexity of the winning process is a linear function of k. Finally, we use the ideas from the mutual exclusion algorithm to implement a fast and simple consensus algorithm.

AB - We present a fast mutual exclusion algorithm where only five accesses to the shared memory are needed in order to enter a critical section in the absence of contention. In the presence of contention, the winning process may need to delay itself for 3 • A time units, where A is an upper bound on the time taken by the slowest process to execute a statement involving an access to the shared memory. We also prove that there is no two (or more) process mutual exclusion algorithm with an upper bound on the number of times a winning process needs to access the shared memory in order to enter its critical section in presence of contention. However, under the assumption that busy-waiting counts as just one step, we present, for every fixed parameter k, an algorithm with the property that from a state where no process tries to enter its critical section, as long as the number of contenders does not exceed k, the time complexity of the winning process is a linear function of k. Finally, we use the ideas from the mutual exclusion algorithm to implement a fast and simple consensus algorithm.

UR - http://www.scopus.com/inward/record.url?scp=84880879693&partnerID=8YFLogxK

U2 - 10.1109/REAL.1992.242680

DO - 10.1109/REAL.1992.242680

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84880879693

SN - 0818631953

SN - 9780818631955

T3 - Proceedings - Real-Time Systems Symposium

SP - 12

EP - 21

BT - Proceedings - Real-Time Systems Symposium, RTSS 1992

T2 - 1992 Real-Time Systems Symposium, RTSS 1992

Y2 - 2 December 1992 through 4 December 1992

ER -