《并行计算的编程模型》一1.1 引言

第1章

Programming Models for Parallel Computing
消息传递接口
William D. Gropp,伊利诺伊大学厄巴纳–香槟分校
Rajeev Thakur,阿贡国家实验室

1.1 引言

在使用分布式内存编程模型的并行程序中,MPI是一个标准和可移植的通信接口。MPI既为并行通信提供丰富的函数接口,也为并行文件I/O访问等提供函数接口。同时,MPI也支持多程序多数据(MPMD)编程模型。MPI是一种基于库的系统,而非编译器或者编程语言。MPI库函数通过C和Fortran语言实现。MPI指由函数名、参数、语义构成的专门的函数接口,而非特定的函数实现。MPI论坛负责定义和制定MPI,该论坛由大量来自工业、学术、研究实验室等机构的专家和用户组成。目前,高性能MPI库已在各种计算平台(例如笔记本、台式机、服务器、集群、商业化的高性能计算机)和操作系统上得到应用,从而更加方便地在各种计算平台上实现高性能和可移植的并行程序。因此,在并行科学应用领域,MPI成为应用最广泛的编程接口。
MPI背景
1992年,人们开始尝试为消息传递定义一种独立和标准化的接口。当时,许多应用程序编程接口是不同且无法移植的,例如计算机厂商提供的编程接口(Intel NX [232]、IBM EUI [119]、Thinking Machines CMMD [272]、nCUBE [207])和其他研究库(PVM [121]、p4 [51]、Chameleon [130]、Zipcode [254])。采用上述编程接口开发的应用程序无法在不同的机器上运行或者高效运行。如果一家计算机厂家倒闭,基于该厂家提供的编程接口开发的应用程序将无法运行。应用程序编程接口的多样性阻碍了应用程序开发。因此,需要人们为应用程序开发定义一种独立和标准化的接口。
1994年,MPI发布了第一个版本(MPI-1)。它包含基本的消息传递特性,例如点对点通信、聚合通信、数据类型和非阻塞式通信。1997年,MPI论坛发布了MPI的第二个主要版本(MPI-2)。MPI-2对MPI-1进行了扩展,增加了单边通信、并行I/O和动态进程等特性。2012年,发布了MPI的第三个主要版本(MPI-3)。MPI-3包含非阻塞聚合通信、相邻聚合通信等新特性,并对单边通信接口进行了大量扩展。在本章中,我们将介绍这些新的特性。

时间: 2024-10-29 02:52:18

《并行计算的编程模型》一1.1 引言的相关文章

《并行计算的编程模型》一3.1 引言

第3章 Programming Models for Parallel ComputingOpenSHMEMJeffery A. Kuehn,橡树岭国家实验室Stephen W. Poole,橡树岭国家实验室 3.1 引言 OpenSHMEM [74,138,223]是SHMEM API [88,87]的当代派生物,SHMEM API是克雷研究公司(Cray Research)于1993年为有效编程克雷T3D计算机系统而开发的[85],1996年当克雷研究公司被SGI [251]收购时被转让给了

《并行计算的编程模型》一导读

前 言 对于正在编程的程序员,编程模型可被看作一台虚拟机,并可通过编程语言和函数库实现.如果某个编程模型成为计算机科学研究中的热点,需要具有以下特性:高效性(易于描述各种抽象算法).移植性(兼容各种硬件计算平台).高性能(高效均衡地利用硬件平台的计算能力).通用性(广泛地描述各种算法).针对特定的编程模型,同时具有上述四种特性中的一种或两种相对容易,但同时具备这四种特性几乎是不可能的.特定的编程模型无法同时具备四种特性的主要原因在于编程模型的多样性,因此需要根据具体的科学应用,选择不同的编程模型

浅析云计算分布式并行计算:编程模型

MapReduce 是由Google公司开发的一个针对大规模群组中的海量数据处理的分布式编程模型.它实现了两个功能:Map把一个函数应用于集合中的所有成员,然后返回一个基于这个处理的结果集.而Reduce是把从两个或更多个Map中,通过多个线程,进程或者独立系统并行执行处理的结果集进行分类和归纳.Map() 和 Reduce() 两个函数可能会并行运行,即使不是在同一的系统的同一时刻. 微软于2010年12月21日发布了分布式并行计算基础平台--Dryad测试版,成为谷歌MapReduce分布式

