【正文】 407227 指導教師 ：陜粉麗 摘 要： Dijkstra 的銀行家算法是最有代表性的避免死鎖的算法，該算法由于能用于銀行系統現金貸款的發(fā)放而得名。而銀行家算法起源于銀行系統的發(fā)放貸款，和計算機操作系統的資源分配完全符合，因此可以借鑒該算法的思想，設計出一種有效的算法程序，解決該問題。 （ 2）避免死鎖。 銀行家算法避免死鎖的研究與實現 2 系統安全狀態(tài) 預防死鎖和解除死鎖都是通過施加條件限制，來預防發(fā)生死鎖。 操作系統按照銀行家制定的規(guī)則為進程分配資源，當進程首次申請資源時，要測試該進程對資源的最大需求量，如果系統現存的資源可以滿足它的最大需求量則按當前的申請量分配資源，否則就推遲分配。 數據流模型 用鍵盤輸入信息，對系統資源初始化，輸入進程請求，用安全性算法進行安全性檢查，系統安全的話就進行試分配，再進行安全性檢查；如果試分配失敗則恢復系統。 程序流程圖 假 設 Request 是進程的請求向量， Need 是需求向量， Available 是可利用資源向量。具體程序總流程圖如圖 3 所示。然后，判斷異常情況，利用 Reasonable 函數找到當前可執(zhí)行的進程。 (4)對試分配后的系統，進行安全性檢查的程序流程圖 和圖 5 大致一樣，唯一一點在于當找不到安全序列時，將本次試分配作廢，恢復該次 試分配之前的數據結構。 Retumn p。 (3)安全模塊 Safety_Algorithm 的調試 ?試分配前的安全算法，結果如果輸出一個安全性序列，并且經過人工檢查該安全性序列，確實有效，則該模塊正確 ,如圖 10 所示；如果系統不安全，打印出相關信息，返回上一層。 （ 4） 00： Request(0,2,0) 結果： 試分配后，系統不安全，試分配作廢。但通過查閱書本，對算法細節(jié)重新建立正確的認識后，再通過單步調試后，最終解決。在此向幫助和指導過我的各位老師表示最 真誠 的感謝！ 此外，還要 感謝我的同學和朋友，在我寫論文的過程中給予我很多素材，還在論文的撰寫和排版 的 過程中提供熱情的幫助。 process* last=NULL。 } } void Init_process(process **head,int m,int* count) { int i,j=0。 if([P0]!=1) { for(i=1。[i])。 } else 長治學院學士學位論文（設計） 17 { break。 } else { printf(| Process | Max | |Allocation| | Need | |Available|\n\n)。j++) { printf(%4c,ch++)。 for(j=0。 for(j=0。 if(NULL==p) { printf(error !\n)。 process* p=NULL。 for(i=0。 return NULL。i++) { avail[i]=avail[i] request[i]。jm。 for(i=0。 process *pro=NULL。i++) { work[i]=avail[i]。 count++。in。 } else { return 0。 int i,j。i++) { ch=39。in。jm。jm。 int *p=NULL。count。 Print(head,Available,M)。 printf(您是否要繼續(xù)操作 (Y/N):\n)。) { exit(0)。 } flag=Safety_Algorithm(head,Available,Safety,Record_work,M,count)。 Return_Source(pro,Request,Available,M)。|| ch==39。)。 長治學院學士學位論文（設計） 29 printf(您是否還要繼續(xù)操作 (Y(y)/N(y)\n))。 Print_After_Safety(head,Safety,Record_work,M,count)。Y39。 scanf(%c,amp。 if(1==flag) { printf(當前系統是安全的，可進行試探分配 !\n)。 for(i=0。 int Request[M]={0}。 } printf(\n)。 } printf(\t)。 while(p!=NULL) { 銀行家算法避免死鎖的研究與實現 26 if(pnum==safety[i]) { printf(%,pnum)。 for(j=0。 p=head。 { for(i=0。 } puts()。 // i++。 while(p!=NULL) { finish[i]=pnum。 work=(int*)malloc(m*sizeof(int))。i++) { record[pnum][i]=work[i]。 } else { continue。 pNeed[i]=pNeed[i] request[i]。im。i++) { scanf(%d,amp。 scanf(%d,amp。 } else { while(p!=NULL) { if(pnum==pro_num) { break。j++) { printf(%4d,avail[j])。j++) { printf(%4d,pAllocation[j])。 } puts()。 for(i=0。 } void Print(process *head,int *avail,int m) { process* p=NULL。 for(i=0。i++) { scanf(%d,amp。 printf(請初始化一組進程 ,進程編號從 P0 開始，輸入 1 結束輸入 :\n)。node,sizeof(process))。 int Max[M]。 參考文獻 [1] 嚴蔚敏 ,吳偉民 .數據結構 (C 語言版 )[M].北京 :清華大學出社 ,2020. [2] 湯小丹 ,梁紅兵 ,哲鳳屏 等 .計算機操作系統 (第三版 )[M].西安 :西安電子科技大學出版社 ,2020. [3] 譚浩強 .C 語言程序設計 [M].北京 :清華大學出版社 ,2020. [4] 于帆 ,趙妮 .程序設計基礎 [M].北京 :清華大學出版社 ,2020. [5] 羅宇 .操作系統課程 [M].北京 :設計機械工業(yè)出版社 ,2020. [6] 黃水松 ,黃干平 ,曾平 .計算機操作系統 [M].武漢 :武漢大學出版社 ,2020. [7] 鞠時光 .操作 系統原理 [M].武漢 :武漢理工大學出版社 ,2020. [8] 何炎祥 ,熊前興 .操作系統原理 [M].武漢 :華中科技大學出版社 ,2020. [9] 張麗芬 ,劉美華 .操作系統原理教程 [M].北京 :電子工業(yè)出版社 ,2020. [10] 陳火 .數據結構與算法 [M].廣東 :中山大學出版社 ,2020. [11] 鄭扣根 .操作系統概念 (第七版 )[M].北京 :高等教育出版社 ,1992. [12] 趙莉 ,楊國梁 ,孫喁喁 ,徐飛 .Java 程序設計教程 [M].西安 :西安科技大學出版社 ,2020. [13] 陳向群 ,向勇 ,王雷 .Windows 操作系統原理 (第二版 )[M].北京 :北京機械工業(yè)出版社 ,2020. 長治學院學士學位論文（設計） 13 Bankers Algorithm To Avoid Deadlock Research and Implementation Major:Computer Science and technology Name: Wang Zidan Student ID: 09407227 Supervisor:Shan Fenli Abstract:Bankers algorithm what Dijkstra put forward is the most representative of the algorithm to avoid deadlock, thi