操作系统-孙晓那-第二进程.pptVIP

？不控制生产者/消费者 指针in和out初始化指向缓冲区的第一个存储单元 生产者通过in指针向存储单元存放数据，一次存放一条数据，且in指针向后移一个位置 消费者从缓冲区中逐条取走数据，一次取一条数据，相应的存储单元变为“空”，每取走一条数据，out指针向后移一个存储单元位置 试想，如果不控制生产者和消费者，会出现什么结果？ 生产者/消费者必须互斥 生产者和消费者可能同时进入缓冲区，甚至可能同时读/写一个存储单元，将导致执行结果不确定 这显然是不允许的，必须使生产者和消费者互斥进入缓冲区，即某时刻只允许一个实体（生产者或消费者）访问缓冲区，生产者互斥消费者和其他任何生产者。 生产者/消费者必须同步 生产者 不能向满缓冲区写数据，消费者也不能在空缓冲区中取数据，即生产者与消费者必须同步（协调） 阻塞，新资源 归还使用权 存入一条数据 被唤醒 阻塞，等待使用权 被唤醒 生产一条数据 是否有空 存储单元 有 无 否 是 数据单元加1 唤醒一个消费者 是否 可用 取一条数据 归还使用权 空单元加1 唤醒一个生产者 消费数据 阻塞，等待资源 唤醒 阻塞，等待使用权 被唤醒 是否有 数据单元 有 是否 可用 是 无 无 （a）生产者 （b）消费者 伪代码：program producer_consumer; consumer buffer=…;/*缓冲区大小*/ var s:semaphore(:=1);/*互斥信号量s，初始化为1*/ n:semaphore(:=0);/*资源信号量n，数据单元，初始化为0*/ e:semaphore(:=sizeof buffer);/*资源信号量e，空存储单元*/ procedure producer begin repeat 生产一条数据； wait(e); wait(s); 存入一条数据 signal(s); signal(n); forever end; begin /*主程序*/ parbegin producer; consumer; par end end procedure consumer; begin repeat wait(n); wait(s); 取一条数据； signal(s); signal(e); 消费数据； forvere end； 注意 进程应该先申请资源信号量，再申请互斥信号量，顺序不能颠倒。 对任何信号量的wait与signal操作必须配对，同一进程中的多对wait与signal语句只能嵌套，不能交叉 对同一信号量的wait与signal可以不知同一个进程中 Wait与signal语句不能颠倒顺序，wait语句一定先于signal语句。 读者/写者问题 问题描述： 该问题为多个进程访问一个共享数据区，如数据库，文件，内存区及一组寄存器等的数据问题建立一个通用模型，其中若干该进程只能读数据，若干写进程只能写数据 例如，一个联网售票系统，数据的查询和更非常频繁，不可避免会出现多个进程试图查询或修改（读/写），其中一条数据的情形，多个进程同时读一条记录数可以的，但如果一个进程正在更新数据库中的某条记录，则所有其他进程都不能访问（读/写）该记录，否则可能会将同一个座位销售多次。 读者/写者进程满足的条件 允许多个读者进程可以同时读数据 不允许多个写者进程同时写数据，即只能互斥写数据 若有写者进程正在写数据，则不允许读者进程读数据 如何控制读者和写者 如果采用生产者/消费者问题解决方法，严格互斥任何读者和写者进程，可以保证数据更新操作的正确性 但是，对于若干读者进程，只不过希望查询售票情况，却被严格互斥，严重影响了系统效率，显然应该让多个读者同时读数据 如果一个写者进程正在修改数据，别的写者以及任何读者都不能访问该数据。 读者优先 当一个读者正在读数据时，另一个读者也需要读数据，应允许第二个读者进入，同理，第三个随后更多的读者都被允许进入 现在假设一个写者到来，由于写操作是排他的，所以它不能访问数据，需要阻塞等待，如果一直都有新的读者陆续到来，写者的写操作将被严重推迟 该方法称为“读者优先”，即一旦有读者进来读数据，允许多个读者同时进入读数据，只有当全部读者退出，才允许写者进入写数据，用信号量实现的具体过程，如下代码 program readers_writers const read_count: integer; /