《并行计算的编程模型》一1.2 MPI基础

1.2 MPI基础

MPI的核心是进程间通信,遵循进程间顺序通信模型(CSP)。每个进程在自己的地址空间内运行程序。声明的变量(例如int b[10];)是每个进程的私有变量,变量b在不同的进程中是相互独立的。在MPI中,存在两种主要的通信方式:一是点对点通信,即两个进程间通信;二是聚合通信,即一组进程间通信。
每个MPI进程在每组进程中拥有1个进程号。进程号从0开始,例如4个进程在一组,进程号分别是0、1、2、3。所有的MPI通信都在通信域中进行。通信域包含一组进程和一个(隐藏的)通信文本。通信文本的作用在于保证消息和库的一致性,也是保证MPI应用程序能够使用第三方库的关键。通信域对象是一个隐藏类型,可称之为句柄。在C语言中,通信域句柄是MPI_Comm类型;在Fortran语言中,通信域句柄是TYPE(MPI_Comm)类型(针对Fortran 2008语言)或者INTEGER类型(针对早期的Fortran语言)。在MPI程序中,存在MPI_COMM_WORLD和MPI_COMM_SELF两个预定义的通信域。MPI_COMM_WORLD包含所有MPI进程,MPI_COMM_SELF仅包含运行一个实例程序的进程。MPI提供各种通信域函数,例如MPI_Comm_rank函数用于获取进程号,MPI_Comm_size函数用于获取通信域中的进程数量,以及用于创建新的通信域的函数。
一个简单完整的MPI程序示例如图1-1所示。在图1-1中,MPI_Init函数用于初始化MPI程序,MPI_Finalize函数用于结束MPI程序。除了极个别函数,大多数MPI函数需要在MPI_Init(或者MPI_Init_thread)函数之后和MPI_Finalize函数之前进行调用。在并行程序中,若MPI_Init函数参数无法从main函数中获取命令行参数,则需要通过MPI进行指定。

MPI进程间执行是相互独立的。在图1-1例子中,printf语句按照随机顺序执行,甚至无法保证一次输出一行。
图1-1的例子采用C语言编写,但MPI设计为不专门针对特定的语言。目前,MPI支持C语言(C++程序可调用C语言的接口)和Fortran语言。

时间: 2024-10-10 14:05:34

《并行计算的编程模型》一1.2 MPI基础的相关文章

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

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

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

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

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

第1章 Programming Models for Parallel Computing 消息传递接口 William D. Gropp,伊利诺伊大学厄巴纳–香槟分校 Rajeev Thakur,阿贡国家实验室 1.1 引言 在使用分布式内存编程模型的并行程序中,MPI是一个标准和可移植的通信接口.MPI既为并行通信提供丰富的函数接口,也为并行文件I/O访问等提供函数接口.同时,MPI也支持多程序多数据(MPMD)编程模型.MPI是一种基于库的系统,而非编译器或者编程语言.MPI库函数通过C和

《并行计算的编程模型》一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设计了

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

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

《并行计算的编程模型》一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.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]收购时被转让给了