方案如下:
每个进程都有一个时间戳,如果他的时间戳比占用资源的进程的时间戳小,就等待,否则就释放资源。
例如有三个进程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中关系中只有一半的关系包含时间戳大的等时间戳小的。但是为了避免循环等待从而造成死锁,所以就勒紧了条件,只能是老进程等待新进程释放资源,不能新进程等待老进程。
以上只是从等待关系的角度来避免死锁。