操作系统概念（第六版）7进程同步.pdfVIP

操作系统概念（第六版） 第七章 进程同步 更新日期：2004-11-30 协作进程（cooperating process ）不但影响系统中其它的进程，也受它们影响。协作进程之间可以直接 共享一个逻辑地址空间（确切的说是代码和数据），也可以通过文件实现数据共享。前者通过轻量级进程 或线程实现，我们在第5 节讨论。对共享数据的并发访问可能会导致数据的不一致。在本章，我们要讨论 各种确保共享逻辑地址空间的协作进程有序执行的机制，以此来维护数据的一致性。 7.1 背景知识 我们在第四章中讨论了由许多协作顺序进程 （cooperating sequential process ）组成的系统的模型，这些 进程异步执行，并可能会共享数据。我们利用有限缓冲区来阐明这种模型，它代表操作系统。 让我们重新看一下4.4 节在有限长度缓冲区问题中所描述的共享存储器方案。正如我们所指出的，在 这个解决方案中最多允许同时有BUFFER_SIZE – 1 个条目在缓冲区中。让我们修改这个算法以矫正这个缺 陷。可以添加一个整形变量counter ，初始化为0。每向缓冲区中添加一个新条目counter 就加 1，每移除一 个就减 1。生产者进程代码修改如下： while ( 1) { /* produce an item in nextProduced */ while (counter = = BUFFER_SIZE) ; /* do nothing */ buffer[in] = nextProduced; in = (in + 1) % BUFFER_SIZE; counter++; } 消费者进程代码修改如下： while (1) { while (counter = = 0) ; /* do nothing */ nextConsumed = buffer[out]; out = (out + 1) % BUFFER_SIZE; counter--; /* consume the item in nextConsumed */ } 虽然生产者和消费者程序可以独立正确执行，但是当他们并发执行时就有可能出问题。假设当前 counter 的值为5，生产者和消费者进程同时执行“counter++ ”和“counter-- ”。那么在这两个语句执行之后， 变量counter 的值可能是4、5 或6 ！唯一正确的结果是counter = = 5，如果生产者和消费者独立执行可以正 确的产生这个结果。 我们可以说明为什么 counter 的值可能出错。以机器语言实现语句“counter++ ”可能如下（在一个典 型的机器上）： register = counter 1 register = register + 1 1