DocumentCode :
2370488
Title :
An algorithm for maintaining consistent view of processes in distributed systems
Author :
Van Hung, Dang
Author_Institution :
Int. Inst. for Software Technol., United Nations Univ., Macau, Brazil
fYear :
1994
fDate :
14-16 Dec 1994
Firstpage :
33
Lastpage :
40
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Parallel Architectures, Algorithms and Networks, 1994. (ISPAN), International Symposium on
Conference_Location :
Kanazawa
Print_ISBN :
0-8186-6507-6
Type :
conf
DOI :
10.1109/ISPAN.1994.367167
Filename :
367167
Link To Document :
بازگشت