Distributed termination detection for dynamic systems

作     者：Dhamdhere, DM Iyer, SR Reddy, EKK 

作者机构：Department of Computer Science Indian Institute of Technology Powai Bombay 400 076 India 

出 版 物：《PARALLEL COMPUTING》 (并行计算)

年 卷 期：1997年第22卷第14期

页      面：2025-2045页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：dynamic systems termination detection interprocess communication distributed programming external processes control messages 

摘      要：A symmetric algorithm for detecting the termination of a distributed computation is presented. The algorithm does not require global information concerning the system and does not assume any communication features, barring finite delays in the delivery of messages. It permits dynamic creation and destruction of processes participating in the computation, and also permits destruction of a process by external processes, such as the OS kernel. It also provides for external processes spontaneously joining an ongoing computation. Proofs of safety and liveness are provided.