大体思路:先建立一个表示进程的结构体,为每个进程建立一个vector容器,再建立一个status数组表示每个进程是否进行更新,先从第0个进程开始,如:
R1 S1
R2 S0 R0 S2
S1 R1
0号进程开始为 R1则跳到1号进程将status[1]置1代表访问过1号进程,1号进程开头为R2,则跳到2号进程,status[2]置1代表访问过2号进程,2号进程开头为S1。则R2和S1可以进行消除,把status[1],status[2]置0,消除R2和S1后继续执行0号进程,直至0号进程没有指令为止,后面进程同理。若每个进程都执行完毕(进程没有指令)说明没有死锁。
如:R1
R2 S0 R0
S1 R1
先执行0号进程,将status[0]置1代表访问过0号进程,0号进程开头为R1,跳到1号进程,将status[1]置1代表访问过1号进程,1号进程开头为R2,跳到2号进程,开头为S1则R2和S1,可以进行消除,把status[1],status[2]置0,消除R2和S1后继续执行0号进程,
0号进程开头为R1,跳到1号进程,将s