基于替代-補償?shù)膶崟r事務(wù)優(yōu)先級分派策略研究.pdf

1、嵌入式實時數(shù)據(jù)庫系統(tǒng)設(shè)計目的是在最小的干涉和最小的系統(tǒng)影響下進行數(shù)據(jù)處理，它通常需要對環(huán)境做出實時反應(yīng)。為適應(yīng)嵌入式實時數(shù)據(jù)庫系統(tǒng)的特殊要求，夏家莉教授提出了基于替代/補償?shù)膶崟r事務(wù)模型，在此模型支持下系統(tǒng)具備更高的可預見能力，可以更好地實現(xiàn)無人工干預地運行。替代性與補償性是嵌入式實時數(shù)據(jù)庫實時事務(wù)的新特點，也給事務(wù)處理技術(shù)帶來新的挑戰(zhàn)，不能直接引用傳統(tǒng)的事務(wù)處理策略和方法。夏教授及其科研團隊對基于替代/補償?shù)氖聞?wù)模型，在事務(wù)預分析、接

2、納控制策略、調(diào)度策略和并發(fā)控制策略等方面做了初步研究。為了進一步地實現(xiàn)并發(fā)控制和事務(wù)調(diào)度等后續(xù)處理，必須完成基于替代/補償模型下事務(wù)的優(yōu)先級分派等前期工作。 論文第一章闡述了選題的背景和意義，介紹了實時事務(wù)的研究現(xiàn)狀和優(yōu)先級分派的研究現(xiàn)狀，說明了本文的研究內(nèi)容和組織結(jié)構(gòu)。第二章從單項指標（包括事務(wù)的時間特性和事務(wù)的價值）和復合指標（包括有利于系統(tǒng)成功率和有利于系統(tǒng)收益）分析已有的優(yōu)先級分派算法，并對這些策略進行詳細的比較，為本文

3、的研究提供理論支持。第三章分析了基于替代/補償?shù)氖聞?wù)模型及其處理技術(shù)，包括事務(wù)模型、二重調(diào)度策略、并發(fā)控制策略和優(yōu)先級分派策略四個部分。第四章首先分析了事務(wù)優(yōu)先級和替代優(yōu)先級之間的關(guān)系，接著給出本文優(yōu)先級分派策略PBAC策略的思路，并且對替代的價值密度和緊迫性進行了詳細的分析。構(gòu)造出實時事務(wù)的價值函數(shù)，并且給出靜態(tài)價值密度和動態(tài)價值密度表達式，并且利用替代在放行時的空余時間表示替代的緊迫性。接著提出了優(yōu)先級分派策略PBAC。其中替代優(yōu)先

4、級分派從動態(tài)性、緊迫性兩個方面進行考慮；利用最高繼承、最低繼承、平均繼承和加權(quán)繼承四種不同的繼承方式繼承替代的優(yōu)先級得到事務(wù)優(yōu)先級繼承函數(shù)，然后分別從樂觀和悲觀的角度考慮事務(wù)的執(zhí)行度的影響，構(gòu)造出不同的事務(wù)優(yōu)先級分派函數(shù)。 PBAC（Priority Based on Alternative and Compensate）策略包括替代優(yōu)先級分派 PFA（Priority Function of Alternative）和事務(wù)優(yōu)

5、先級分派 PFT（Priority Function of Transaction）兩個部分。其中，PFA策略又包括非緊急靜態(tài)價值密度大者優(yōu)先、非緊急動態(tài)價值密度大者優(yōu)先、緊急靜態(tài)價值密度大者優(yōu)先和緊急動態(tài)價值密度大者優(yōu)先四種策略。動態(tài)性表示優(yōu)先級在執(zhí)行全過程中動態(tài)變化，通過價值密度進行描述；緊急性表示替代執(zhí)行的緊急程度，由替代在放行時的空余時間描述。PFT策略包括可替代優(yōu)先和非替代優(yōu)先兩種策略，前者重視事務(wù)的應(yīng)變能力，而后者更重視減輕