Termination detection using causality and vector time

A problem unique to distributed systems is the need to determine that a computation is terminated. We use vector clocks as a basis for a termination detection protocol in which each process is only contacted once following termination. In addition we also present a definition of termination that doe...

Full description

Saved in:
Bibliographic Details
Published inProceedings of SOUTHEASTCON '96 pp. 657 - 660
Main Authors Peterson, S., Kearns, P.
Format Conference Proceeding
LanguageEnglish
Published IEEE 1996
Subjects
Clocks
Event detection
Marine vehicles
Protocols
Synchronization
Terminology
Online AccessGet full text

Cover

More Information
Summary:A problem unique to distributed systems is the need to determine that a computation is terminated. We use vector clocks as a basis for a termination detection protocol in which each process is only contacted once following termination. In addition we also present a definition of termination that does not depend on global state. This definition is based on the causal relationships between events and is stated in terms of Lamport's "happens before" relation. Because the protocol is also specified in causal terms, this definition can be easily used to formally argue the correctness of the algorithm.
ISBN:9780780330887
0780330889
DOI:10.1109/SECON.1996.510151