0 引言
在嵌入式實(shí)時(shí)環(huán)境下,基于替代的事務(wù)模型已經(jīng)被證明可以較好地提高實(shí)時(shí)數(shù)據(jù)庫系統(tǒng)的事務(wù)成功率。針對(duì)此事務(wù)模型,事務(wù)包含若干功能等價(jià)的替代,任一替代成功執(zhí)行則該事務(wù)可以提交。在事務(wù)截止期內(nèi),事務(wù)的某一替代夭折并不代表該事務(wù)夭折,當(dāng)存在其他可執(zhí)行替代時(shí),系統(tǒng)依然可調(diào)度這些可執(zhí)行替代繼續(xù)執(zhí)行;當(dāng)事務(wù)所有替代都夭折或不可執(zhí)行時(shí),該事務(wù)才夭折。該事務(wù)夭折模式有別于傳統(tǒng)事務(wù)夭折,目前尚未見研究報(bào)道。為了更好地提高系統(tǒng)的成功率,減少系統(tǒng)資源的消耗,有效解除阻塞,本文針對(duì)上述事務(wù)夭折特點(diǎn),研究相應(yīng)的夭折策略,以期發(fā)揮替代特性的優(yōu)勢(shì),降低資源浪費(fèi),提高事務(wù)成功率。