死锁习题及答案
一、填空题1．进程的“同步”和“互斥”反映了进程间①和②的关系。【答案】①直接制约、②间接制约【解析】进程的同步是指在异步环境下的并发进程因直接制约而互相发送消息，进行相互合作、相互等待，使得各进程按一定的速度执行的过程；而进程的互斥是由并发进程同时共享公有资源而造成的对并发进程执行速度的间接制约。2．死锁产生的原因是①和②。【答案】①系统资源不足、②进程推进路径非法【解析】死锁产生的根本原因是系统的资源不足而引发了并发进程之间的资源竞争。由于资源总是有限的，我们不可能为所有要求资源的进程无限地提供资源。而另一个原因是操作系统应用的动态分配系统各种资源的策略不当，造成并发进程联合推进的路径进入进程相互封锁的危险区。所以，采用适当的资源分配算法，来达到消除死锁的目的是操作系统主要研究的课题之一。3．产生死锁的四个必要条件是①、②、③、④。【答案】①互斥条件、②非抢占条件、③占有且等待资源条件、④循环等待条件【解析】互斥条件：进程对它所需的资源进行排它性控制，即在一段时间内，某资源为一进程所独占。非抢占条件：进程所获得的资源在未使用完毕之前，不能被其它进程强行夺走，即只能由获得资源的进程自己释放。占有且等待资源条件：进程每次申请它所需的一部分资源，在等待新资源的同时，继续占有已分配到的资源，循环等待条件：存在一进程循环链，链中每一个进程已获得的资源同时被下一个进程所请求。4．在操作系统中，信号量是表示①的物理实体，它是一个与②有关的整型变量，其值仅能由③原语来改变。【答案】①资源，②队列，③PV【解析】信号量的概念和PV原语是荷兰科学家E．W．Dijkstra提出来的。信号量是一个特殊的整型量，它与一个初始状态为空的队列相联系。信号量代表了资源的实体，操作系统利用它的状态对并发进程共享资源进行管理。信号量的值只能由PV原语来改变。5．每执行一次P原语，信号量的数值S减1。如果S0，该进程①；若S0，则②该进程，并把它插入该③对应的④队列中。【答案】①继续执行，②阻塞（等待），③信号量，④阻塞（等待）【解析】从物理概念上讲，S＞0时的数值表示某类资源可用的数量。执行一次P原语，意味着请求分配一个单位的资源，因此描述为SS－1。当S0时，表示已无资源，这时请求资源的进程将被阻塞，把它排在信号量S的等待队列中。此时，S的绝对值等于信号量队列上r