第三讲进程通信与控制.pptVIP

第三讲 进程同步与通信 目的与要求：了解并发程序的高级语言表示与操作系统支持下的实现；同步与互斥问题。 重点与难点：并发程序中的同步与互斥 ★并发与并行的区别 并发是指多个任务在单处理机下分时运行，从宏观上看它们同时都在向前推进，但从微观上来看，它们正在分时地轮流使用处理机。 并行是指多个任务在多个处理机上正在同时运行，从微观上看这些任务分别是在各自的物理处理机上分别运行。 3.1 并发原理1、并发带来的问题 一个简单的例子（ECHO（回显）是一个共享程序） Void echo( ) {char out,in; cinin; Out=in; coutout; } 现有两个进程P1、P2执行该过程（程序） 考虑以下执行过程： （1）P1调用echo，在得到输入数据后被中断（假设输入的字符是‘X’，保存在变量in中）。 （2）进程P2调用echo，它执行输入‘y’并在显示器上输出字符y. （3）进程P1再次执行，这时x由于被覆盖而丢失，in中保存的是y，y将传给out输出。 此时出错，P1应该输出的是x. 出错的原因是什么？ ——操作系统或程序必须施加保护共享全局变量和其他共享的全局资源的机制，以保证程序运行的正确。 施加何种机制或原则以避免出现上述错误呢？ 一次只能有一个进程进入到echo，并且一旦进入echo，其他进程就不能访问echo，直到该过程完成为此。 Echo()程序在执行时不能被中断。即原子操作或称原语。 又一个简单例子(与时间有关的错误) 假定一个飞机订票系统有两个终端,同时运行以下程序段,产生两个进程T1和T2.(其中Aj为余票额) 考虑以下的执行次序:(a)和(b) 由以上的例子说明什么？ 要想实现多道程序并发执行，必须设法对共享变量（资源）加入一定的管理机制和一定的保护措施，保证共享资源的协调使用，以避免出现与时间有关的错误，以保持并发程序的可再现性。 思考：对共享变量（资源）如何加上这种规则（机制）呢？——这是现代操作系统必须解决的核心问题！ 同步机制：信号传递？ 互斥机制：加锁？ 3.2 进程的互斥与同步 ★同步关系（亦称直接制约关系）: 指完成同一任务的伙伴进程间，因需要在某些位置上协调它们的工作而相互等待、相互交换信息所产生的制约关系。 如：⑴接力跑比赛中，运动员之间要配合默契。一棒一棒接着跑。 例⑵ ：在计算机系统中对同一缓冲区的数据的输入与输出操作。缓冲区满才能输出，缓冲区空才能输入。 ★互斥关系（亦称间接制约关系）: 即进程间因相互竞争使用独占型资源（互斥资源）所产生的制约关系。 例（1）：上例中ECHO程序中的变量OUT和IN， 例（2）：飞机订票系统中的余票额Aj必须互斥使用。 例（3）：多个用户进程同用一台打印机时。 既同步又要互斥的例子： 1、客车上的司机和售票员各司其职为完成同一个运送乘客的任务相互配合。 互斥：司机开车时售票员不要开门，售票员开门时司机不要开车； 同步：司机停车时售票员才能开门，售票员关门时司机才能开车）。 互斥与同步的例子： 2、有限缓冲区问题。互斥：存时不要取，取时不要存。同步：有数据才能取，有空区才能存。 互斥与同步的例子： 3、读者与写者问题。（Readers/Writers问题） 4、哲学家就餐问题。（就餐和思考需同步与互斥） 二、临界资源须互斥使用 例1打印机： P1,P2两进程使用同一打印机。如果不互斥使用会交叉输出。 例2共享变量：共享变量是临界资源。 3、哲学家就餐问题 问题描述：五个哲学家五只筷子，哲学家循环做着思考和吃饭的动作，吃饭程序是：先取左边筷子，再取右边筷子，再吃饭，再放筷子。 实现：用一个信号量表示一根筷子，五个信号量构成信号量数组Chopstick[4]，所有信号量初值为1。第i个哲学家的进餐过程描述为： while (true){ 思考问题 P（chopstick[i]）; P(chopstick[(i+1)mod 5])； 进餐 V(chopstick[i]); V(Chopstick[(i+1)mod 5]； } (这可能导致死锁) 3.4 管程机制 一、 管程的引入 (一)引入原因 1、信号量机制是一种既方便又有效的进程同步机制，但每个要访问临界资源的进程都必须自备同步操作P(s)和V(s)。这就使大量的同步操作分散在各个进程。 2、同步操作的使用不当而导致系统死锁。使用同步操作P(s)和V(s)时发生了某种错误，同样会造成与时间有关的错误。 错误1 在利用互斥信号量mutex实现进程互斥时，如果将P(s)与V(s)颠倒，即： P（mutex）； critical