一种改进的死锁和活锁避免资源联合分配协议

An Improved Deadlock and Livelock Free Protocol for Resource Co-Allocation

提出一种改进的死锁和活锁避免资源联合分配协议——OODP3(Optimal ODP3),OODP3基于ODP3(Or-der-based Deadlock Prevention Protocol with Parallel requests)的安全状态方法避免死锁和活锁,但是,OODP3将其时间复杂度降到多项式级,并对OODP3的正确性进行了理论证明,实验结果表明OODP3的执行速度快,而且比现有的资源联合分配协议具有更优越的性能;最后进一步讨论了退避时间协议和资源分配策略对OODP3性能的影响.

An improved deadlock and livelock free resource co-allocation protocol called OODP3（Optimal ODP3） is proposed.OODP3 utilizes the safe state method in the framework of ODP3 to avoid deadlock and livelock.However,OODP3 reduces its time complexity to polynomial level and theoretical proof is conducted to verify the validity of OODP3.Experiment results show that OODP3 not only executes faster but also achieves a better performance than the existing deadlock and livelock avoidance protocols.At last,how back-off protocol and resource allocation policy affect the performance of OODP3 is further discussed.