第2章进程管理(part3).pptVIP

Heb Nomal University Department of Computer Science * 第二章 进程管理 2.1 进程的基本概念 2.2 进程控制 2.3 进程同步 2.4 经典进程的同步问题 2.5 管程机制 2.6 进程通信 2.7 线程 * 2.3 进 程 同 步 2.3.1 进程同步的基本概念 1. 两种形式的制约关系 间接相互制约关系。 (2) 直接相互制约关系。 * 2. 临界资源(Critical Resouce) 生产者-消费者(producer-consumer)问题是一个著名的进程同步问题。它描述的是：有一群生产者进程在生产产品，并将这些产品提供给消费者进程去消费。 为使生产者进程与消费者进程能并发执行，在两者之间设置了一个具有n个缓冲区的缓冲池，生产者进程将它所生产的产品放入一个缓冲区中； 消费者进程可从一个缓冲区中取走产品去消费。尽管所有的生产者进程和消费者进程都是以异步方式运行的，但它们之间必须保持同步，即不允许消费者进程到一个空缓冲区去取产品；也不允许生产者进程向一个已装满产品且尚未被取走的缓冲区中投放产品。 * Var n, integer; type item=…; var buffer:array［0, 1, …, n-1］ of item; in, out: 0, 1, …, n-1; counter: 0, 1, …, n; 指针in和out初始化为1。 我们可利用一个数组来表示上述的具有n个(0，1，…，n-1)缓冲区的缓冲池。 用输入指针in来指示下一个可投放产品的缓冲区，每当生产者进程生产并投放一个产品后，输入指针加1；用一个输出指针out来指示下一个可从中获取产品的缓冲区，每当消费者进程取走一个产品后，输出指针加1。 由于这里的缓冲池是组织成循环缓冲的，故应把输入指针加1表示成 in∶=(in+1)mod n；输出指针加1表示成out∶=(out+1) mod n。当(in+1) mod n=out时表示缓冲池满；而in=out则表示缓冲池空。 此外，还引入了一个整型变量counter, 其初始值为0。每当生产者进程向缓冲池中投放一个产品后，使counter加1；反之，每当消费者进程从中取走一个产品时， 使counter减1。生产者和消费者两进程共享下面的变量： * producer: repeat … produce an item in nextp; … while counter=n do no-op; buffer［in］∶ =nextp; in ∶=in+1 mod n; counter∶ =counter+1; until false; consumer: repeat while counter=0 do no-op; nextc ∶ =buffer［out］; out ∶ =(out+1) mod n; counter ∶ =counter-1; consumer the item in nextc; until false; 指针in和out初始化为1。 在生产者和消费者进程的描述中，no-op是一条空操作指令，while condition do no-op语句表示重复的测试条件(condication)，重复测试应进行到该条件变为false(假)，即到该条件不成立时为止 在生产者进程中使用一局部变量nextp，用于暂时存放每次刚生产出来的产品；而在消费者进程中，则使用一个局部变量nextc,用于存放每次要消费的产品 * 虽然上面的生产者程序和消费者程序，在分别看时都是正确的，而且两者在顺序执行时其结果也会是正确的，但若并发执行时，就会出现差错，问题就在于这两个进程共享变量counter。生产者对它做加1操作，消费者对它做减1操作，这两个操作在用机器语言实现时， 常可用下面的形式描述： register 1∶ =counter; register1 ∶ =register 1+1; counter∶ =register 1; register 2∶ =counter; register 2∶ =register 2-1; counter∶ =register 2; Memory 5 counter→ register 1 register 2 5