武汉大学高级操作系统试题.docxVIP

高级操作系统试题验证Lamport’s Algorithm算法的正确性，即该算法是否能保证在任何时刻，最多只有一个进程位于临界段（安全性）；若位于临界段的进程在有限时间内退出临界段，则其他请求进入临界段的进程总能进入（可用性）；Lamport算法利用前述的事件定序方案统一定序所有对临界段的请求，按先来先服务的原则让请求临界资源的进程进入其临界段，进/出临界段1次需要3×（n-1）条消息。Lamport算法基本假定如下：（1）进程Pi发送的请求消息形如request(Ti , i)，其中Ti = Ci是进程Pi发送此消息时对应的逻辑时钟值，i代表消息内容。（2）每个进程保持一个请求队列，队列中的请求消息根据==＞关系定序，队列初始为空。Lamport算法描述：、当进程Pi请求资源时，它把请求消息request(Ti,i)排在自己的请求队列中，同时也把该消息发送给系统中的其他进程； 、当进程Pj接收到外来消息request(Ti,i)后，发送回答消息reply(Tj , j)，并把request(Ti , i)放入自己的请求队列。、当下面两个条件都成立时，Pi才允许进入临界段：Pi自身请求访问该资源的消息已处于请求队列的最前面； B. Pi已收到从所有其他进程发来的回答消息，这些回答消息的时间戳均晚于(Ti, i). 、当退出临界段时，进程Pi从自己的队列中撤销请求消息，并发送一个打上时间戳的释放消息release给其他进程； 、当进程Pj收到Pi的release消息后，它撤销自己队列中的原Pi的request(Ti , i)消息。不难证明该算法是正确的，因为：由(3)-B及消息是按其发送的次序接收的假定，就保证了进程Pi已经知道先于它的当前请求的所有请求。 由于用关系==＞定序了所有的请求消息，因此在任何情况下，(3)-A允许一个且只一个进程进入临界段。 当Pi退出临界段释放临界资源后，根据其他请求消息的时序关系，总可以找到一个Ps，使它满足（3）的两个条件，从而进入进入临界段。 下面是实现该算法的伪代码：Process Pi: Begin: Send request(Ti,i) to Pj,(j≠i); enqueue(Qi,request(Ti,i)); for(j=1;j=n;j++) Recieve reply(Tj,j); If(queuehead(Qi)==request(Ti,i) Titj) p= =Enter CS; dequeue(Qi,request(Ti,i)); Send release(Ti,i) to Pj,(j≠i); End Process Pj: Begin: Recieve request(Ti,i) enqueue(Qj,request(Ti,i)); Send reply(Tj,j) to Pi; Waiting; Recieve release(Ti,i); dequeue(Qj,request(Ti,i)); End 请求驱动式令牌传递方法中，若Pi发出request消息后久未获得token，该怎么处理？若引入时戳，该算法应做何修改？在请求驱动式令牌传递方法中，或pi发出的request消息后久未获得Token，应该决定是站点故障还是Token丢失，需要有对应逻辑环重构方法和Token生成方法。可以引入时时戳增加算法的强健性，具体如下:(1)当request消息后久未获得令牌，则向其它进程发询问消息；若其它进程无反对消息到达，则重新生成令牌，否则继续等待。(2)若接收到询问消息的进程是令牌的持有者，或已发出一样Request消息，且自已Request消息的时戳先于询问进程Request消息的时戳，则立即发回一条反对消息。(3)令牌持有者传递令牌时，若发现接收者故障，需要调用逻辑环重构算法进行环重构，再重新选择接收者。在分布式死锁处理过程中，何时或在什么情况下构造局部或全局进程等待（PWG）图才能反映系统的实际情况？在构造局部进程等待图时为什么不同站点提出资源申请时需要加上时戳？第一问：（1）每当从局部等待图中去掉一条边或向局部等待图插入一条新边时（2）周期性的，当等待图中已经发生了若干改变时（3）每当协调者需要引用环路检测算法时第二问：不同的站点的请求消息附上唯一的标识（时戳），可以避免报告假死锁。解决接收消息的顺序与发送消息的顺序不一致问题。时间戳及全排序保证了不会死锁。增加时间戳，防止回应的不及时（令牌丢失、令牌者故障）。利用时间戳来标明申请资源的先后次序，以此来尽量消除对共享资源的竞争。详细设计“合一阈值”（merge-threshold）启发式任务分配算法，并对其进行算法复杂性分析。任务分配策略的核心就是设法减少系统中各处理机间的通信开销（IPC）和 运行模块所需要的开销