DocumentCode :
2411407
Title :
Analysis of distributed systems with many identical processes
Author :
Garg, Vijay Kumar
Author_Institution :
Div. of Comput. Sci., California Univ., Berkeley, CA, USA
fYear :
1988
fDate :
13-17 Jun 1988
Firstpage :
358
Lastpage :
365
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Distributed Computing Systems, 1988., 8th International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
0-8186-0865-X
Type :
conf
DOI :
10.1109/DCS.1988.12537
Filename :
12537
Link To Document :
بازگشت