《廣域分散式檔案系統中的一致性服務研究》是依託武漢大學，由龔奕利擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：廣域分散式檔案系統中的一致性服務研究
- 項目類別：青年科學基金項目
- 項目負責人：龔奕利
- 依託單位：武漢大學
項目摘要,結題摘要,
項目摘要
分散式檔案系統是一種非常重要的套用，是雲計算系統的基礎設施，其中的一致性服務是保證用戶套用正確性和至關檔案系統性能的重要組成部分。本項目的目標是為廣域分散式檔案系統設計一個靈活且高效的一致性服務。（1）健壯性：它能適應廣域分散式環境，在動態、不可靠的環境中也能夠持續地提供正確的服務；（2）靈活性：將提供清晰的語義模型，不僅方便用戶描述自己所期望的一致性要求，而且，方便系統實現者快捷、正確地向用戶提供所需的一致性服務；（3）高效性：在保證用戶一致性要求的前提下，提高相關操作的執行效率，改善用戶體驗。要實現這個目標，我們會從理論和實踐兩方面著手，一方面，從理論上建立和分析模型，運用量化的方法進行驗證；另一方面，除了通過可控環境內的模擬，還要在網際網路上進行測試。此外，本項目所設計出的理論模型和驗證機制是通用的，也適用於其他分散式檔案系統，對實際工程具有很重要的現實意義。
結題摘要
本課題研究內容為廣域分散式檔案系統中一致性服務。根據對現有分散式系統中現有一致性模型和服務的分析和研究，本項目建立起了一套形式表達體系，對一致性進行定義和描述，並且在廣域環境非原子性和不可靠性成為常態的情況下，分析一致性協定可能的狀態，狀態間的轉換模型；對提出的一致性協定進行規範的形式化驗證，保證協定的非平凡性，穩定性，一致性，執行一致性，執行可線性化和活性這樣的屬性。在一致性模型的理論基礎上，分析廣域環境下一致性服務的需求多樣性，與性能的平衡和系統環境的不穩定性，針對這樣的特性，從兩個方面著手解決：（1）對於強一致性需求，提出基於檔案變長分塊的分塊加鎖機制；（2）提出了將套用一致性與系統一致性相結合的分散式上下文一致性模型及協定。 本項目不僅提出了模型，還是實現了原型系統，對廣域分散式檔案系統中的一致性服務有很大的性能提升。
