生产者消费者问题操作系统课程设计剖析.doc

目录 1 绪论 3 1.1 实现的功能 3 1.2 P V 操作 3 2 生产者——消费者问题。 4 2.1 要求 4 2.2 生产者和消费者两个进程的程序 4 2.3进程控制块PCB。 5 2.4处理器的模拟。 5 2.5程序设计 6 3设计步骤 7 3.1课程分析 7 3.1.2 流程图 7 3.1.3 测试程序 9 3.1.4测试结果分析 14 5 结论 15 参考文献 16 1 绪论 生产者-消费者问题是一个经典的进程同步问题，该问题最早由Dijkstra提出，用以演示他提出的信号量机制。 进程是程序在一个数据集合上运行的过程，进程是并发执行的，也即系统中的多个进程轮流地占用处理器运行。 我们把若干个进程都能进行访问和修改的那些变量称为公共变量。由于进程是并发地执行的，所以，如果对进程访问公共变量不加限制，那么就会产生“与时间有关”的错误，即进程执行后所得到的结果与访问公共变量的时间有关。为了防止这类错误，系统必须要用同步机构来控制进程对公共变量的访问。一般说，同步机构是由若干条原语——同步原语——所组成。本实习要求学生模拟PV操作同步机构的实现，模拟进程的并发执行，了解进程并发执行时同步机构的作用。 1.1 实现的功能 生产者-消费者问题是一个经典的进程同步问题，有m个生产者和n个消费者，它们共享可存放k件产品的缓冲区。生产者进程生产物品，然后将物品放置在一个空缓冲区中，供消费者进程消费。消费者进程从缓冲区中获得物品，然后释放缓冲区。当生产者进程生产物品时，如果没有空缓冲区可用，那么生产者进程必须等待消费者线程释放出一个空缓冲区。当消费者进程消费物品时，如果没有满的缓冲区，那么消费者进程将被阻塞，直到新的物品被生产出来。 1.2 P V 操作 (1) PV操作同步机构，由P操作原语和V操作原语组成，它们的定义如下： P操作原语P (s)：将信号量s减去1，若结果小于0，则执行原语的进程被置成等待信号量s的状态。 V操作原语V (s)：将信号量s加1，若结果不大于0，则释放一个等待信号量s的进程。 这两条原语是如下的两个过程： procedure P (var s: semaphore); begin s: = s-1; if s0 then W (s) end {p} procedure V(var s: semaphore); egin s: = s+1; if s(0 then R (s) end {v} 其中W（s）表示将调用过程的进程置为等待信号量s的状态；R（s）表示释放一个等待信号量s的进程。 在系统初始化时应把semaphore定义为某个类型，为简单起见，在模拟实习中可把上述的semaphore直接改成integer。 2 生产者——消费者问题。 2.1 要求 假定有一个生产者和一个消费者，生产者每次生产一件产品，并把生产的产品存入共享缓冲器以供消费者取走使用。消费者每次从缓冲器内取出一件产品去消费。禁止生产者将产品放入已满的缓冲器内，禁止消费者从空缓冲器内以产品。假定缓冲器内可同时存放10件产品。那么，用PV操作来实现生产者和消费者之间的同步 2.2 生产者和消费者两个进程的程序 B: array [0..9] of products; s1, s2; semaphore; s1: =10, s2: =0; in, out: integer; in: =0; out: =0; cobegin procedure producer; c: products; begin L1: produce (c); P (s1); B[in]: =C; in: =(in+1)mod 10; V (s2); goto L1 end; procedure consumer; x: products; begin L2: P(s2); x: =B[out]; out: =(out+1) mod10; v (s1); consume (x); goto L2 end; coend. 其中的semaphore和products是预先定义的两个类型，在模拟实现中semaphore用integer代替，products可用integer或char等代替。 2.3进程控制块PCB。 为了记录进程执行时的情况，以及进程让出处理器后的状态，断点等信息，每个进程都有一个进程控制块PCB。在模拟实习中，假设进程控制块的结构如图1。其中进程的状态有：运行态、就绪