用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