Title :
Analysis of distributed systems with many identical processes
Author :
Garg, Vijay Kumar
Author_Institution :
Div. of Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
The symmetry of distributed systems that have one or more sets of identical processes, is used to reduce the state space for automatic analysis techniques. A model called the Synchronous Token-based Communicating State Model (STOCS) is proposed to facilitate specification and analysis of symmetric distributed systems. Symbolic and inductive techniques to analyze the STOCS are described. The techniques are demonstrated by analyzing the 2-out-of-3, readers-writers, dining philosophers, and mutual exclusion problems
Keywords :
distributed processing; parallel programming; software engineering; state-space methods; (STOCS); 2-out-of-3; Synchronous Token-based Communicating State Model; automatic analysis techniques; dining philosophers; distributed systems; identical processes; inductive techniques; mutual exclusion; readers-writers; specification; state space; symbolic analysis; symmetry; Broadcasting; Computer science; Concurrent computing; Logic; Network servers; Network topology; Protocols; Reasoning about programs; Safety; State-space methods;
Conference_Titel :
Distributed Computing Systems, 1988., 8th International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
0-8186-0865-X
DOI :
10.1109/DCS.1988.12537