嵌入式實(shí)時(shí)數(shù)據(jù)庫(kù)中的時(shí)態(tài)一致性維護(hù).pdf

1、時(shí)間是宇宙中無(wú)所不在的特性，所有的信息都應(yīng)該具有相應(yīng)的時(shí)態(tài)屬性。然而傳統(tǒng)的數(shù)據(jù)庫(kù)都是固定的“當(dāng)前視圖”，即在數(shù)據(jù)庫(kù)中的信息是其在某一個(gè)時(shí)刻的瞬像，但是卻認(rèn)為是當(dāng)前的，這對(duì)于現(xiàn)代應(yīng)用來(lái)說(shuō)還遠(yuǎn)遠(yuǎn)不夠。在某些系統(tǒng)中，如數(shù)據(jù)通信、交通指揮、證券與股票交易、作戰(zhàn)指揮自動(dòng)化等信息的時(shí)態(tài)還起著關(guān)鍵的作用。它們所處理的數(shù)據(jù)往往是“短暫”的，即在一定的時(shí)間范圍內(nèi)有效，過(guò)時(shí)則無(wú)意義。 嵌入式實(shí)時(shí)數(shù)據(jù)庫(kù)（ARTs-EDB）是一個(gè)嵌入式的主動(dòng)實(shí)時(shí)數(shù)據(jù)庫(kù)

2、，以?xún)?nèi)存數(shù)據(jù)庫(kù)（MMDB）做底層支持，MMDB事務(wù)在運(yùn)行過(guò)程中沒(méi)有內(nèi)外存數(shù)據(jù)I/O。ARTs-EDB設(shè)計(jì)的多線程模塊化的線程結(jié)構(gòu)適應(yīng)嵌入式微內(nèi)核的結(jié)構(gòu)，具有靈活、快速和移植性好的特點(diǎn)，是整個(gè)系統(tǒng)構(gòu)建的基礎(chǔ)。 ARTs-EDB事務(wù)的定時(shí)限制是由事務(wù)的截止期體現(xiàn)的，事務(wù)的截止期要求事務(wù)必須在它的截止期之前完成，否則事務(wù)對(duì)數(shù)據(jù)庫(kù)產(chǎn)生的影響可能是有害的。而數(shù)據(jù)的定時(shí)限制是通過(guò)數(shù)據(jù)的采集時(shí)間（sampling time）和數(shù)據(jù)的時(shí)間有效區(qū)

3、間（temporal validity interval）來(lái)體現(xiàn)的。到目前為止，關(guān)于嵌入式實(shí)時(shí)數(shù)據(jù)庫(kù)的研究大多集中在如何滿足事務(wù)的截止期（deadline），而對(duì)數(shù)據(jù)的定時(shí)限制則考慮的較少。 ARTs-EDB中的事務(wù)和數(shù)據(jù)都具有顯示的定時(shí)限制。系統(tǒng)的正確性不僅依賴(lài)事務(wù)執(zhí)行的邏輯結(jié)果，還依賴(lài)于邏輯結(jié)果產(chǎn)生的時(shí)間。ARTs-EDB不但要考慮數(shù)據(jù)庫(kù)內(nèi)部狀態(tài)的一致性，還要考慮數(shù)據(jù)庫(kù)外部狀態(tài)與內(nèi)部狀態(tài)的一致性，數(shù)據(jù)自身的時(shí)間一致性，以及數(shù)