并行算法的抽象模型的.pptVIP

APRAM模型 优缺点 易编程和分析算法的复杂度，但与现实相差较远，其上并行算法非常有限，也不适合MIMD-DM模型 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. BSP模型 BSP-Bulk Synchronization Parallel 1. BSP模型的提出： 哈佛大学的Leslie Valiant提出： 块同步并行(BSP)，用以克服PRAM模型的缺点，但保留其简单性。 一个BSP计算机由n个结点(处理器和存储器对)所组成。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. BSP模型 基本概念 由Valiant(1990)提出的，“块”同步模型，是一种异步MIMD-DM模型，支持消息传递系统，块内异步并行，块间显式同步。 模型参数 p：处理器数(带有存储器) l：同步障时间(Barrier synchronization time) g：带宽因子(time steps/packet)=1/bandwidth 选路器吞吐率 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 特点： 一个BSP程序有n个进程，每个驻留在一个结点上。基本时间单位是周期(或时间步)。 程序按严格的超步序列执行。 同步路障迫使进程等待 BSP计算机是MIMD系统 BSP模型是超步级的松同步 在一个超步中，不同进程以不同速率异步执行。 BSP模型交互机制是共享变量或是消息传递 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. BSP模型 计算过程 由若干超级步组成， 每个超级步计算模式为左图 优缺点 强调了计算和通讯的分离， 提供了一个编程环境，易于 程序复杂性分析。但需要显 式同步机制，限制至多h条 消息的传递等。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 一个超步执行时间的确定 计算时间w 处理器中完成计算操作所需的最大周期数。 同步开销为L。 通信开销为gh周期 g是实现h关系的比例系数，常数。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 结论： 执行一个超步的时间为w+gh+L Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 关于BSP模型的实际优点和评论： 比起PRAM模型来，BSP模型更为现实 除了用于进程管理的并行性开销外，它考虑了所有其他开销。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. logP模型 基本概念 由Culler(1993)年提出的，是一种分布存储的、点到点通讯的多处理机模型，其中通讯由一组参数描述，实行隐式同步。 模型参数 L：network latency o：communication overhead g：gap=1/bandwidth P：#processors 注：L和g反映了通讯网络的容量 Evaluation only. Created with As