基于替代的嵌套事务夭折策略*

在支持功能替代的实时事务模型中,实时事务调度分为内部调度和外部调度两级,同时也改变了事务夭折模式。高性能的夭折策略有利于提高事务的成功率,减少不必要的资源开销。研究针对基于替代的事务模型,以及与事务两级调度策略相对应的两级夭折模式,并给出具体策略和算法。仿真实验结果表明,该方法能够较好地减少系统不必要的开销,提高系统成功率。     

嵌入式数据库系统的事务调度

针对嵌入式数据库系统的实时性和高可预见性,提出了基于功能替代的事务模型.该模型改善了实时事务对动态实时环境的应变能力.由于受功能替代性的影响,事务调度分为内部调度和外部调度,提高了系统的成功率.研究了实时事务的可调度性分析,并给出了相应的内部调度策略,最后作出模拟性能分析.     

实时数据库的事务调度策略分析

实时数据库系统的事务调度策略是系统用来处理实时事务的调度方法.基于调度事务的不同类别产生各异的策略,分析目前各类事务调度策略的优缺点及适应类型,提出新的定时调度和传统的优先级调度相结合的想法.     

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

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

异构实时多处理器系统的动态调度算法研究

实时多处理器系统的动态调度算法一直是实时系统中的重要研究课题.根据异构实时多处理器的特点,提出了一种新的异构实时动态调度算法P_IEFT.该算法采用了一个新的处理器分配策略——将任务分配到能最早完成任务的处理器上.该策略能够缩短调度长度,提高后继任务被接受的可能性,从而能够提高成功调度率.模拟结果表明,该调度算法的成功调度率高于近视算法和节约算法的成功调度率.     

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

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

实时数据库基于功能替代的事务模型

本文提出一种基于功能替代的实时事务模型,讨论了对实时事务进行预分析的步骤、策略和方法。采取的主要策略是三步法:分解实时事务、提取有关运行信息、形成调度树。另外,文章对功能替代集的可调度性进行了初步分析。     

运行时间自适应的事务调度算法

实时数据库中是基于事务的不同优先级进行事务的调度,所以事务优先级的确定对实时数据库的效率有着至关重要的作用。本文讨论了一个运行时间自适应的事务调度算法,对算法思想和调度策略进行了深入的研究。该算法事务的估计运行时间与CPU时钟无关,具有自适应的能力,并且可以得到周期性事务的准确运行时间,对于周期性事务比例比较高的应用系统非常适合。     

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

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

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

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

软件事务存储自适应竞争管理策略研究

在并行程序设计中,软件事务存储(STM)是对传统基于锁的同步机制的一种替代方式。其中竞争管理器用于消解事务冲突,决定哪个事务继续执行,哪个事务放弃,对于STM系统的性能有非常重要的影响。但是当前已有的竞争管理策略因受限于环境负载和STM系统的参数配置,性能表现往往是不稳定的。因此,提出了一种自适应的竞争管理策略(ACM),该策略通过构建竞争管理器池(Contention Manger Pool)和自适应竞争管理算法动态地为STM系统选择当前最优的竞争管理策略。实验结果表明ACM不仅可以通用于不同环境而且其平均性能也优于现有的静态竞争管理策略。     

Divergence control for distributed database systems

This paper presents distributed divergence control algorithms for epsilon serializability for both homogeneous and heterogeneous distributed databases. Epsilon serializability allows for more concurrency by permitting non-serializable interleavings of database operations among epsilon transactions. We first present a strict 2-phase locking divergence control algorithm and an optimistic divergence control algorithm for a homogeneous distributed database system, where the local orderings of all the sub-transactions of a distributed epsilon transaction are the same. In such an environment, the total inconsistency of a distributed epsilon transaction is simply the sum of those of all its sub-transactions. We then describe a divergence control algorithm for a heterogeneous distributed database system, where the local orderings of all the sub-transactions of a distributed epsilon transaction may not be the same and the total inconsistency of a distributed epsilon transaction may be greater than the sum of those of all its sub-transactions. As a result, in addition to executing a local divergence control algorithm in each site to maintain the local inconsistency, a global mechanism is needed to take into account the additional inconsistency Recommended by: Meichum Hsu     

基于功能替代的嵌入式实时事务提交策略

在嵌入式实时数据库系统中,实时事务执行效率的高低直接影响着整个数据库系统性能的好坏。因此有必要对嵌入式实时事务进行有效预分析和预处理,以支持实时事务实现定时限制。文章给出了一种基于功能替代并且考虑实时事务定时性、功能替代性、多种相关性的实时事务提交策略,大大提高了实时事务执行的成功率。     

分布式海洋石油勘探系统主控软件关键算法

介绍了自行研制的分布式石油勘探系统的主控软件的关键算法。软件界面用XWindow/Motif通用界面语言实现,采用多线程并行处理和分布式事务处理技术,实现了主控节点对其他节点的有效监控和振子图的实时显示。并通过数值算法很好地抑制了环境积分噪音。基于该文所介绍的算法,软件系统实时性强,稳定性高,扩展性好。     

Shared-nothing并行事务数据库系统中规则的挖掘与更新算法

关联规则是数据挖掘中的一个重要研究内容．本文提出了Shared—nothing并行事务数据库系统(简称SNPDBS)中一种快速的关联规则挖掘算法SNPMAR，并考虑当最小支持度发生变化后SNPDBS中关联规则的高效更新问题，提出了一种有效的关联规则更新算法SNPIUA．     

IC卡联机交易系统仿真技术

为了解决IC卡应用产品在开发和测试过程中涉及网络系统联机交易的问题，对系统进行仿真成了必不可少的手段，通过成功的系统仿真，不仅解决许多难题，还为技术交流和培训提供一个直观而便利的环境，提高开发工作效率。该文以联机交易中的典型——“圈存交易”为例，详细介绍了联机交易仿真系统的构成，关键算法及程序设计要领。     

On scheduling transactions in a grid processing system considering load through Ant Colony Optimization

Load balanced transaction scheduling problem is an important issue in distributed computing environments including grid system. This problem is known to be NP-hard and can be solved by using heuristic as well as any meta-heuristic method. We ponder over the problem of the load balanced transaction scheduling in a grid processing system by using an Ant Colony Optimization for load balancing. The problem that we consider is to achieve good execution characteristics for a given set of transactions that has to be completed within their given deadline. We propose a transaction processing algorithm based on Ant Colony Optimization (ACO) for load balanced transaction scheduling. We modify two meta-heuristic along with ACO and three heuristic scheduling algorithms for the purpose of comparison with our proposed algorithm. The results of the comparison show that the proposed algorithm provides better results for the load balanced transaction scheduling in the grid processing system.     

一种面向混合实时事务调度的并发控制协议

首先给出了一个两层结构的混合实时数据库系统模型,其中支持采用非定期任务调度算法来改进系统的性能．进一步,针对这种模型下混合事务的数据一致性问题,提出了一种新的并发控制协议——MCC-DATI．该协议采用动态优先级驱动的调度算法,通过限制非定期的软实时事务对硬实时事务的阻塞时间,保证硬实时事务的可调度性;同时,采用非定期任务调度算法以及基于时间戳间隔的动态串行化顺序调整机制来减少软实时事务的截止期错失率．仿真实验表明,相对于先前的混合事务的并发控制协议,该协议在不同的系统负载与截止期约束下都能够改进系统的性能。