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