对称多处理SMP中进程间通讯对操作系统的要求.pdfVIP

第!* 卷第+ 期 南昌大学学报·工科版 !+ 年%! 月 JG3F2HK GL MH2NOH2P D21Q8F=1（E2P1288F12P R A8NO2GKGP ） ) ) 文章编号：%* # +*（!+ ）+ # ’$ # + 对称多处理 ,-. 中进程间通讯对操作系统的要求 王弘 （北京大学计算机科学技术系，北京%’/%） ) ) 摘要：分析了支持对称多处理（,-. ）的01234 操作系统对共享内存机制、共享存储和消息传递两种并发程序设 计模型的实现，以两种代表机制5621 5782-. 和-.9:; 为对象，以及,=86? 9.: 下的共享存储空间实现，介绍并 分析了01234 对,-. 中进程间通讯的支持与实现，并从中推出了,-. 中进程间通讯对支持,-. 的操作系统的要 求，为理解和设计,-. 操作系统提供了实例和思路@ 关键词：对称多处理；进程间通讯；共享内存；操作系统 中图法分类号：A.B%*) ) ) ) 文献标识码：C !) 引言 从文本时代到多媒体时代，再到网络时代，属于 计算机的时代正不断向高速、高效和高精确性的方 向发展@ 用户再也不满意单一的任务运行，甚至单一 的处理器工作@ 因而陆续出现了多进程、多线程到多 机处理系统以适应这些要求@ 对称多处理技术 图%) ,-. 中处理器间的共享内存 （,-.［%］）以其对多处理器和多任务机制优秀的支 持得到越来越广泛的应用@ 享和隶属于唯一处理器的数据结构@ 全共享的主要 进程常需要与其他进程通讯，因而支持多进程 缺点在于任一处理器所产生的“动作”将影响其他 的体系结构必须包含进程间通讯的良好解决方案@ 处理器的运行@ 某些非共享数据结构（如D214 中记 在,-. 中如何在多处理器间实现进程间通讯，这样 录错误返回值的变量EFF2G ）被共享将导致处理器与 的进程间通讯对支持,-. 的操作系统有何具体要 进程相互干扰@ 而部分共享的问题在于难于确定到 求是值得深入探讨的问题@ 本文将从支持,-. 技术 底那些东西需要共享@ 在01234 中，通常有两种机制 的常见操作系统01234 出发，来分析和总结这一问 允许01234 的成组的进程保留独自的内存空间，而 题@ 共享相对较小的内存段。其中一种被称为 01234 ) 支持,-. 的共享内存机制 ,=86 ? 共享内存机制，它提供了“,=86 ? 9.: ” 的进程间通讯机制，在下文将有更详细的分析@ 另一 在,-. 的体系结构中，多个处理器共享一个内 种是被称作“66H7 （）系统调用”的内存映射机制， 存空间，多个进程在共享内存机制下独立运行并相 ［B ］ 其实现在不同的D214 I 01234 系统中区别很大 @ 互通信@ 共享内存机制堪称 ,-. 系统的精髓，,-. 进程间通过共享内存进行通信是支持 ,-. 的 中绝大多数机制都建立在这个基础上@ 而有意思的 操作系统很重要的9.:［+ ］方式@ 这种通信方式直接 是， ,-. 的显著优点（高速）和弱点（缺乏可测量性） 利用了系统的物理内存，因而在理论上它的通信速 都源于共享内存这一最突出的特性（见图% ）@ 度是最快的@ 共享内存的设计常见的分两种机制：全共享和