第二章进程管理2.4-2.7.pptVIP

第二章 进程管理 Process Management 在传统的操作系统中，作为资源分配和独立运行的基本单位是进程。OS所具有的四大特征也都是基于进程而形成的。 本章主要内容 进程的基本概念 进程控制 进程同步 经典进程同步问题 管程机制 进程通信 线程 2.4 经典进程同步问题 Classical process synchronization problem 生产者－消费者动画演示（1） 4 利用AND信号量解决 问？ 若一个Writer进程正在写，则Reader进程和其他Writer进程的状态和所执行到的位置？ 本算法为读者优先算法，即当读者进行读时，写者必须等待，直到所有读者均离开，写者才能进入。存在的问题是什么？ 写者优先：如果一个读者申请进行读操作时已有另一写者在等待访问共享资源，则该读者必须等到没有写者处于等待状态后才能开始读操作。存在的问题是什么？ 公平策略：规则 1：在一个读序列中，若有写者等待，则不允许新来读者开始执行。 2：一个写操作结束时，所有等待读者应比下一写者有更高优先权。 问：对于该公平策略，应如何予以解决呢？ 四、打瞌睡的理发师问题 理发店里有一位理发师，一把理发椅和N把供等候理发的顾客坐的椅子； 理发师为理发椅上的顾客理发，没有顾客就在理发椅上睡觉； 第一个顾客到来，他必须先唤醒理发师； 如果顾客来时理发师正在忙，若有空椅子，则坐下来等；否则离开。 说 明： 理发师和每位顾客都分别是一个进程。 理发师：看是否有顾客，若没有，在理发椅上睡觉；否则，为等待最久的顾客服务，等待人数减1。 顾客：先看有无空座位(等候的顾客数是否少于椅子数)，若有则等，等待人数加1；若理发师正瞌睡，则将其唤醒；否则，离开。 理发师和顾客的关系？ 变量waiting，用于记录等候的顾客数，初值为0。由于它不是信号量，因此可对其进行增减等操作。 设顾客座椅数（chairs）为常量5。 经典IPC问题 生产者－消费者问题 有界缓冲区问题的建模 哲学家进餐问题 多进程同步问题的建模 读者－写者问题 数据库互斥访问问题的建模 打瞌睡的理发师问题 CS模式进程同步问题的建模 用PV操作完成进程间的同步与互斥应遵循以下几个步骤： 分析同步关系（有几个制约条件）； 设置信号量（一般情况下，有几个制约条件设置几个信号量）； 选择并确定信号量的初值； 写出进程间的同步关系。 练 习 1 设某计算机有两个I/O通道：分别挂一台输入机和一台打印机。卡片机上有一叠数据卡片，现在要把这些数据逐一输入到缓冲区B1，然后再复制到缓冲区B2，并在打印机上打印出来。 问：系统可设哪些进程来完成这个任务？用P.V原语写这些进程的同步算法。 系统可设3个进程：输入进程R、复制进程C、打印进程P； 这些进程之间的相互制约关系： R受C的约束；C受R、P的约束；P受C的约束。 信号量设置 B1full：缓冲区B1满，初值＝0； B1empty：缓冲区B1空，初值=1； B2full：缓冲区B2满，初值=0； B2empty：缓冲区B2空，初值=1。 同步算法如下： 练 习 2 a,b 两点间是一段东西向的单行车道，现要设计一个自动管理系统，管理规则如下： 当ab间有车行驶时，同向车可以同时驶入ab段，但反向车必须在ab段外等待； 当ab间无车时，a（或b）的车辆可以进入ab段，但不能从a，b点同时驶入； 请用wait,signal工具对ab段实现正确管理。 问题解答 互斥：双方互斥进入单行道；互斥信号量 而同方向的车可同时进入，故每个方向等待进入车道的第一辆车需争夺进入权，一旦争得进入权，同方向的车随意进入，否则需等对方的车都驶出后才能进入。为此，双方均应设置计数器记录该方向是否有车辆在行驶。斥进入的， 保证计数器互斥使用的互斥信号量。 Pab： Wait(ab) Ca++ If Ca=1 then wait(mutex); Signal(ab) enter; wait(ab) Ca- -; if Ca=0 then signal(mutex)； signal(ab); 问题分析 一个读者有三种操作，进入、阅读、退出 其中，进入和退出操作要互斥使用登记卡，因此，登记卡作为临界资源。 进入要申请座位，若座位已满，否则不能进入； 退出要释放座位。 有两个进程（进入和退出），设两个信号量： 进入私有信号量SN，表示座位数，初值为100； 互斥信号量mutex，初值为1 。 练 习 4 三个进程R、W1、W2共享一个缓冲区Buf。进程R读入数据到Buf中；若缓冲区中的数为奇数，则进程W1将其取出显示；若缓冲区中的数为偶数