分布式系统死锁避免方案思考

方案如下:

     每个进程都有一个时间戳,如果他的时间戳比占用资源的进程的时间戳小,就等待,否则就释放资源。

     例如有三个进程P1,P2,P3,它们的时间戳分别是5,10,15.p1可以等待P2,P2可以等待P3,但是P3不能等待P2或P1.

    利用离散数学中关系的原理,3个进程总共有6种等待关系,也就是P*P再除去自反关系。然后总共有2^6=64种进程状态。但是能造成环的只有以下4种

    P1->P2->P1  

    P2->P3->P2

    P1->P3->P1

    P1->P2->P3->P1

    从其中发现了,如果是死锁一定有环状等待关系。

   而环状关系《=》包含时间戳大的进程等时间戳小的进程

   实际上不难发现,64中关系中只有一半的关系包含时间戳大的等时间戳小的。但是为了避免循环等待从而造成死锁,所以就勒紧了条件,只能是老进程等待新进程释放资源,不能新进程等待老进程。

   以上只是从等待关系的角度来避免死锁。

你可能感兴趣的:(分布式系统死锁避免方案思考)