用python实现银行家算法

编制模拟银行家算法的程序，并以下面给出的例子验证所编写的程序的正确性。

资源种类	A B C D	A B C D
P0	0 0 1 2	0 0 1 2
P1	1 0 0 0	1 7 5 0
P2	1 3 5 4	2 3 5 6
P3	0 6 3 2	0 6 5 2
P4	0 0 1 4	0 6 5 6

现在系统中A、B、C、D 4类资源分别还剩1、5、2、0个，请按银行家算法回答： 
1、 现在系统是否处于安全状态？ 
2、 如果现在进程P1提出需要（0、4、2、0）个资源的请求，系统能否满足它的请求？

 #coding: utf-8

 #已经拥有的资源个数

 have = [[0,0,1,2],[1,0,0,0],[1,3,5,4],[0,6,3,2],[0,0,1,4]]

 #需要的资源个数

 need = [[0,0,1,2],[1,7,5,0],[2,3,5,6],[0,6,5,2],[0,6,5,6]]

 #系统拥有的资源个数

 resource = [1,5,2,0]

 #请求的资源个数

 request = [0,4,2,0]

 #请求的进程

 p = 1

 for i in range(len(resource)):

     if request[i]<=need[p][i] and request[i]<=resource[i]:#如果请求的资源少于系统拥有的则分配

         resource[i] -= request[i]

         need[p][i] -= request[i]

     else:#否则不分配并结束

         exit('[-]request more than system have')

 #安全检查

 Fina = [False]*5 #5为进程个数 len(have)或len(need) False表示没有分配资源

 queue = []#用于存储已经分配资源的进程

 #q用于判断循环条件，如果循环过后的结果与前一次相同则表示没有进程被分配资源循环结束

 q = queue

 while True:

     for i in range(len(have)):

         flag = True

         for j in range(len(have[i])):

             if need[i][j] > resource[j]:

                 flag = False

                 break

         if flag == True:

             Fina[i] = True#如果满足条件则将False改为True表示给i进程分配了资源

             queue.append(i)

             for j in range(len(have[i])):

                 resource[j] += have[i][j]#将i进程占有的所有资源释放

     if q == queue:

         break

     else:

         q = queue

 if False in Fina:

     print '[-]Don\'t have safe order'

     print Fina

 else:

     print '[+] have safe order'

     print queue