计算机操作系统精品教学：第三章进程管理.pptVIP

3.2.2 进程控制块 1．进程的组成：程序、数据集、PCB 2．进程控制块作用 3． PCB信息 例3-2：PCB的C语言描述 struct pentry{ int pid; int pprio; char pstate; int pname; int msg; int paddr; int pregs[SIZE]; /现场保护区大小 ….. }pcb[]; 4．PCB组织方式 操作系统的控制机构控制进程的状态变换。进程的控制机构首先表现在建立、撤消、解挂、挂起等方面。通常系统提供了称作原语的具有特定功能的程序段来完成进程的建立、撤消进程以及完成进程各状态间的转换。 原语：机器语言的扩充，由若干条机器指令组成的具有特定功能的程序段。 原语与一般系统调用功能的区别：在系统态下执行的，执行其间不可被打断。常用进程控制原语有：（用户以系统调用的方式使用这些原语） 创建原语 撤消原语 阻塞原语 唤醒原语 3.3　进程的控制 3.4.1 互斥 1.临界资源 2.临界区 例3-3：假设在一飞机售票系统中，某一时刻数据库中关于某一航班的机票数量counter＝5。某一窗口的售票程序执行的 一条操作语句是counter=counter-1；而另一窗口退票程序执行的一条操作语句是counter=counter+1。 用高级语言书写的语句counter=counter+1和 counter=counter-1所对应的的汇编语言指令如下： ①LOAD A, conuter ; 　①LOAD B, conuter ; ②ADD A, 1;　　　　　　　　 ②SUB B, 1; ③STORE A, counter ; 　③STORE B, counter ; ３.互斥 ４.互斥的执行准则 3.4 　进程同步 进程间两种制约关系：接间制约与直接制约 3.4.2 进程的同步 例3-4: 在控制测量系统中，数据采集任务反复把所采集的数据送入一个单缓冲区；计算任务不断从该单缓冲区中取出数据进行计算。 var buf;　　　　　 int flag=0; 　　　　　　 collection（　）　 { while (TRUE) { 采集数据； while(flag＝＝1)；　　　 将采集的数据放入buffer； flag=1 } } calculate ( ) 　　 { while(TRUE) { 　　 while(flag＝＝0)； 　　 从buf中取出数据； 　 flag=0； 计算处理； } } 3.4.3 同步机构 1．加锁原语LOCK(ω)定义：(整型信号量，wait(s)) ①测试ω是否为1；②若ω=1，则0→ω；③若ω=0，则返回到①。 　开锁原语UNLOCK(ω)定义(signal(s)) 　　1→ω。 　　临界区的互斥控制：进入临界区的进程先要执行加锁原语，退出时要执行开锁原语。 描述： pro{ … LOCK(key(s)) /key(s)表示类名为S的临界区的状态 临界区 UNLOCK(key(s)) 　　　　… 　　｝ 2.信号量和P、V原语 (1)信号量定义 ①S是一个整型变量而且初值非负。 ②对信号量仅能实施P(S)操作和V(S)操作,也只有这两种操作才能改变S的值。 ③对每一个信号量，都对应有一个（空或空非）的等待队列，队列中的进程处于阻塞状态。 　（2）P(S)原语(wait(s)) ①S减l； ②若S.value减1后仍大于或等于零，则进程继续执行； ③若S减l后小于零，则该进程被阻塞后并进入该信号相对应的等待队列中，然后转进程调度。Block(s.l) 　（3）V原语(signal(s)) ①S.value加1； ②若相加结果大于零，进程继续执行； 　 ③若相加结果小于或等于零，则从该信号的等待队列中唤醒一等待进程，然后再返回原进程继续执行或转进程调度。Wakeup(s.l) Type semaphore=record value: integer; L: