基于功能替代的实时事务调度

实时数据库事务除满足一般的一致性（完整性）限制外必须满足时限，故高成功率的调度策略是系统的关键，该文提出了一种基于功能替代性的事务模型，它定义事务为若干任务（事务步）的集合，每个任务又由若干功能等价的子事务组成，在每个任务（事务步）中取一个子事务就组成该事务的一个替代，该模型具有较强的描述能力，文章研究了事务预分析的策略与方法，分析了事务的可调度性，在此基础上，给出了相应的调度策略与方法，替代成为事务调度和并发控制的基本单位，一个替代成功执行则该事务可提交，但某替代夭折时还可选另外的替代，只有当全部替代都失败或超过（或必定会超过）截止期时，该事务才夭折，事务的替代特性使事务的执行有多条路径，提高了事务的适应能力和应力能力，从而提高了事务的成功率，文章还针对一个实验系统进行了模拟实验与性能分析。     

移动分布式实时嵌套事务提交

在移动分布式计算环境中,事务移动性和无线网络固有的缺陷使得传统的分布式实时事务管理机制不足以支持移动分布式实时事务的执行,故有必要为移动实时事务研究新的事务处理机制,以提高其成功率.着重研究移动实时事务的提交机制.首先,通过分析移动分布环境中实时事务的特点给出了一个基于功能替代的移动实时嵌套事务模型.然后,提出了一个基于此模型的三层提交结构以及能够保证移动实时事务原子性和结构正确性的三阶段实时提交协议3PRTC(three-phase real-time commit).性能测试表明,所提出的事务模型及其提交机制能够提高实时事务的成功率.     

基于临界区划分的实时事务并发控制机制

针对支持功能替代的实时事务模型,根据替代做处理的数据对象将替代划分为若干个临界区,提出了临界区动态相容检测方法,提出了基于临界区动态相容的并发控制策略COR-CCS:分区封锁策略、支持预释放的封锁策略、按序提交策略和级联回滚策略,并给出了相应的并发控制实现算法.当实时系统中存在资源冲突时,若高优先级替代未完成的临界区与低优先级替代动态相容,可令二者并发执行.实验仿真结果证明,COR-CCS策略有利减少低优先级替代等待时间、提高系统成功率和CPU有效利用率.     

一种实时数据库系统的基于时间戳的多版本并发控制协议

实时数据库系统的定时限制包括数据的定时限制和事务的定时限制,一个好的并发控制协议必须要较好地满足这些定时限制。文章详细讨论了与并发控制有关的实时数据和实时事务的各种特征以及分类。并根据这些特点对传统数据库系统的多版本并发控制机制进行了扩展,提出了一种基于时间戳的多版本实时数据库系统的并发控制协议。该协议对硬实时事务不产生任何延迟,能够很好地保证实时事务和实时数据的定时限制,缺点是该并发控制协议仅是一个准一致性的协议。     

基于价值密度的替代与事务优先级分派策略

针对基于替代/补偿的实时事务模型中的优先级分派问题,提出基于价值密度的替代与事务优先级分派策略PBAC。在PBAC中,替代优先级基于替代的价值密度,并与替代的执行时间和紧迫性相关,事务优先级继承自替代的优先级,并受事务执行度的影响。仿真实验结果证明,该策略使系统可以更好地对基于替代/补偿的事务模型进行调度。     

功能替代实时事务模型的二重调度算法

二重调度算法分析了功能替代实时事务模型的基本特征,提出一种动态记录系统实时环境的数据结构,进而提出快速执行事务内部调度的若干策略,包括最佳替代的选择策略、替代夭折策略及替代重启策略.实验结果证明,当系统能够存在资源冲突时,该算法能够显著提高事务的成功执行率和事务系统的可靠性.     

实时数据库系统中的并发控制协议及分析

实时数据库系统是事务和数据都具有显示的时间限制的数据库系统,与传统的数据库系统相比,其调度和并发控制策略、方法、机制有所不同。该文在分析实时数据库系统事务并发执行的新特点的基础上,介绍了几种具有代表意义的并发控制协议,总结了三种用于分析比较并发控制性能的方法,并分析了上述并发控制协议的性能。     

嵌入式数据库系统中无冲突并发控制协议CCCP

嵌入式实时数据库系统不仅需要较高的成功率．而且往往是在无人工干预的情况下运行，要求事务具备自我调节能力和较强的适应能力．事务必须支持功能替代性，在并发控制策略CCCP中，替代成为并发控制的主体．对于每个实时事务，一个最适合当前运行环境的替代以无冲突的方式调度执行．CCCP基于替代的优先级，对替代进行相容性分析，保护就绪事务，并且有一种开销较低的实现算法．性能分析证明CCCP有利于优选替代，从而有利于提高系统的成功率，适用于嵌入式实时数据库系统．     

满足嵌入式实时数据库系统的可预见能力

可预见能力是嵌入式实时数据库系统必须具备的特性，目前还未发现有关的研究报道，我们研制的嵌入式实时数据库系统主要从四个方面提高系统的可预见能力，存取扩展数据，使系统内部控制可见，便于透明地处理系统纠偏；基于功能替代的实时事务模型，它支持方案多选，具有丰富的可预见描述能力，支持事件驱动的主动触发机制，能对系统的瞬时发生作出应急反应，多层次的实时事务调度，能大大提高实时事务对动态实时环境的的应变能力和系统的成功率。     

支持替代/补偿的实时调度策略

提出了支持替代／补偿的实时事务模型，该模型上的实时事务具备较强的适应能力和自我纠错能力，适合于嵌入式实时数据库系统．在分析补偿任务的实时性和价值特征的基础上，研究了补偿任务的调度时机，给出了相应的调度策略和实现算法．