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

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

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