嵌入式数据库系统的事务调度a-citeseerx.pdfVIP

1000-9825/2002/13(08)1692-06 ©2002 Journal of Software 软 件 学 报 Vol.13, No.8 嵌入式数据库系统的事务调度 1 1,2 1 刘云生 , 夏家莉 , 许贵平 1(华中科学技术大学 计算机科学与技术学院,湖北 武汉 430074); 2(江西财经大学 会计学院,江西 南昌 330013) E-mail: xiajl65824@263.net 摘要: 针对嵌入式数据库系统的实时性和高可预见性,提出了基于功能替代的事务模型.该模型改善了实时事 务对动态实时环境的应变能力. 由于受功能替代性的影响,事务调度分为内部调度和外部调度,提高了系统的成 功率.研究了实时事务的可调度性分析,并给出了相应的内部调度策略,最后作出模拟性能分析. 关 键 词: 数据库系统;嵌入式系统;事务调度 中图法分类号: TP311 文献标识码: A 嵌入式数据库系统(EDBS)通常作为软件部件镶嵌于设备中或实时应用环境中,故一般也是实时数据库系 统.另外,系统常常在无人工干预情况下运行,所以EDBS 的事务调度不仅需要较高的成功率,而且应具有较强的 预见能力. 目前的嵌入式数据库系统,如Empress RDBMS,ObjectivityDB,c-tree Plus 等,在模型和并发控制机制上 [1] [2] 并无新意 .它们沿用了普通数据库系统的一些控制机制,或部加以分改造 ,没有解决系统成功率低和预见能 力弱的问题. 为了在实时动态环境下提高 EDBS 的成功率,我们提出了支持功能替代性的事务模型以及相应的调度策 略,其意义体现在两个方面:(1) 嵌入式系统必须具备可预见能力,在尽可能无人工干预下透明地运行[1],要求实 时事务应具备较强的对实时环境的应变能力,功能替代为此提供语义支持;(2) 以替代作为并发控制和调度的 基本单位可以提高事务的成功率. 1 嵌入式实时事务模型与特性 一个具有时间限制的应用为一个实时事务,它由若干任务(或事务步)组成,为适应嵌入式环境高应变能力 和高可靠性的要求,每个任务又由若干功能等价的子事务组成,在每个任务(事务步) 中取一个且只取一个子事 务所组成的集合称为该事务的一个“替代集”,一个替代集中各子事务按相应任务在事务中的顺序执行,则是该 [3] 事务的一个“替代” . 定义1. 设TS={TKi |1≤i≤n}为事务T 的任务集,称: F ① SUB(TK )={st |∀j ≠k(st ←→ st ),1≤j ,k≤m }(i=1,2,…,n)为任务TK 的功能等价子事务集; i ij ij ik i i ②fx ={st |∀TK ∈TS(∃|st ∈SUB(TK )),1≤i≤n,1≤j ≤m }为T 的一个功能替代集; ij i ij i i ③ 四元组FT=〈fx ,FR ,FC ,〉为T 的一个替代.FR ,FC 和 分别为关于fx 的资源需求集、约束集和时序. t t F 其中, ←→ 表示“功能等价”,∃|表示“存在一个也只存在一个”. 收稿日期: 2001-04-18; 修改日期: 2001-08-16 基金项目: 国家自然科学基金资助项目; 国家“十五” 国防预研