... . .
目录
1 绪论1
1.1 实现的功能1 1.2 P V 操作2
2 生产者——消费者问题。3
2.1 要求3
2.2 生产者和消费者两个进程的程序3 2.3进程控制块PCB。4 2.4处理器的模拟。5 2.5程序设计5 3设计步骤6
3.1课程分析6 3.1.2 流程图6 3.1.3 测试程序9 3.1.4测试结果分析13 5 结论13
参考文献14
. 资料 . ..
- - --
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 s<0 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。其中进程的状态有:运行态、就绪态、等待态和完成态。当进程处于等待态时,在进程控制块PCB中要说明进程等待原因(在模拟实习中进程等待原因是为等待信号量s1或s2);当进程处于等待态或就绪态时,PCB中保留了断点信息,一旦进程再度占有处理器则就从断点位置继续运行;当进程处于完成状态,表示进程执行结束。
进程名 状态 等待原因 断点 - .总结资料