《并行计算的编程模型》一1.7 单边通信

1.7 单边通信 在点对点通信和聚合通信方式中,发送进程和接收进程共同参与通信过程.MPI提供另外一种通信方式,即单边通信方式.在单边通信方式中,单个进程便可指定发送和接收的数据.单边通信主要用于ARMCI/GA(见第5章).UPC(见第4章)和OpenSHMEM(见第3章)等函数库中,单边通信也可称之为远程内存访问(RMA). 单边通信模型主要分为三部分.第一部分是创建MPI_Win窗口对象,用于可被其他进程访问的内存区域.第二部分是进程间数据移动方式,包含从远程进程上读.写.更新等数据移动方

《并行计算的编程模型》一3.3 OpenSHMEM存储模型

3.3 OpenSHMEM存储模型 OpenSHMEM是单程序.多数据(single program multiple data,SPMD)编程模型,特点是强调单边通信以及数据移动与同步解藕,是提供高性能.高可扩展性通信和同步程序的库.OpenSHMEM程序由松散同步的进程组成,这些进程也叫作处理单元(Processing Element,PE).所有PE同时开始并执行相同的程序,通常在各自集合问题的子域上执行操作,并周期性地与其他PE通信. OpenSHMEM内存模型是PGAS,类似于其他PG

《并行计算的编程模型》一3.2 设计理念和根据

3.2 设计理念和根据 SHMEM和OpenSHMEM的构思和发展都假设它们和底层硬件系统体系结构有密不可分的关系.由克雷研究公司开发和出售的克雷T3D和T3E计算机系统在其网络架构中包含几个高级的硬件加速特征,是与SHMEM合作设计的,用以最大化可用的带宽及最小化系统的3D Torus网络延迟[85].克雷公司,即原来克雷研究公司的现代同名,在其最新的Gemini网络架构[86,90]中也延续了相同的设计理念.当1996年SGI收购了克雷研究公司,也同时获得了SHMEM的知识产权,SGI设计了

《并行计算的编程模型》一3.5.1 RMA函数语义

3.5.1 RMA函数语义 OpenSHMEM编程模型为提高可扩展性将数据传输和同步解藕,解藕的语义比较容易理解.调用RMA函数(put或get)的PE被称为传输的"主动端",另一个PE(很可能不知道该传输)被称为"被动端".OpenSHMEM仅有的隐式一致性确保put和get操作在主动端发生,被动端如果需要的话也可以通过给程序增加同步来执行一致性.主动端完成准则:当单个RMA调用(put或get)在主动端返回时,程序可以认为主动端的内存状态与该操作的完成一致.被动

《并行计算的编程模型》一3.9 未来方向

3.9 未来方向 在本书写作之时,从2010年开始,在对OpenSHMEM的大量需求驱动下,与OpenSHMEM相关的许多开发正在进行中.如3.2节所述,一些厂商已发布了加速硬件和固件来支持网络原语,在超大规模系统和商用系统中极大简化了OpenSHMEM的实现并提高了性能和鲁棒性.这包括对OpenSHMEM集合和原子内存操作的硬件支持.对小消息性能提高的硬件支持.以及对大规模系统互连自适应路由和阻塞管理的硬件支持.OpenSHMEM论坛和邮件列表建议采用来自Quadrics实现的扩展,包括非常有

《并行计算的编程模型》一3.6.1 全局同步屏障

3.6.1 全局同步屏障 全局同步屏障是大部分并行编程模型都有的同步机制,概念很清晰推理也简单,虽然对可扩展性的影响还有待改进.当所有PE调用屏障函数时,它能确保直到所有参与的PE都到达时函数调用才能返回.因此,当可能出现竞争时,经常添加屏障以协助调试.除了全局屏障shmem_barrier_all(),OpenSHMEM也提供了集合屏障shmem_barrier(),可以操作在PE的子集,这将在3.7节进行讨论,因为子集选择机制在这一节比较常见.