信号量和p、v操作.ppt

其中， 调用了换出过程swapout将数据集复制到外存交换区并返回相应的地址。进程实体中的执行程序并未被复制到交换区，因为执行程序文件尚在外存并未被撤销，但仍要回收它所占用的内存空间(若它未被其它进程共享)，这样做的好处是减少了交换时间。 procedure activate(i); begin memallocate(i.datasize,add); if add=NIL　then return(false); swapin(i.swapadd,i.datasize,add); i.dataadd:=add; filestate(i.prog,add,size); if add=NIL then begin memallocate(size,add); if add=NIL then begin memrelease(i.dataadd,i.datasize); return(false); end; read(i.prog,size,add); end; i.textadd:=add; i.state:=if i.state=′readys′then′ready′ else′waited′; return(true); end; 3.3 阻塞与唤醒 进程从执行态到等待态以及从等待态到就绪态的过渡分别是通过阻塞原语block和唤醒原语wakeup实现的。 当现行进程需要等待某个事件时， 可调用block原语使自己加入到该事件的等待队列中，调用参数为等待队列指针。操作系统为每类事件设置一个等待队列，当某个事件发生时， 通过wakeup原语移出相应等待队列中的某个进程， 将其送入应绪队列，调用参数也是等待队列指针，下面是block原语和wakeup原语的类PASCAL语言描述： procedure block(q); begin save(EXE); EXE.state:=′waited′; EXE.queue:=q; insert(q,EXE); EXE:=NIL; scheduler; end procedure wakeup(q); begin outqueue(q,i); i.state:=if i.state=′waited′ then ′ready′ else′readys′; i.queue:=RQ; insert(RQ,i); end; §4 进 程 同 步 4.1 同步概念 对同步与互斥的上述解释表明，它们的实质都是对进程在执行时序上的某种限制。因此，可把它们归结为：并发进程在执行时序上的相互制约关系。这就是广义同步概念。故在广义上，互斥是一种特殊的同步。 4.2 临界区 并发进程可以共享系统中的各种资源，但是系统中某些资源具有一次只允许一个进程所使用的属性，我们称这样的资源为临界资源。换言之，若有一进程正在使用某临界资源，那么其他欲使用该资源的进程必须等待，只有当占有者释放后，其他进程才能使用。也就是说，共享临界资源的进程必须互相排斥。 许多物理设备都属于临界资源，如输入机、打印机、磁带机等。还有许多可以被几个进程所修改的共享变量(如公共变量、数据、表格、队列等)也是临界资源。例如，进程A和B共享一个公共变量count,都要对count执行“count:=count+1”操作，但是在许多计算机上完成这一操作，实际上是由三条指令来实现的，如： LD R1，count INC R1 LD count, R1 由于进程A和B异步前进，故A、B中相同的这个指令串可能在逐条指令基础上交叉执行，比如产生序列： A:LD R1,count A:INC R1 B:LD R1,count A:LD count,R1 B:INC R1 B:LD count,R1 count经A、B访问后，只加了1，而不是所希望的2。为了防止发生这种与时间有关的错误，变量count必须按临界资源处理。 系统的同步机构对解决临界区互斥问题应遵循下述准则： (1)当无一进程处于临界区内时，若有一进程要求进入临界区，应让其立即进入-有空让进； (2)当已有进程在临界区内时，其他