第3章并发控制——互斥与同步.docVIP

第3章 并发控制——互斥与同步 本章知识点： 3.1 进程间的联系 3.2 进程的同步机制──信号量及P.V操作 3.3 四个经典问题 3.3.1 生产者---消费者问题 3.3.2 读者------写者问题 3.3.3 哲学家就餐问题 3.3.4 理发师问题 3.4 管程 3.1 进程间的联系 相交进程与无关进程 相交进程：指多个并发进程在逻辑上有某种联系 无关进程（不相交进程）：在逻辑上无任何联系的进程 直接作用和间接作用 直接作用： 进程间的相互联系是有意识的安排的，直接作用只发生在相交进程间 间接作用： 进程间要通过某种中介发生联系，是无意识安排的，可发生在相交进程之间，也可发生在无关进程之间 进程的同步（直接作用） 进程的同步：synchronism 指系统中多个进程中发生的事件存在某种时序关系，需要相互合作，共同完成一项任务。具体说，一个进程运行到某一点时要求另一伙伴进程为它提供消息，在未获得消息之前，该进程处于等待状态，获得消息后被唤醒进入就绪态 例: 司机 P1 售票员 P2 while (true) while (true)  { { 启动车辆； 关门； 正常运行； 售票； 到站停车； 开门； } } 进程的互斥（间接作用）mutual exclusion 由于各进程要求共享资源，而有些资源需要互斥使用，因此各进程间竞争使用这些资源，进程的这种关系为进程的互斥 临界资源：critical resource 系统中某些资源一次只允许一个进程使用，称这样的资源为临界资源或互斥资源或共享变量 临界区（互斥区）：critical section 在进程中涉及到临界资源的程序段叫临界区 多个进程的临界区称为相关临界区 3.2 进程的同步机制──信号量及P.V操作 ? 两个或多个进程可以通过简单的信号合作，一个进程可以被迫在某一位置停止，直到它接收到一个特定信号。为了发信号，需要使用一个称作为信号量的特殊变量s。为通过信号量s传送信号，进程可执行原语V(s)；为通过信号量s接收信号，进程可执行原语P(s)；如果相应的信号仍没有发送，进程被挂起，直到发生传送。 信号量：semaphore ?是一个数据结构 ?定义如下： struct semaphore { int value; pointer_PCB queue; } ?信号量说明： semaphore s; P、V操作（两条原语） P(s) { s.value = s.value --; if (s.value 0) { 该进程状态置为等待状态 将该进程的PCB插入相应的等待队列末尾s.queue; } } P、V操作 V(s) { s.value = s.value ++; if (s.value = 0) { 唤醒相应等待队列s.queue中等待的一个进程 改变其状态为就绪态 并将其插入就绪队列 } } 强调： 信号量的使用： 必须置一次且只能置一次初值 初值不能为负数 P、V操作可以解决同步与互斥问题。 利用信号量可以很方便地实现进程互斥。 设互斥信号量为S,其初值为1，表示该临界资源未被占用，利用信号量实现并发进程P1,P2互斥访问临界区如下： 进程1 进程2 P(S) P(S) 临界区 临界区 V(S) V(S) 3.3 四个经典问题 生产者---消费者问题 读者------写者问题 哲学家就餐问题 理发师问题 生产者消费者问题 ?生产者和消费者共享缓冲区 ?缓冲区空时，生产者可放入产品（不许放重），否则等待 ?缓冲区中有产品时，消费者可取出产品（不许取重），否则等待 ①一个生产者、一个消费者共享一个缓冲区 ②一个生产者、一个消费者共享多个缓冲区 ③多个生产者、多个消费者共享多个缓冲区 ④多个生产