Title :
An algorithm for maintaining consistent view of processes in distributed systems
Author_Institution :
Int. Inst. for Software Technol., United Nations Univ., Macau, Brazil
Abstract :
In the paper, the problem of determining the global properties of distributed systems is addressed. At each moment during the execution of a system, every process has its knowledge about the system. By message passing the processes can exchange their knowledge. We present a general algorithm for a process to synthesize the knowledge that it obtains, and to maintain its consistent view about the system. Depending on different interpretations the algorithm can be used for distributed snapshots, for verification and design of stabilizing protocols, etc
Keywords :
distributed algorithms; message passing; program diagnostics; causality relation; consistent view; distributed algorithm; distributed snapshot; distributed systems; message passing; processes; stabilizing protocols; transition system; verification; Algorithm design and analysis; Bidirectional control; Checkpointing; Communication networks; Computational modeling; Distributed algorithms; Distributed computing; Message passing; Parallel architectures; Protocols;
Conference_Titel :
Parallel Architectures, Algorithms and Networks, 1994. (ISPAN), International Symposium on
Conference_Location :
Kanazawa
Print_ISBN :
0-8186-6507-6
DOI :
10.1109/ISPAN.1994.367167