實時數(shù)據(jù)庫的研究及在移動通信系統(tǒng)中的應(yīng)用.pdf

1、該文介紹了實時數(shù)據(jù)庫的體系結(jié)構(gòu)和多種執(zhí)行模型,包括任務(wù)/事務(wù)模型、資源模型、負(fù)載模型和調(diào)度模型.實時事務(wù)是實時數(shù)據(jù)庫處理的核心,也是該文的重點之一.該文從實時數(shù)據(jù)庫處理的核心,也是該文的重點之一.該文從實時事務(wù)的模型和特征,尤其是截止時間及其軟硬性出發(fā),詳細(xì)介紹了事務(wù)的優(yōu)先級分派、調(diào)度、并發(fā)控制協(xié)議和算法、沖突解決策略、死鎖解決策略等事務(wù)處理方法.這些問題之間彼此高度相關(guān).實時數(shù)據(jù)庫系統(tǒng)的正確性就是與實時限制緊密相聯(lián)的數(shù)據(jù)一致性和事務(wù)正

2、確性.該文中對此作了較為詳細(xì)的討論,指出RTDB的一致性包括內(nèi)部一致、外部一致和相互一致;事務(wù)正確性包括結(jié)果正確性、行為正確性、結(jié)構(gòu)正確性和時間正確性.進(jìn)一步的關(guān)鍵問題是判斷正確性的準(zhǔn)則和表示方法,對此文中提出了一個經(jīng)歷模型,它可方便地用來說明各種恰當(dāng)?shù)恼_性.本著研究應(yīng)立足于為實際應(yīng)用服務(wù)的態(tài)度,研究人員開發(fā)了實時內(nèi)存數(shù)據(jù)庫系統(tǒng)HLRDB .這是一個基于多線程的實時內(nèi)存數(shù)據(jù)庫系統(tǒng).該文對其中的一些主要技術(shù).如HLRDB 的體系結(jié)構(gòu)、實