事務管理器軟件構架及調(diào)度優(yōu)化方法研究.pdf

1、本文的研究背景是某飛機顯控系統(tǒng)對嵌入式數(shù)據(jù)庫的應用需求預研項目。為提高事務管理器事務調(diào)度的成功率及軟件的構架性能,對事務管理器的混合事務調(diào)度、并發(fā)控制及軟件構架模型進行研究。
　　 首先通過引入工作流參考模型、元模型等工作流技術來分析調(diào)度流程,構建事務管理器的功能模型,并采用BPEL語言對事務調(diào)度過程進行形式化描述。進而針對事務調(diào)度,引入混合事務調(diào)度的概念,給出混合事務調(diào)度模型,并對非周期性事務調(diào)度進行研究。通過TB*算法縮短非

2、周期性事務截止期,促進非周期事務的響應時間,從而減少事務的截止期錯失率。
　　 其次,在事務管理器領域設計階段,以面向?qū)ο蠛兔嫦驑嫾椒ㄕ摓橹笇?建立初始類模型、細化類模型等來描述對象的結構關系,并使用交互模型和狀態(tài)模型來描述對象行為。引入算法模式和代理機制對軟件構架模型進行優(yōu)化,提高軟件構架性能。在進一步細化的基礎上,針對存在的不必要的事務重啟,引入時間戳矢量的概念,提出改進的基于時間戳矢量的樂觀并發(fā)控制算法,解決事務不必要重