The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (1994 vol.5)
pp: 737-748
ABSTRACT
<p>The implementation of nondeterministic pairwise synchronous communication among a set of asynchronous processes is modeled as the binary interaction problem. The paperdescribes an algorithm for this problem that satisfies a strong fairness property thatguarantees freedom from process starvation. This is the first algorithm for binaryinteractions with strong fairness whose message cost and response time are independentof the total number of processes in the system. The paper also describes how the fairalgorithm may be extended to tolerate detectable fail-stop failures. Finally, we show howany solution to the dining philosophers problem can be embedded to design a fairalgorithm for binary interactions. In particular, this embedding is used to derive a fairalgorithm that can cope with undetectable fail-stop failures.</p>
INDEX TERMS
Index Termsconcurrency control; synchronisation; distributed algorithms; fault tolerant computing;fault-tolerant algorithms; fair interprocess synchronization; asynchronous processes;binary interaction problem; strong fairness property; binary interactions; message cost;response time; dining philosophers problem; embedding
CITATION
Y.K. Tsay, R.L. Bagrodia, "Fault-Tolerant Algorithms for Fair Interprocess Synchronization", IEEE Transactions on Parallel & Distributed Systems, vol.5, no. 7, pp. 737-748, July 1994, doi:10.1109/71.296319
24 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool