分布式实时事务一阶段实时提交

给出了分布式实时事务一致性实时提交协议的形式化定义和一致性实时提交协议的正确性准则;在此基础上,提出了适合于分布式实时事务的一致性实时提交协议———一阶段实时提交协议(1PRCP),1PRCP通过参与者与协调者的一次消息交换,在一个阶段完成分布式实时事务的提交活动.结合超时恢复协议,1PRCP能避免由于站点故障或网络通信链路故障而导致的阻塞.研究结果证明了1PRCP的正确性和优越性.

实时任务管理器的设计及其实现

文中讨论了一种基于实时任务截止时间管理的并发控制方法,该方法在实时多任务环境中,针对具有固定截止时间的任务,实现多任务的并发控制和调度,以保证实时任务执行的可预测性(在其截止时间之内完成),并在QNX实时操作系统上实现,取得了较好的实时任务管理特性。

基于快照机制的事务处理及其在RTDBS中的应用

为解决事务处理中的数据并发访问问题,该文提出了一种基于内存快照的加锁机制,并研究了这种机制在传统事务中的应用;此外,还探讨了快照机制在解决实时数据库系统的事务执行期限问题和全回卷问题等方面的应用。

主动实时数据库事务及其处理

主动实时数据库事务较之传统数据库事务要复杂得多．文中首先对主动实时数据库事务的语义模型、依赖关系进行了初步的探讨；然后简要地分析了主动实时事务的构造及执行特征，并提出了截止时间计算模型；最后介绍了我们研制的一个主动实时ＤＢＭＳ原型系统ＡＲＴＳ－Ｉ中主动实时事务的管理机制．

移动分布式实时事务实时原子提交

形式地给出了移动分布式实时事务实时原子提交协议的定义,在此基础上提出了适合于移动分布式实时事务的实时原子提交协议:一阶段实时原子提交协议(1PRACP)。1PRACP通过参与者与协调者的一次消息交换,在一个阶段完成移动分布式实时事务提交活动;结合超时恢复处理协议,1PRACP能避免由于站点故障或网络通信链路故障而导致的阻塞。对1PRACP进行了性能比较和评测,显示了它在各方面的优越性。

支持断接的移动实时事务调度

在移动计算环境中,事务移动性和频繁断接使得传统实时事务调度机制不足以支持移动实时事务的执行。该文给出了一个支持无线网络频繁断接的软实时事务调度协议SSRTD。该协议是基于事务具有扩展截止期和结果相似性进行设计的,并可根据移动主机的连接状况决定事务执行结果的发送时间。通过性能测试,表明所提出的调度策略能提高移动实时事务的成功率。

基于数据截止期的实时并发控制策略

针对调度具有实时数据的并发控制问题,通过对数据时间特性及数据截止期对事务并发控制的影响进行分析,提出了基于数据截止期的实时并发控制策略,能够有效解决调度具有时间限制的实时数据并发控制问题.分析表明与已有的实时并发控制方法相比,降低了事务重启个数及超截止期百分率,提高了系统的性能,更适应于实时应用.

分布式主动实时数据库基于多优先级队列的优先级分派

事务的分布性和事务触发的不可预测性使得分布式主动实时数据库系统中的事务调度变得较为复杂.该文给出了立即和推迟两种模式下执行的被触发事务的截止期确定方法和事务紧急度计算方法,并结合事务的应用语义提出了一种基于多优先级队列的优先级分派策略,有利于主动事务和被触发事务的顺利提交.

实时处理系统的数据冲突分解协议

急迫性和时限是实时处理系统的两个重要特征。本文介绍基于这两个特征而设计的数据冲突分解协议及其性能评估,初步分析结果表明,急迫性和时限的分布情况以及相应的数据冲突分解协议对实时处理系统的性能有重要影响。

一种自适应实时事务并发控制新方法

传统的基于锁的并发控制机制重点考虑数据的一致性和事务的并发度,不能很好地满足实时数据库系统对时态一致性的要求。结合锁,多版本和有效性确认等并发控制机制,提出了一种并发控制的新方法——自适应多版本实时事务并发控制方法:AMVCC。此并发控制方法可根据具体情况自适应地采用不同的并发控制机制,能够有效提高事务的并发度和截止时间内完成事务的数量。通过可行性分析知:此方法在性能上优于传统基于锁的并发控制方法。

混合事务的ERtTDF调度算法及可调度性分析

