Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty

• Published in: Information and computation Vol. 110; no. 1; pp. 183 - 232
• Main Authors: Attiya, H., Lynch, N.A.
• Format: Journal Article
• Language: English
• Published: San Diego, CA Elsevier Inc 01.04.1994; Elsevier
• Subjects: Algorithmics. Computability. Computer arithmetics; Applied sciences; Computer science; control theory; systems; Exact sciences and technology; Theoretical computing; Uncertainty; Automaton; Computer theory; Check; Definition; Models; Time; Mutual exclusion; Limit; Distributed system; Real time

A timing-based variant of the mutual exclusion problem is considered. In this variant, only an upper bound, m, on the time it takes to release the resource is known, and no explicit signal is sent when the resource is released; furthermore, the only mechanism to measure real time is an inaccurate cl...