Process synchronization: design and performance evaluation of distributed algorithms
- 1 September 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (9) , 1053-1065
- https://doi.org/10.1109/32.31364
Abstract
The author presents a simple solution for the committee coordination problem, which encompasses the synchronization and exclusion problems associated with implementing multiway rendezvous, and shows how it can be implemented to develop a family of algorithms. The algorithms use message counts to solve the synchronization problem, and they solve the exclusion problem by using a circulating token or by using auxiliary resources as in the solutions for the dining or drinking philosophers' problems. Results of a simulation study of the performance of the algorithms are presented. The experiments measured the response time and message complexity of each algorithm as a function of variations in the model parameters, including network topology and level of conflict in the system. The results show that the response time for algorithms proposed is significantly better than for existing algorithms, whereas the message complexity is considerably worse.Keywords
This publication has 11 references indexed in Scilit:
- The multiway rendezvousACM Transactions on Programming Languages and Systems, 1987
- A Message-Based Approach to Discrete-Event SimulationIEEE Transactions on Software Engineering, 1987
- A distributed algorithm to implement n-party rendezvousPublished by Springer Nature ,1987
- A Distributed Synchronisation Scheme for Communicating ProcessesThe Computer Journal, 1986
- CIRCAL and the representation of communication, concurrency, and timeACM Transactions on Programming Languages and Systems, 1985
- An Effective Implementation for the Generalized Input-Output Construct of CSPACM Transactions on Programming Languages and Systems, 1983
- Synchronization in Distributed ProgramsACM Transactions on Programming Languages and Systems, 1982
- Synchronous communication between asynchronous componentsInformation Processing Letters, 1981
- Output Guards and Nondeterminism in “Communicating Sequential Processes”ACM Transactions on Programming Languages and Systems, 1980
- Communicating sequential processesCommunications of the ACM, 1978