操作系统(第三版)+刘振鹏 第4章 进程同步与通信.pptVIP

操作系统(第三版) 第4章 进程 同步与通信 本章主要内容： 4-1 进程间的相互作用 4-2 进程通信 4-3 死锁 4-4 Linux进程间通信 4.1 进程间的相互作用 4-1-1 进程间的联系 －资源共享关系 －相互合作关系 临界资源 是一种多个进程访问的资源。其属性是：访问临界资源的进程必须互斥得访问它，也就是说，同一时刻只允许一个进程访问的资源叫临界资源 临界区 不论是硬件临界资源，还是软件临界资源，多个进程必须互斥地对它进行访问。我们把在每个进程中访问临界资源的那段代码称为临界区（critical section） 4.1 进程间的相互作用 同步机制应遵循的准则 空闲让进、忙则等待、有限等待、让权等待 4-1-2 利用软件方法解决进程互斥问题 算法1 设置一个公用整型变量turn，用于指示被允许进入临界区的进程的编号 算法描述如下： while (1) { … while (turn!=1) no-op; critical section turn=2; … } 4.1 进程间的相互作用 算法2 设置一个数组，使其中每个元素的初值为0，表示所有进程都未进入临界区，在每一个进程访问临界资源之前，先去查看一下临界资源是否正被访问。若正被访问，该进程需等待；否则进入自己的临界区 算法描述如下： int flag[2]={0,0}; … P1： while (1) { … while (flag[1]) no-op; flag[0]=1; critical section flag[0]=0; … } 4.1 进程间的相互作用 算法3 使要进入临界区的进程先设置其要求进入的标志，然后，再去查看其他进程的标志 算法描述如下： int flag[2]={0,0}; … P1： while (1) { … flag[0]=1; while (flag[1]) no-op; critical section flag[0]=0; … } 4.1 进程间的相互作用 算法4（正确算法） 为每个进程设置了相应的标志为flag[]；还设置了一个turn变量，用于指示允许进入临界区的进程编号 算法描述如下： int flag[2]={0,0}; … P1： while (1) { … flag[0]=1; turn=2； while (flag[1]turn==2) no-op; critical section flag[0]=0; … } 保证了“忙则等待”，又实现了“空闲让进” 4.1 进程间的相互作用 4-1-3 利用硬件方法解决进程互斥问题 利用Test-and-Set指令实现互斥 Test-and-Set指令为： int TS(static int lock) { int TS=lock; lock=1; return(TS); } 用TS指令实现进程互斥的循环描述为： while (1) { … while (TS(lock)) do no-op; critical section lock=0; … } 4.1 进程间的相互作用 利用Swap指令实现进程互斥 Swap指令称为交换指令,描述为： void Swap(static int a,b) { int temp; temp=a; a=b; b=temp; } 利用Swap指令实现进程互斥的循环可描述为： while (1) { … key=1; do{ Swap(lock,key); }while(key); critical section lock=0; … } 4.1 进程间的相互作用 4-4-4 信号量机制 信号量机制是一种卓有成效的进程同步工具 记录型信号量机制 在信号量机制中，除了需要一个用于代表资源数目的整型变量value外，还有一个进程链表L，用于链接所有等待该信号量代表资源的进程 记录型数据结构描述 typedef struct { int