在实时数据库及数据处理系统中,针对周期性实时事务,应用经典的EDF等调度算法对其可以得到可行的调度;而对于混合实时事务-事务的时间性质是混合的,经典EDF不太适用。文中扩展EDF为最早实时事务截止期优先-ERtTDF(EarliestReal-timeTransactionDeadlineFirst),它可以有效地调度混合事务。文中给出了其可调度条件和时间需求条件,并把时间需求条件扩展到时限小于周期以及引入资源共享控制等方面,最后给出了集成调度实时、非实时以及混合事务的系统框架。通过性能比较,可以得到ERtTDF算法处理上面事务模型时性能较经典EDF更优。

一种自适应多版本实时事务并发控制

传统的基于锁的并发控制机制重点考虑数据的一致性和事务的并发度,不能很好地满足实时数据库系统对时态一致性的要求.结合锁、多版本和有效性确认等并发控制机制,提出了一种并发控制的新方法——自适应多版本实时事务并发控制方法:AMVCC.该法可根据具体情况自适应地采用不同的并发控制机制,有效提高了事务的并发度和截止时间内完成事务的数量.通过可行性分析性能优于传统并发控制方法.

基于遍历有向非循环图的实时事务调度算法

移动环境下实时数据库系统负载的不可预测,以及实时事务争夺有限的系统资源经常导致实时事务重启或夭折。传统的实时事务调度算法已不适应,在用有向非循环图表示数据相互间的导出关系的基础上,提出一种基于遍历这种图的实时事务调度算法。结合实时数据对象的时间域和值域有效性,系统适当地丢弃一些低价值的更新事务以减轻系统负载。仿真实验表明:算法一定程度上降低了事务错过截止期比率并提高了数据新鲜度。

更新导出数据对象的实时事务调度算法

提出两种遍历有向非循环图的更新导出数据对象事务调度算法,并且建立了相应评估系统性能的价值模型用来检验算法执行效率。通过系列仿真实验表明两种算法在一定程度上提高了系统性能。

实时数据库系统中事务的差分服务

实时数据库系统中不同分类事务时间性限制不同,调度不同事务带给系统的价值不同.同等优先级调度这类事务是不可取的.提出一套衡量系统性能的价值模型,并且在实时数据库系统中结合能耗管理和差分服务调度事务,使得系统以较小的能耗获得更大的价值.仿真实验表明:提出的算法能从一定程度提高系统稳定状态的性能.

分布实时数据库系统中事务处理的研究

分布实时数据库系统中 ,事务的执行受到时间期限的约束。在分析原有理论的基础上 ,对分布实时数据库系统中的事务处理进行了研究 ,重点探讨了提交处理和并发控制两方面 ,并结合乐观法和虚拟锁等技术的思想 。

分布式实时事务提交处理(英文)

由于提交处理的复杂性,分布式实时事务很难满足其截止期.提出了一种新的提交协议A2SC(主动的双空间提交),它适合于分布式实时事务提交处理的需要.分析了由于数据冲突访问而形成的各种依赖关系.当处于准备状态的事务和处于提交状态的事务发生数据冲突访问时,A2SC允许处于执行状态的事务在一种控制的方式下乐观地访问锁住的数据.当处于准备状态的事务夭折时,仅仅只有其夭折依赖集中的事务夭折.进一步提出了没有结果的运行的观念.当一个事务发现它是没有结果的允许时,它将主动夭折.进行了广泛的模拟实验比较A2SC和其它协议比如基准协议、PROMPT和DDCR的性能.模拟结果表明A2SC在最小化错过截止期的事务数方面较成功,因此A2SC适合于高性能分布式实时事务.

分布式实时事务的提交处理研究

详细分析了分布式实时事务的提交处理模型。首先分析了传统分布式提交协议在实时环境中的缺陷。然后介绍了一种专门为实时环境开发的分布式提交协议PROMPT。在此基础上,提出用一阶段协议取代PROMPT中二阶段协议的设计构思,并详细分析了这种优化对提交处理过程的各种影响。

实时数据库事务处理的并发控制策略

实时数据库系统不仅要求数据库的一致性,而且还要满足时间约束。在实时数据库系统中,紧迫性和时限是进行实时事务处理的两个重要特征。本文介绍基于这两个特征的并发控制策略。

根据触发机制的移动实时事务调度算法

在移动实时数据库系统应用中,考虑更新数据间相互关系和实时事务间的触发机制,提出一种反馈调度算法,用来解决事务因竞争有限资源重启或夭折的问题.结合数据时间域和值域有效性,系统适当地丢弃一些价值低的更新事务以减轻系统负载.仿真实验表明,该算法能在正常负载和超载下保证事务错过截止期比率、数据新鲜度等性能参数,达到数据库管理员预置参考值.