銀行家算法避免死鎖的研究與實現_畢業論文(編輯修改稿)

　

【文章內容簡介】 設計） 9 圖 7 試分配后，安全性檢查的程序流程圖 5 程序分析測試 分模塊分析與測試 （ 1)初始化系統資源模塊 Init_process 的測試 圖 8 初始化系統資源模塊 Init_process 的測試 N Y i m？ m？ 恢復系統資源 i=0 i ++。 開始 Int i。 結束 銀行家算法避免死鎖的研究與實現 10 按提示輸入，以 1 結束整個初始化過程，并打印結果。起初效果不理想，經過一些調整后，顯示才比較理想。如圖 8 所示。 (2)試分配模塊 Attempt_Allocation 的測試 圖 9 試分配模塊 Attempt_Allocation 的測試 試分配模塊，主要是在系統進入第一次安全檢查后，對系統資源的一次嘗試性分配，試分配完成后，相關的數據結構被修改。如圖 9 所示。 (3)安全模塊 Safety_Algorithm 的調試 ?試分配前的安全算法，結果如果輸出一個安全性序列，并且經過人工檢查該安全性序列，確實有效，則該模塊正確 ,如圖 10 所示；如果系統不安全，打印出相關信息，返回上一層。如圖 11所示。 圖 10 安全模塊 Safety_Algorithm 的調試的安全狀態 圖 11 安全模塊 Safety_Algorithm 的 調試的不安全狀態 ?試分配后的安全算法，結果如果輸出一個安全性序列，并且經過人工檢查該安全性序列，確實有效，則該模塊正確，如圖 12 所示；否則，之前的試分配作廢，恢復試分配前的資源狀態。如圖 13 所示。 長治學院學士學位論文（設計） 11 圖 12 試分配后輸出一個安全性序列 圖 13 試分配后不安全狀態的資源恢復 集成測試 各模塊測試通過后，集成在一起測試，系統初始資源和模塊測試時保持一致，以下是測試用例以及結果， 基本包括了該算法的所有情況。 （ 1） 06： 結果： 無此進程。 （ 2） 01： Request(2,0,2) 結果： 系統不能滿足。 （ 3） 01： Request(1,0,2) 結果： 兩次安全性檢查都通過，并打印出最終結果。 （ 4） 00： Request(0,2,0) 結果： 試分配后，系統不安全，試分配作廢。 （ 5） 00： Request(0,1,0) 結果： 兩次安全性檢查都通過，并打印出最終結果。 銀行家算法避免死鎖的研究與實現 12 6 結論 銀行家算法避免死鎖的研究與實現作為我的畢業設計。 首先，我在網上收集了一些關于銀行家算法的資料，包括它的起源，以及在實際中多個領域的應用，加深了對它的理解。之后，確定自己設計的算法分四大模塊。首先需要初識化系統資源；其次，安全性檢查；再者，試分配；最后是試分配后的安全性檢查。 在程序測試中出現了很多問題。譬如，死循環，邏輯關系的設計不當，還有顯示效果不理想等等。但通過查閱書本，對算法細節重新建立正確的認識后，再通過單步調試后，最終解決。在集成測試中，由于之前的模塊測試做的比較扎實，所以相對只是一些細節上的問題，很快也達到了預期的效果。 參考文獻 [1] 嚴蔚敏 ,吳偉民 .數據結構 (C 語言版 )[M].北京 :清華大學出社 ,20xx. [2] 湯小丹 ,梁紅兵 ,哲鳳屏 等 .計算機操作系統 (第三版 )[M].西安 :西安電子科技大學出版社 ,20xx. [3] 譚浩強 .C 語言程序設計 [M].北京 :清華大學出版社 ,20xx. [4] 于帆 ,趙妮 .程序設計基礎 [M].北京 :清華大學出版社 ,20xx. [5] 羅宇 .操作系統課程 [M].北京 :設計機械工業出版社 ,20xx. [6] 黃水松 ,黃干平 ,曾平 .計算機操作系統 [M].武漢 :武漢大學出版社 ,20xx. [7] 鞠時光 .操作 系統原理 [M].武漢 :武漢理工大學出版社 ,20xx. [8] 何炎祥 ,熊前興 .操作系統原理 [M].武漢 :華中科技大學出版社 ,20xx. [9] 張麗芬 ,劉美華 .操作系統原理教程 [M].北京 :電子工業出版社 ,20xx. [10] 陳火 .數據結構與算法 [M].廣東 :中山大學出版社 ,20xx. [11] 鄭扣根 .操作系統概念 (第七版 )[M].北京 :高等教育出版社 ,1992. [12] 趙莉 ,楊國梁 ,孫喁喁 ,徐飛 .Java 程序設計教程 [M].西安 :西安科技大學出版社 ,20xx. [13] 陳向群 ,向勇 ,王雷 .Windows 操作系統原理 (第二版 )[M].北京 :北京機械工業出版社 ,20xx. 長治學院學士學位論文（設計） 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, this algorithm can be used for the banking system because of its cash loans. Bankers algorithm is advancing in the premise of ensuring the system security. The first is that security check to process requests, to determine the allocation of resources or not, so as to ensure the safety of the system, to avoid deadlock. This paper on the understanding and analysis of the essential meaning of bankers algorithm as well as the state of the core idea, the algorithm is implemented in the overall design, including the module design of algorithm, and the algorithm of each module through a flow chart, block coding, and testing, the final program in the test, the design ideas on strictly according to the thought of software engineering implementation, to ensure that the design and implementation of feasible, credible. Keywords: bankers algorithm。 deadlock。 avoid deadlock。 secure sequence 銀行家算法避免死鎖的研究與實現 14 致謝 在論文的寫作過程中遇到了無數的困難和障礙，都在同學和老師的幫助下度過了。尤其要感謝我的論文指導老師 —— 陜粉麗 老師，她對我進行了無私的指導和幫助，不厭其煩的幫助進行論文的修改和改進。另外，在校圖書館查找資料的時候，圖書館的老師也給我提供了很多方面的支持與幫助。在此向幫助和指導過我的各位老師表示最 真誠 的感謝！ 此外，還要 感謝我的同學和朋友，在我寫論文的過程中給予我很多素材，還在論文的撰寫和排版 的 過程中提供熱情的幫助。 由于我的學術水平有限，所寫論文難免有不足之處，懇請各位老師批評和指正！ 長治學院學士學位論文（設計） 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。 int Max[M]。 int Allocation[M]。 int Need[M]。 struct my_process* next。 }process。