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

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

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