面向嵌入式實(shí)時(shí)數(shù)據(jù)庫系統(tǒng)的并發(fā)控制策略的研究.pdf

1、本文針對(duì)傳統(tǒng)的并發(fā)控制協(xié)議不能為嵌入式實(shí)時(shí)數(shù)據(jù)庫系統(tǒng)提供高可靠性的問題，借助實(shí)時(shí)事務(wù)功能替代模型和事務(wù)價(jià)值等基本原理，探討了一種新的面向嵌入式實(shí)時(shí)數(shù)據(jù)庫系統(tǒng)的并發(fā)控制策略。
　　該策略采用基于功能替代的實(shí)時(shí)事務(wù)模型，針對(duì)功能替代性可以通過加強(qiáng)事務(wù)的適應(yīng)能力和應(yīng)變能力來提高事務(wù)的成功率這一特點(diǎn)，進(jìn)行相關(guān)研究，并取得了一定進(jìn)展。這些工作包括：第一，提出了一種新的實(shí)時(shí)事務(wù)預(yù)分析方法，通過事務(wù)分解和可調(diào)度性分析兩個(gè)步驟，保證了并發(fā)控制策略

2、正確實(shí)施：第二，通過靜態(tài)分析替代之間的相容性問題，為消除同一事務(wù)內(nèi)的沖突提供了有利條件；第三，提出最優(yōu)替代選擇算法。該算法通過有針對(duì)性的對(duì)替代進(jìn)行選擇，從而盡量避免沖突事務(wù)的產(chǎn)生。即使沖突不可避免，也可以選擇最優(yōu)替代參與并發(fā)控制，減少?zèng)_突的數(shù)量；第四，針對(duì)沖突事務(wù)的消解問題，本文借鑒事務(wù)價(jià)值理論，提出了基于價(jià)值函數(shù)的沖突消解算法，保證在達(dá)到消解目的的同時(shí)系統(tǒng)收益最大化，提高了實(shí)時(shí)事務(wù)的成功率。
　　通過理論分析與仿真實(shí)驗(yàn)表明，本文