第4讲进程管理之进程同步

《第4讲进程管理之进程同步》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、第四讲进程管理之进程同步一、为什么要引入进程同步？进程同步有什么作用？在引入了进程后，捉高了资源的利用率。但是由丁有限的资源也导致进程Z间的资源竞争和共享。现在我们來看在进程的并发执行过程中存在的制约。1、两种形式的制约关系A.间接制约一由丁共享某一公有资源而引起的在临界区内不允许并发进程交叉执行的现象。如两个进程都要使用打卬机，则只有一个进程能获得，另一个进程只有等待。只有当打印机被释放后，该进程才能执行。B.直接制约一简单说就是一组异步环境下的并发进程，各自的执行结果互为对方的执行条件，从而限制各进程的执行速度的过程。进稈同步的任务也就是其作用

2、是使并发执行的诸进程之间能右效共享资源和相互合作，从而使程序的执行有可再现性。也就是能使诸进程能够顺利执行下去。从这里我们可以看出，进程同步只有解决了进程间的间接制约和直接制约关系，才能使进程顺利协调执行。解决A的方法是：保证诸进程互斥访问临界资源。即进程互斥解决B的方法是：协调相互合作的诸进程的执行次序，狭义的同步。即进程同步那么现在明片了，进程同步包括，解决间接制约的进程互斥和解决直接制约的进程同步。二、进程同步的基本概念一）临界资源>概念：一段吋间内只允许一个进程访问的资源。也就是竟争的那个公有资源。>耍求：共享临界资源的诸进程必须互斥访问临

3、界资源。>举例：生产者一消费者问题生产者（）消费者（）••••••■放产品取产品Counter:=counter+1Counter:=Counter-1机器语言形式为：生产者消费者counter:=counter+l;counter:=counter-l;uu1registerl:=countei'；4register2:=couiiter;2registerl:=register1+1;5register2:=register2-l;3counter:=register1;6counter:=register2;现在我们来看结果，市于生产者和消费

4、者并发执行，并共享Counter,因此有：假设Counter的当前值是5,止确的结果应该是5。可能性CPU执行顺序123456456123124536451263counter的值（初值为5）正确正确〔1不正确

5、1不正确

6、

7、不正确

8、

9、这表明：程序的执行不具有可再现性。为了解决此错谋，应把变量Counter作为临界资源处理。也就是要牛产者进稈和消费者进程互斥的访问变量Counter.>结论：作为临界资源，牛产者进程和消费者进程应该互斥访问。也就是，虽然生产者进程和消费者进程并发执行，但在执行Counter加1,减1时，要顺序执行。也就是只能安上述A或

10、B的顺序执行。不能交替。>临界资源实例：硬件屮的打印机、磁带机。软件中的变量、队列、缓冲区等。二）临界区（criticalsection）1、概念：不允许多个并发进程交叉执行的一段程序就称为临界区，也就是每个进程中访问临界资源的那段代码。例如：生产者的Counter:=counter+1,消费者的Counter:=Counter-1都是CS2、临界区的进入：要互斥的进入临界区，就可实现对临界资源的互斥访问。要做到这点，必须在进入临界区Z前对欲访问的临界资源进行检查，若此刻临界资源未被访问，则该进程进入临界区，対该资源访问，并设置它正被访问的标志；否

11、则，该进程不能进入临界区。因此描述为如下:•进入区一增加在临界区前面的一段代码，用于检查欲访问的临界资源此刻是否被访问。•退出区一增加在临界区后而的一段代码，川于将临界资源的访问标志恢复为未被访问标T二丿z0•剩余区一进程中除了进入区、临界区及退出区Z外的其余代码。讲入区退出区要进入临界区的若干进程必须满足：同学们看一下。加深理解。（1）一次只允许一个进程进入临界区（2）任何时候，处于临界区的进程不得多于一个（3）进入临界区的进程耍在有限的时间内退出（4）如果不能进入自己的临界区，则应让出处理机资源3、同步机制准则：看课本说一下空闲让进当无进程处于

12、临界区内时，必须让一个要求进入临界区的进程立即进入，以有效地利用临界资源。忙则等待当已有进程处于临界区内时，其它试图进入临界区的进程必须等待，以保证它们互斥地进入临界区。有限等待对要求进入临界区的进程，应在有限时间内使之进入，以免陷入“死等”。让权等待对于等待进入临界区的进程而言，它必须立即釋放处理机，以免进程“忙等”三、信号量机制semaphore在解决临界区问题上，有些课本述提到了软件方法和硬件方法，有兴趣的同学口己下去看信号量和P、V原语概念都是由荷兰科学家Dijkstra提出来的。我们用信号量及PV操作來实现进程的同步利互斥。PV操作属于进

13、程的低级通信。一)信号量概念1、整型信号量■整型信号量一一非负整数，除了初始化外，只能通过两个原子操作wait和signa