并行计算负载平衡与终止检测.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * 从进程 Pi 的代码： recv(newdist, PANY); if (newdist dist) { dist = newdist; vertex_queue = TRUE; /* add to queue */ } else vertex_queue == FALSE; if (vertex_queue == TRUE) /*start searching around vertex*/ for (j = 1; j n; j++) /* get next edge */ if (w[j] != infinity) { d = dist + w[j]; send(d, Pj); /* send distance to proc j */ } 需考虑的具体问题： 进程收到消息后才有必要工作----使用同步消息传递； 相应的顶点被放到顶点队列中后，进程才应被激活，可能有许多进程处于未激活状态，将导致算法低效的执行； 每个顶点对应一个处理机不适应顶点数目较大的情况----每个处理机分配一组顶点。 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 当进程即将成为非活动状态时，则发送一个确认消息给其父亲进程。即当： 其局部终止条件满足（即所有的任务被完成） 它对已收到的任务都发送了确认消息 对发出的任务都收到了确认消息 一个进程必须在其父亲进程之前成为非活动状态；当第一个进程成为空闲时，计算就终止了。 进程 非活动的 活动的 父亲进程 第一个任务 最后的确认 发送任务 接收确认 用消息应答实现终止检测 单环终止算法 当P0 已经终止，它就发送一个标记(令牌token)给P1。 当 Pi (1 .. i n) 收到发来的标记，并且自己也已终止，则向Pi+1 传送一个标记；否则，就等待局部终止条件满足再向Pi+1传送标记。直到 Pn-1 将标记发给P0. 当 P0 收到一个标记时，它确信环上的所有进程已经终止。如果必要的话，它向所有的进程发送一个消息通知他们全局终止。 该算法假设进程满足局部终止条件后不会在被激活。它不适合于工作池的情况 — 即：一个进程可以将一个新任务传送给一个处于空闲的进程。 环形终止算法 P0 P1 P2 Pn 当满足本地终止条件时，将标记传给下一个进程 局部终止 AND Pj 环形终止算法 双环终止算法----可以处理进程再次被激活的情况，但需要对环进行两次扫描。 当进程Pi要将任务传给Pj，其中j i，且 Pj的结束标记已传出时，在这种情况下结束标记就必须在整个环上再循环传送一次。 为了区分在不同的情况下传送的结束标记，我们将标记着为白色和黑色。 进程收到黑色标记时意味着全局终止可能还没有出现，标记必须沿环重新传送。 双环终止算法 当P0 已经满足局部终止时，它变为白色，并向P1发送一个白色标记。 当环上的某个进程已终止时，标记就在环上从一个进程传向下一个进程，但标记的颜色可能会发生改变。 如果 Pi 向Pj 传送一个任务( j i) (即： 在环上Pj在Pi的前面)，Pi 就变为黑色进程；否则，它为白色进程。 黑色进程将会把要传送的标记变为黑色，并将其传给下一个进程。白色进程将接收到的标记（白色或黑色）往下传递。在 Pi 传出标记后，进程的颜色将变为白色。Pn-1 传递标记给 P0. 双环终止算法(续) 当 P0 收到一个黑色标记时，它将一个白色标记再次传递下去；如果它收到一个白色标记，则所有的进程已终止，即全局终止。 在上述两种终止算法中，P0 为全局终止条件的中心点。且假设每个请求将产生一个应答。 P0 Pj Pi Pn 任务 双环终止算法的执行 Pi Pi 固定能量分布式终止算法 计算开始时，所有的能量仅由一个进程（根进程）拥有； 随后，根进程在下发任务的同时将部分能量也分给相应的进程。 如果进程收到了请求的任务和能量，它可以继续将任务和它拥有的能量继续下发给其它进程。 如果进程处于空闲，则在请求新任务之前将自己的能量返回。 一个进程只有收回它分发出去的全部能量时才将自己的能量归还给其能量的进程。 当所有的能量返回到根进程且该进程处于空闲时，所有的进程必定也处于空闲，且全局计算可以终止。 三、负载平衡和终止检测实例-- 最短路径问题 问题的描述： 在给定的一个连通加权图中，找出任意给定两点 a，b 之间的最短路径。即，a 到 b 的路径经过