"消息传递编程：异步并行性与显式交互"

第三章《消息传递编程优秀文档.ppt》主要讲述了消息传递编程的基础知识和特征。消息传递编程是一种并行计算模型，它通过多个进程之间的消息传递来实现并行处理。这一章节首先介绍了消息传递模型的特征，包括多线程化、异步并行性、分离的地址空间、显式交互和显式分配。然后讨论了消息传递编程的编程工具的选择，包括专用并行编程语言、对现有语言扩展语法来处理消息传递、专门的并行编译器以及使用现有语言配备消息传递外部过程库。 消息传递编程的特征包括多线程化，这意味着由多个进程组成，每个进程有自己的控制线程，可执行不同代码，支持控制并行和数据并行。此外，消息传递模型还具有异步并行性，各进程异步执行，使用专用操作如路障、锁定通信等专用操作对进程加以同步。另外，消息传递模型还具有分离的地址空间，各进程留驻在不同的地址空间，一个进程中的数据对另一个进程是不可见的，进程间通过执行专用的消息传递操作实现交互。消息传递模型还要求显式交互，即程序员负责解决所有的交互问题，包括数据映射、通信、同步和聚集。最后，消息传递模型还要求显式分配，即工作负载和数据均需用户用显式方法分配给进程。 在选择消息传递编程的编程工具时，可以选择专用并行编程语言，例如occam语言。也可以选择对现有语言扩展语法来处理消息传递，例如CC语言、Fortran M语言。此外，也可以选择专门的并行编译器，但需注意的是一般不适用于消息传递机制。最后一种选择是使用现有语言，配备消息传递外部过程库，例如PVM、MPI。无论选择何种编程工具，都必须提供至少两类基本方法：一是创建分离进程以使它们能在不同的计算机上运行的方法；二是发消息以实现进程间的通信。这些都是消息传递编程的基础，也是编写优秀文档的关键。 总的来说，第三章《消息传递编程优秀文档.ppt》详细介绍了消息传递编程的基础知识和特征，包括特征和编程工具的选择。通过学习这一章节，可以更深入地了解并行计算模型，掌握消息传递编程的基本原理和方法。这对于进行并行计算和编写优秀的消息传递编程文档都具有重要的指导意义。