西安电子科技大学 操作系统 考试重点作业讲解(2～4)资料.pptVIP

作业讲解（2～4） 知识点 进程互斥和同步的控制 信号量机制 信号量是一种数据结构 信号量的值与相应资源的使用情况有关 信号量的值仅由P、V操作改变 知识点 记录型信号量 记录型结构，包括两个数据项： type semaphore=record value:integer; L:list of process; end 第二章 22、试写出相应的程序来描述图2-17 所示的前趋图。 P82 22(a) Var a, b, c, d, e, f, g, h; semaphore:= 0, 0, 0, 0, 0, 0, 0, 0; begin parbegin begin S1; signal(a); signal(b); end; begin wait(a); S2; signal(c); signal(d); end; begin wait(b); S3; signal(e); end; begin wait(c); S4; signal(f); end; begin wait(d); S5; signal(g); end; begin wait(e); S6; signal(h); end; begin wait(f); wait(g); wait(h); S7; end; parend end 第二章 26. 参看教材P58