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