銀行家算法判斷狀態是否安全

process	allocation	need	avaiable
p0	0   0  3  2	0  0  1  2	1  6  2  2
p1	1  0  0  0	1  7  5  0
p2	1  3  5  4	2  3  5  6
p3	0  3  3  2	0  6  5  2
p4	0  0  1  4	0  6  5  6

資源       進程	work（可提供的）	need（需要的）	allocation（已分配的）	work+allocation （提供的+已分配的）	finish（是否可用）
p0	1  6  2  2	0  0  1  2	0  0  3  2	1  6  5  4	true
p3	1  6  5  4	0  6  5  2	0  3  3  2	1  9  8  6	true
p1	1  9  8  6	1  7  5  0	1  0  0  0	2  9  8  6	true
p2	2  9  8  6	2  3  5  6	1  3  5  4	3  12  13  10	true
p4	3  12  13  10	0  6  5  6	0  0  1  4	3  12  14  14	true

所以安全序列應該爲p0--p3--p1--p2--p4,當然了，不唯一，只要在選擇進程時滿足finish可用即可。