UNIX操作系统进程通信.pptVIP

第二节 进程通信 进程之间的通信方式有三种： 共享存储器： 即多个进程拥有对同一块内存的访问权限，通过读写相 同的变量达到通信的目的。 消息传递系统： 即进程之间通过寄信的方式向对方传递消息。 PIPE： 借助于临时文件进行通信。 进程通信的目的： 传送信号，以协调合作进程之间的动作。 传送信息 计算机每条指令执行完毕后均可能发生进程切换 多个进程不加控制地同时访问一批共享变量… 假设某游乐场有一个入口和一个出口，管理人员需要随时了解当前游乐场中有多少游客，进程IN和进程OUT分别承担在入口处和出口处统计游客数的任务。当前游客数存放在两个进程都能存取的共享变量counter中（counter可能位于共享内存段或共享文件中，共享的位置不会影响进程通信的本质和所带来的问题）。两个进程的代码描述如下： 当一个游客进入，同时另一个游客出来时；IN和OUT会同时运行。 令count 的初值为1000，考虑以下三种情况： In运行完毕后OUT运行 IN1 IN2 OUT1 OUT2 IN3 OUT3 OUT1 OUT2 IN1 IN2 OUT3 IN3 问题的关键是：在一个进程(IN)修改共享变量count的整个时间段，系统应该禁止对count 的任何访问请求；否则,OUT读出的可能是修改前的值，也可能是修改后的值。Count的值和系统工作不正常。 竞争条件，临界资源，临界区 竞争情况（race condition),又称与时间有关的错误。当两个或多个进程正在同时读写共享变量，变量的最后结果依赖于各进程运行的时序时，称此时出现了竞争情况。 包含竞争情况的程序是错误的，但此种错误非常难以调试。 临界资源：一次仅允许一个进程使用的资源 软件方面：count等共享变量，表格，队列，文件中的记录… 硬件方面：打印机…设备 临界区：进程中访问临界资源的程序段。 IN进程中的1，2，3语句为其针对count 的临界区 OUT进程中的1，2，3语句… 临界区与临界资源有关，针对同一批临界资源的临界区为相关临界区。 进程之间的第一种关系——互斥 同时使用一个临界资源的多个进程应互斥。即：保证：在任何时刻最多只有一个进程运行于临界区。 用于互斥的程序段： entry section ; 检查临界资源空闲？Y则设置忙标 志，否则等待或稍后再试 critical section; exit section; 临界资源置不忙标志，将使用权 让于他人 同步机制应遵循的原则 空闲让进 忙则等待 有限等待 让权等待 软件的解决方案——算法1（简单锁变量） 解决临界资源互斥的最简单的想法是：为每个临界资源设置一个锁变量，每把锁只有打开和关闭两种状态。进程试图进入临界区前先检测锁的状态：若锁为关闭状态，则进程等待；若锁为打开状态，则关锁后进程执行临界区代码，在退出临界区后及时将锁打开。以下的代码反映了使用软件锁变量的流程（其中lock=0表示锁开着；lock=1表示锁关闭）。 while ( lock == 1) ; // 忙等待 lock = 1; // 关锁 临界区 lock = 0; // 开锁 算法的错误及错误的根源 有可能多个进程同时进入临界区。错误的根源：当lock==0时，while中的判断和lock=1应同时完成。 Lock也是临界资源。引入另一个临界资源来解决临界资源的互斥问题是不可能的。 解决问题的关键： lock变量的检查(while)和置1(lock=1)应同时完成。 硬件的解决方案 注：lock是多个进程共享的锁变量 关中断 again: cli: (if lock!=0) { sti ; goto again; } lock=1; sti; critical section; lock=0; … XSWAP指令 Local status=1; //lock是全局锁变量 Again: Xswap