Abstract
A novel symmetrical, fully distributed, robust and fault-tolerant protocol for mutual exclusion with low message traffic is proposed. The protocol is based on reliable multicast communication in a network of processes. A brief description of the protocol is given. Guidelines for choice of time-outs and delays are presented, and complexity issues of the protocol are outlined along with a sensitivity analysis for robustness. The protocol was implemented as a detailed simulation model in terms of a class of the extended Petri nets. The results of the simulation study of a distributed system with the proposed protocol of mutual exclusion, for different numbers of processes in the group and different loads, are discussed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Srimani, P.K., Das, S.R. (eds.): Distributed Mutual Exclusion Algorithms. IEEE Press, Los Alamitos (1992)
Raynal, M.: A Simple Taxonomy for Distributed Mutual Exclusion. ACM Operating Systems Review 25(2), 47–51 (1991)
Singhal, M.: A Taxonomy of Distributed Mutual Exclusion. Journal of Parallel and Distributed Computing 18(1), 94–101 (1993)
Chang, Y.-I.: A Simulation Study on Distributed Mutual Exclusion. Journal of Parallel and Distributed Computing 33(2), 107–121 (1996)
Loshin, P., Kastenholz, F.: Essential Ethernet Standards: RFC’s and Protocols Made Practical. John Wiley & Sons, Chichester (1999)
Raymond, K.: A Tree-based Algorithm for Distributed Mutual Exclusion. ACM Transactions on Computer Systems 7(1), 61–77 (1989)
Nishio, S., Li, K.F., Manning, E.G.: A Resilient Mutual Exclusion Algorithm for Computer Network. IEEE Trans. on Parallel and Distributed Systems 1(3), 344–355 (1990)
Mueller, F.: Prioritized Token-based Mutual Exclusion for Distributed Systems. In: Proc. of the Parallel Processing Symposium IPPS/SPDP, pp. 791–795 (1998)
Banerjee, S., Chrysantis, P.K.: A New Token Passing Distributed Mutual Exclusion Algorithm. In: Proc. of the 16th International Conference on Distributed Computing Systems (ICDCS 1996), pp. 717–724 (1996)
Sanders, B.A.: The Information Structure of Distributed Mutual Exclusion Algorithms. ACM Transactions on Computer System 5(3), 284–299 (1987)
Ricart, G., Agrawala, A.K.: An Optimal Algorithm for Mutual Exclusion in Computer Networks. Communications of the ACM 24(1), 9–17 (1981)
Maekawa, M.A.: Algorithm for Mutual Exclusion in Decentralized Systems. ACM Transactions on Computer Systems 3(2), 145–159 (1985)
Singhal, M.: A Dynamic Information Structure Mutual Exclusion Algorithm for Distributed Systems. IEEE Trans. on Parallel and Distributed Systems 3(1), 121–125 (1992)
Jayaprakash, S., Muthukrishnan, C.R.: Permission-based Fault-tolerant Distributed Mutual Exclusion Algorithm. International Journal of Computer Systems Science and Engineering 14(1), 51–60 (1999)
Lodha, S., Kshemkalyani, A.: A Fair Distributed Mutual Exclusion Algorithm. IEEE Trans. on Parallel and Distributed Systems 11(6), 537–549 (2000)
Banks, J., Carson, J.S., Nelson, B.L., Nicol, D.M.: Discrete-Event System Simulation, 3rd edn. Prentice-Hall, Englewood Cliffs (2001)
Floyd, S., Jacobson, V., Liu, C., McCanne, S., Zhang, L.: A reliable Multicast Framework for Light-weight Sessions and Application Level Framing. IEEE/ACM Transactions on Networking 5(6), 784–803 (1997)
Hadzilacos, V., Tueg, S.: A Modular Approach to Fault-Tolerant Broadcasts and Related Problems. Technical Report TR94-1425, Dept. of Computer Science, Cornell Univ. (1994)
Coulouris, G., Dollimore, J., Kindberg, T.: Distributed Systems: Concepts and Design, 3rd edn. Pearson Education, London (2001)
Hastad, J., Leghton, T., Rogoff, B.: Analysis of Backoff Protocols for Multiple Access Channels. SIAM Journal on Computing 25(10) (1995)
Kostin, A., Aybay, I., Oz, G.: A Randomized Contention-Based Load-Balancing Protocol for a Distributed Multiserver Queuing System. IEEE Transactions on Parallel and Distributed Systems 11(12), 1252–1273 (2000)
Tobagi, F.A., Hunt, V.B.: Performance Analysis of Carrier Sense Multiple Access with Collision Detection. Computer Networks 4(5), 245–259 (1980)
Kostin, A.E.: Models and Algorithms for Organization of Distributed Data Processing in Information Systems. Diss. D.Sc., Moscow Institute of Electronic Technology (Technical University) (1989) (in Russian)
Simulation System Winsim Based on Extended Petri Nets: User Manual, http://www.daimi.au.dk/PetriNets/tools/db/winsim.html
Held, G.: Local Area Network Performance: Issues and Answers. John Wiley & Sons, Chichester (1994)
Kostin, A., Ilushechkina, L.: Winsim: A tool for Performance Evaluation of Parallel and Distributed Systems. In: Yakhno, T. (ed.) ADVIS 2004. LNCS, vol. 3261, pp. 312–321. Springer, Heidelberg (2004)
Maxemchuk, N.F.: Reliable Multicast with Delay Guarantees. IEEE Communications Magazine 40(9), 96–102 (2002)
Rodrigues, L., Raynal, M.: Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems. In: Proc. Of the 20th International Conference on Distributed Computing Systems ICDCS 2000, pp. 288–297 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kostin, A., Basri, E. (2005). Fault Tolerant and Robust Mutual Exclusion Protocol for Synchronous Distributed Systems. In: Yolum, p., Güngör, T., Gürgen, F., Özturan, C. (eds) Computer and Information Sciences - ISCIS 2005. ISCIS 2005. Lecture Notes in Computer Science, vol 3733. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11569596_19
Download citation
DOI: https://doi.org/10.1007/11569596_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29414-6
Online ISBN: 978-3-540-32085-2
eBook Packages: Computer ScienceComputer Science (R0)