操作系统四版课件6讲解.pptVIP

第6章 进程间的制约关系; 在多道程序的环境中，系统中的多个进程可以并发执行，同时它们又要共享系统中的资源，这些资源有些是可共享使用的，如磁盘，有些是以独占方式使用的，如打印机。由此将会引起一系列的矛盾，产生错综复杂的相互制约的关系。 产生这种错综复杂的相互制约关系的原因有二： 资源共享——间接制约关系 进程合作——直接制约关系 ;临界资源：某段时间仅允许一个进程使用的资源称为临界资源。 宿舍电话 打印机 电话和打印机都属于临界资源。除此之外，还有内存变量、指针、数组等等也是临界资源。 几个进程若共享同一临界资源，它们必须以互斥的方式使用这个临界资源，即当一个进程正在使用临界资源且尚未使用完毕时，则其他进程必须推迟对该资源的进一步操作。;临界区(critical section) 每个进程中访问临界资源的那段程序段称为相对于临界资源的临界区。 访问临界资源的进程互斥 的进入各自的临界区。 ;程序A: (观察者) while(1) { A1: 收到监视器的信号; A2: COUNT=COUNT+1; } ;成10；在B1被延时半小时；在B2把COUNT的值10打印出来；接着在A1受到第11辆车通过的信号；在A2中累加，COUNT的值成为11；但紧接着在B3被清0；于是，第11辆车通过的信号记录再也找不到。 在操作系统里，把这种由于时间因素的影响而产生的错误，称为“与时间有关的错误”。 ; 为输出井设置一张 “输出井文件目录表”，它由若干目 录项组成。每个目录项记录一个要打印输出的文件名以及该 文件在磁盘的存放地址。;.; 复制时，若COPY已把R里的记录拷贝到了T中，那GET和PUT就可并发执行了。即GET从F里读下一个记录送到R中的操作，与PUT从T中取出内容写入G的操作，谁先谁后都没有关系，不会影响到复制结果的正确性。由于利用并发性，工作效率就会提高。;;6.1.2 竞争资源——互斥; 一个进程在临界区内逗留有限时间后，就应该退出，以便给其他进程创造进入临界区的机会。 ;6.1.3 协同工作——同步;一个进程需要等待另一个进程完成的操作或发送的信息，称为“同步条件”。 ;6.2.1 信号量与P、V操作的定义; 如果一个进程在做P操作后被阻塞，那么就要到关于该信号量的队列上去排队等待。其含义就是将这个进程的PCB到此队列上去排队，并把该进程由运行状态变迁为阻塞状态。 ; 设置初值为1的信号量S， 在进程A和B的进入点处安排 关于信号量S的P操作，在进 程A和B的退出点处安排关于 信号量S的V操作。这样，就 能确保CSa和CSb互斥地执 行。在这种安排下，哪个进 程先对信号量S做P操作，就会使S的值由1变成为0，它就获得了 进入临界区的权利。当某个进程在临界区内时，S的值肯定是0。此时若一进程想做P操作进入自己的临界区，就会因S的值由0变为-1而受阻。只有在临界区内的那个进程退出临界区、对S做V操作时，S的值由-1变为0，才会解除阻挡，从而保证互斥。 ; 时刻t4时A做V(lock)，使lock.count=-1，从阻塞队列lock.queue上摘下B，到就绪队列排队。这样，lock.queue上只有进程C在排队了。 ;6.2.3 用P、V操作实现同步; 这里，存在着两个同步问题要解决：一是GET要与COPY取得同步，一是COPY要与GET取得同步。 ;6.2.4 用P、V操作实现资源分配; 设置4个信号量：m为空闲缓冲区的数目；n为已放物品缓冲区的数目；S1控制互斥进入in临界区；S2控制互斥进入out临界区。; 设置两个信号量：MUTEX控制读者互斥进入reader临界区，WRT控制读者及写者互斥进入读/写临界区，初值都是1。;.;6.3.2 死锁的预防;.; 如果所有进程的“能执行完”均为1，表示接受这次请求是安全的；否则暂时不能接受进程的这次资源请求。 ; 如果存在这种进程，那么假定它已获得需要的所有资源，并完成工作，把它的“能执行完”标志设置成1。收回它占用的资源，更新向量A。 ;;6.3.5 高级进程通信; 提供发送消息和接收消息的系统调用命令，比如发送命令为Send，接收命令为Receive。 ;向系统申请一个消息缓冲区； ; “信箱头”给出信箱大小（size：格子个数及格子尺寸）、存信件指针（inPtr：发送者按此指针往信箱体格子里存信件）、取信件指针（outPtr：接收