第3章 进程的步与通信.pptxVIP

内容 进程同步的基本概念 信号量机制 经典进程同步问题;目的及要求 理解临界资源和临界区的概念，初步领会进程同步机制应遵循的准则； 理解和掌握整型信号量和记录型信号量机制； 熟练掌握利用信号量机制解决经典进程同步问题；;重点 临界资源和临界区的概念； 记录型信号量机制； 利用信号量机制解决经典进程同步问题； 难点 利用软件方法解决进程互斥问题； 利用信号量机制解决经典进程同步问题；;资源共享关系 （Cooperation Among Processes by Sharing） 多进程共享资源，例如各进程争用一台打印机，这时各进程使用这台 打印机时有一定的限制。每次只允许一个进程使用一段时间打印机，等该 进程使用完毕后再将打印机分配给其它进程。这种使用原则称为互斥使用。 相互合作关系 （Cooperation Among Processes by Communication） 在某些进程之间还存在合作关系，例如一个程序的输入、计算、打印三 个程序段作为三个进程并发执行，由于这三个进程间存在着相互合作的关系 ，即先输入再计算、最后再打印的关系，所以这三个进程在并发执行时推进 序列受到限制，要保证其合作关系正确，进程间这种关系称为同步关系;3.1.1 临界资源 3.1.2 临界区 3.1.3 利用软件方法解决进程互斥问题 3.1.4 利用硬件方法解决进程互斥问题 ; 象打印机这类资源一次只允许一个进程使用的资源称为 临界资源。属于临界资源有硬件打印机、磁带机等，软件在消 息缓冲队列、变量、数组、缓冲区等。当然还有一类象磁盘等 资源，它允许进程间共享，即可交替使用，所以它称为共享资 源，而临界资源又称独享资源。 进程在并发执行时为了保证结果的可再现性，各进程执行 序列必须加以限制以保证互斥地使用临界资源，相互合作完成 任务。;3.1.2　临界区(critical sections);同步机制应遵循的准则 用于保证多个进程在执行次序上的协调关系的相应机制称 为进程同步机制。 空闲让进 当无进程进入临界区时，相应的临界资源处于空闲状 态，因而允许一个请求进入临界区的进程立即进入自己的 临界区。 忙则等待 当已有进程进入自己的临界区时，即相应的临界资源 正被访问，因而其它试图进入临界区的进程必须等待，以 保证进程互斥地访问临界资源。;有限等待 对要求访问临界资源的进程，应保证进程能在有限时 间进入临界区，以免陷入“饥饿”状态。 让权等待 当进程不能进入自己的临界区时，应立即释放处理机 ，以免进程陷入忙等。;3.1.3　利用软件方法解决进程互斥问题;3.1.3　利用软件方法解决进程互斥问题;3.1.3　利用软件方法解决进程互斥问题;3.1.3　利用软件方法解决进程互斥问题;3.1.3　利用软件方法解决进程互斥问题;3.1.3　利用软件方法解决进程互斥问题;3.1.3　利用软件方法解决进程互斥问题;3.1.3　利用软件方法解决进程互斥问题;3.1.3　利用软件方法解决进程互斥问题;3.1.4　利用硬件方法解决进程互斥问题;3.1.4　利用硬件方法解决进程互斥问题;3.1.4　利用硬件方法解决进程互斥问题;3.1.4　利用硬件方法解决进程互斥问题;3.1.4　利用硬件方法解决进程互斥问题; 1965年，荷兰学者Dijkstra提出的信号量机制是 一种卓有成效的进程同步工具。在长期且广泛的应 用中，信号量机制又得到了很大的发展，它从整型 信号量经记录型信号量，进而发展为“信号量集” 机制。现在信号量机制已被广泛地应用于单处理机 和多处理机系统，以及计算机网络中。 3.2.1 整型信号量机制 3.2.2 记录型信号量机制 3.2.3 信号量集机制;整型信号量 最初信号量S是一个整型变量，除初始化外，对信号量仅 能执行两个原子操作，即wait(s)和signal(s),这两个原子操 作以前多称为P（s）和V(s)操作。 wait(s) { s:=s-1; if s0 then Block(s) } signal(s) { s:=s+1; if s=0 then Wakeup(s); };利用信号量实现互斥 进程P1 进程P2 ┊ ┊ wait（s）； wait（s）； critical section critical section signal（s）； signal（s）； remainder section remainder section ┊ ┊ 信号量s的初值为1，每个进程在