【正文】 i,j=0。如果 Request[j]≥Available[j]， 則表示尚無足夠資源，進(jìn)程需要等待。 那么，安全序列在銀行家算法中的實際意義在于：系統(tǒng)每次進(jìn)行資源分配后，如果對于系統(tǒng)中新的資源狀況，存在一個安全序列，則至少存在一條確保系統(tǒng)不 長治學(xué)院學(xué)士學(xué)位論文 (設(shè)計 ) 3 會進(jìn)入 死鎖的路徑。這種方法并不須事先采取任何限制性措施，也不需檢查系統(tǒng)是否進(jìn)入不安全區(qū)，而是允許系統(tǒng)在運行過程中發(fā)生死鎖。該論文在理解和分析了銀行家算法的核心思想以及狀態(tài)的本質(zhì)含義的前提下，對算法的實現(xiàn)在總體上進(jìn)行了設(shè)計，包括對算法分模塊設(shè)計，并對各個模塊的算法思想通過流程圖表示，分塊編寫代碼，并進(jìn)行測試，最后進(jìn)行程序的測試，在設(shè)計思路上嚴(yán)格按照軟件工程的思想執(zhí)行，確保了設(shè)計和實現(xiàn)的可行性。 為保證系統(tǒng)中諸進(jìn)程的正常運行，應(yīng)事先采取必要的措施，來預(yù)防發(fā)生死鎖。但如果系統(tǒng)無法找到這樣一個安全序列，則稱系統(tǒng)處于不安全狀態(tài)。分別為 Flag1， pro， Flag2。否則之前的試分配作廢，恢復(fù)試分配之前的數(shù)據(jù)結(jié)構(gòu)，輸出相關(guān)提示信息，接收下一個進(jìn)程請求。 Finish[i]=pnum。 長治學(xué)院學(xué)士學(xué)位論文（設(shè)計） 11 圖 12 試分配后輸出一個安全性序列 圖 13 試分配后不安全狀態(tài)的資源恢復(fù) 集成測試 各模塊測試通過后，集成在一起測試，系統(tǒng)初始資源和模塊測試時保持一致，以下是測試用例以及結(jié)果， 基本包括了該算法的所有情況。 avoid deadlock。 if(NULL==*head) { *head=p。 } printf(分配矩陣 : )。 char ch。 for(j=0。 p=pnext。 p=Location(head,num)。 } else { printf(該請求系統(tǒng)不能滿足 !\n)。 } else { i++。 //safety=(int*)malloc(n*sizeof(int))。 // remark=1。i++) { pAllocation[i]=request[i]。j++) { printf(%4c,ch++)。jm。 int Safety[N]={0}。 if(NULL!=pro) { printf(試分配成功，當(dāng)前系統(tǒng)資源分配如下表 !\n)。y39。 scanf(%c,amp。 } }while(ch==39。 } else { printf(當(dāng)前系統(tǒng)不安全，不能響應(yīng)任何進(jìn)程的請求 !\n)。 break。 process *pro=NULL。 } printf(\t)。 } puts()。 avail[i]+=request[i]。 銀行家算法避免死鎖的研究與實現(xiàn) 24 } } if(count==n) { printf(當(dāng)前系統(tǒng)處于安全狀態(tài) ,存在一個安全序列 :\n)。 for(i=0。 } if(i==n) { return NULL。 } 長治學(xué)院學(xué)士學(xué)位論文（設(shè)計） 21 } for(i=0。 return p。 } } process* Location(process* head,int pro_num) { process *p=NULL。j++) { printf(%4d,pMax[j])。 if(NULL==p) { printf(當(dāng)前無進(jìn)程 !\n)。im。 while(lastnext!=NULL) { last=lastnext。尤其要感謝我的論文指導(dǎo)老師 —— 陜粉麗 老師，她對我進(jìn)行了無私的指導(dǎo)和幫助，不厭其煩的幫助進(jìn)行論文的修改和改進(jìn)。 （ 2） 01： Request(2,0,2) 結(jié)果： 系統(tǒng)不能滿足。 Work[i]=avail[i]。如圖 4 所示。 Pro： 一個地址， Safety_Algorithm 返回給主模塊 main 的信息，不為 NULL時表示試分配成功，否則系統(tǒng)轉(zhuǎn)入相應(yīng)異常處理。我們可以把操作系統(tǒng)看作是銀行 家，操作系統(tǒng)管理的資源相當(dāng)于銀行家管理的資金，進(jìn)程向操作系統(tǒng)請求分配資源相當(dāng)于用戶向銀行家貸款。它是通過設(shè)置某些限制條件。銀行家算法是在確保當(dāng)前系統(tǒng)安全的前提下推進(jìn)的。同樣是實現(xiàn)預(yù)防的策略但是他并不是實現(xiàn)采取各種限制措施去破壞產(chǎn)生死鎖的四個條件，而是在資源分配過程中，用某種方法去防止 系統(tǒng)進(jìn)入不安全的狀態(tài)，從而避免死鎖。當(dāng)進(jìn)程在執(zhí)行中繼續(xù)申請資源時，先測試該進(jìn)程已占用的資源數(shù)與本次申請的資源數(shù)之和是否超過了該進(jìn)程對資源的最大需求量。如果 Request[j]≥ Need[i,j]， 則認(rèn)為出錯，進(jìn)入等待狀態(tài)。最后，執(zhí)行安全檢查，并顯示檢查后結(jié)果，返回給 flag。 請求合法性檢驗 Printf(“請輸入請求向量 \”) Printf(“無此進(jìn)程！ \n”) 試分配，修改相關(guān)數(shù)據(jù) P==null？ 長治學(xué)院學(xué)士學(xué)位論文（設(shè)計） 9 圖 7 試分配后，安全性檢查的程序流程圖 5 程序分析測試 分模塊分析與測試 （ 1)初始化系統(tǒng)資源模塊 Init_process 的測試 圖 8 初始化系統(tǒng)資源模塊 Init_process 的測試 N Y i m？ m？ 恢復(fù)系統(tǒng)資源 i=0 i ++。 （ 5） 00： Request(0,1,0) 結(jié)果： 兩次安全性檢查都通過，并打印出最終結(jié)果。 由于我的學(xué)術(shù)水平有限，所寫論文難免有不足之處，懇請各位老師批評和指正！ 長治學(xué)院學(xué)士學(xué)位論文（設(shè)計） 15 附錄 //銀行家算法 include include include define M 3 define N 10 define D12 %5d%5d%5d%5d%5d%5d%5d%5d%5d%5d%5d%5d typedef struct my_process { int num。 process node。 } printf(需求矩陣 : )。 printf(\t)。jm。 長治學(xué)院學(xué)士學(xué)位論文（設(shè)計） 19 return p。im。 pAllocation[i]=pAllocation[i] + request[i]。im。 } i=0。i++) { printf(%d,safety[i])。 char ch。i++) { p=head。j++) { printf(%4d,work[pnum][j]+pAllocation[j])。 printf(請初始化當(dāng)前可用資源 !\n)。 getchar()。 if(1==flag) { printf(分配成功！當(dāng)前資源分配狀態(tài)如下表 :\n)。y39。 Print(head,Available,M)。 } } }while(ch==39。 do { flag=Safety_Algorithm(head,Available,Safety,Record_work,M,count)。 int Available[M]={0}。j++) { printf(%4d,pNeed[j])。A39。 } } void Return_Source(process* p,int *request,int *avail,int m) { int i。 safety[i]=pronum。 int i,count=0。j++) { if(pNeed[j]work[j]) { break。 } } for(i=0。 printf(請輸入進(jìn)程編號 : \n)。jm。 } printf(\t)。 } } while(1)。im。 memcpy(p,amp。在集成測試中，由于之前的模塊測試做的比較扎實，所以相對只是一些細(xì)節(jié)上的問題，很快也達(dá)到了預(yù)期的效果。如圖 11所示。如圖 7 所示。