3.随机并行算法.pptVIP

credential: bring a computer die photo wafer : This can be an hidden slide. I just want to use this to do my own planning. I have rearranged Culler’s lecture slides slightly and add more slides. This covers everything he covers in his first lecture (and more) but may We will save the fun part, “ Levels of Organization,” at the end (so student can stay awake): I will show the internal stricture of the SS10/20. Notes to Patterson: You may want to edit the slides in your section or add extra slides to taylor your needs. credential: * 18.9 SAT问题的异步随机并行算法 18.9.3 随机算法RDP及其异步并行化 1. 随机算法RDP的描述 Procedure RDP(formula F) //modified from DPLL algorithm Begin (1)if F is an empty formula then return Yes; (2)if F contains an empty clause then return No; (3)if F contains a unit clause { l } then //unit propagation return RDP(F [ l / true ]); (4)if F contains a literal l but not the negation l then //pure literal return RDP(F [ l / true ]); (5)select an unassigned literal l //only different from DPLL and an Boolean value True or False at random; (6)if RDP(F [ l / True ])=Yes then return Yes; //Splitting else return RDP(F [ l / False ]); End. * 18.9 SAT问题的异步随机并行算法 18.9.3 随机算法RDP及其异步并行化 2.随机算法RDP的异步并行化 - 将k个随机算法RDP置于k个处理器中同时执行, 如果某个处理器求出 问题的解，则通知其他处理器终止整个算法的执行; -这种计算模式可以在单机上同时使用多个进程或重复使用单个进程来 真实地模拟. 3.异步随机并行算法的加速比定义 设随机算法A的k次异步并行执行时间的随机变量为 , 则随机算法A的 1次执行时间的随机变量为 , 定义异步并行加速比为 * 18.9 SAT问题的异步随机并行算法 18.9.4 异步并行效率的理论分析 1.分段线性分布模型 - 分段线性分布是一种单峰分布; - 可以模拟各种运行时间分布，对于线性分布和对数正态分布可以视为 分段线性分布的特殊情况; * 18.9 SAT问题的异步随机并行算法 18.9.4 异步并行效率的理论分析 2.加速比的理论推导 - 分段线性分布模型的概率密度函数 - 执行一次随机算法的运行时间期望 * 18.9 SAT问题的异步随机并行算法 18.9.4 异步并行效率的理论分析 2.加速比的理论推导 - 执行k次随机算法的运行时间期望: 下面关键求执行k次随机算法的概率密度函数f(k)(t): 一次执行算法RDP的运行时间不超过t 的概率为