49、分布式计算中的终止检测与死锁检测

分布式计算中的终止检测与死锁检测

在分布式计算领域，终止检测和死锁检测是两个至关重要的问题。终止检测有助于系统及时回收资源，而死锁检测则能确保系统的正常运行，避免进程陷入无限等待的困境。下面将详细介绍分布式终止检测和分布式死锁检测的相关内容。

分布式终止检测

在分布式系统中，当所有进程都处于被动状态且所有通道都为空时，分布式计算即宣告终止。这是一个稳定的属性，一旦计算终止，就会一直保持终止状态。为了实现资源的有效再分配，如释放本地内存空间，系统需要准确检测到计算的终止。

相关数据结构

• arri[1..n] ：由本地观察者 obsi 管理的数组，arri[j] 记录了自执行开始以来，由进程 pj 发送并到达进程 pi 的进程数量。
• ap_sentα[1..n,1..n] ：由 obsα 管理的矩阵，ap_sentα[i,j] 表示从 obsα 的角度来看，进程 pi 发送给进程 pj 的消息数量。由于 obsα 只有在收到本地观察者 obsi 的控制消息时才能获取信息，所以 ap_sentα[i,j] 是一个近似值。

动态终止检测算法

该算法的局部观察部分与静态终止检测算法相似，但不同之处在于，它通过按进程统计发送和到达的消息数量来替代确认消息。

以下是该算法的具体实现：

when pi enters a receive statement do
(1) compute dep_se