并行仿真原理——死锁的检测与恢复

基本思想：

（1）初始化，除了控制器之外，所有进程都阻塞

（2）控制器向一个或多个进程发送消息以打破死锁

（3）计算随着进程发送消息而扩展构建一个进程树，随着计算的扩展而扩展，随着进程空闲而收缩

        LP树中的进程被称为已参与(engaged)

        不在LP树中的进程被称为未参与(disengaged)

（4）当一个未占用的进程接收到消息时，它将被占用(添加到树中)当参与进程是叶节点并且处于空闲状态(阻塞)时，它将脱离(从树中移除)。

（5）如果树只包含控制器，则进程死锁

（6）如果LP被阻塞，而且该LP是树中的叶节点，那么LP会发信号给它的父节点，通知它自己已经不在树中了，当一个LP所有的子节点都已通知自己从树中移除时，这个LP就变成了叶节点

（7）C被定义为从邻居接收到的没有返回信号的消息数目；D被定义为发送给其他处理器并且有返回信号的消息数目。树的内部节点是不会发送任何信号的。

        发送消息时，发送方DD+1，接收方CC+1；收到信号时，发送方CC-1，接收方DD-1。C大于零，则LP被注册，C,D=0则LP未被注册，C大于零且D等于0，则LP被注册且为叶节点。