A general model for detecting distributed termination in dynamic systems
A general model for detecting distributed termination in dynamic systems
复制标题
检测动态系统中分布式终端的通用模型
DOI：
10.1109/ipdps.2004.1303025
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Jean Mayo
中科院分区：
文献类型：
--
作者：
Xinli Wang;Jean Mayo
仅提供摘要形式。提出了一种检测具有异步通信网络的动态系统中的分布终止的对称算法。证明了算法的正确性。在系统中，活动进程可以创建新进程或接受外部进程加入基本计算。在计算终止之前，任何进程都不能被销毁或离开系统。该算法采用的网络模型是一个逻辑环和计算树的组合。它具有较强的通用性，特别适合于Internet网络上的应用。该算法是更有效的比在以前的作品中的检测协议中使用的控制消息。
Summary form only given. A symmetric algorithm is proposed for detecting distributed termination in a dynamic system with asynchronous communication networks. Correctness of the algorithm is proven. In the system, active processes may create new processes or accept outside processes to join the basic computation. No processes can be destroyed or leave the system until the computation terminates. The network model exploited in the algorithm is a combination of a logical ring and computation trees. It is more general and especially suitable for the applications on Internet networks. The algorithm is more efficient than those in previous works in terms of control messages used in the detection protocol.