FM-Que移动事务模型

在移动计算环境中,传统数据系统的事务处理模型不能较好地支持移动事务的处理,故有必要研究支持移动计算环境的移动事务模型及事务处理协议。针对移动计算环境的特点,提出了FM-Que移动事务处理模型及其处理协议。FM-Que模型通过采用事务队列机制,固定子事务和移动子事务思想来支持事务移动性和频繁断接性,采用多版本预提交方式来维护数据一致性。     

一种基于移动环境的混合乐观实时事务处理策略

随着移动计算技术的快速发展，移动环境下涉及到实时事务处理的应用需求正逐渐增长．由于移动环境下固有特性：高的网络延迟、频繁的断接性和移动性等，采用传统的事务处理技术，在移动环境下很难满足事务的截止期要求．提出了一种基于高优先级两段锁的混合乐观实时事务并发控制协议(HORTCC—SHP2PL)．该协议在移动实时事务处理中将乐观并发控制和高优先级两段锁结舍起来，利用两阶段提交协议实现移动实时事务的全局提交．为了进一步减少移动实时事务重启的数目．在并发控制协议中引入了相似性的概念．仿真实验显示．与分布式高优先级两段锁(HP2PL)比较，HORTCC—SHP2PL明显地减少了实时事务错过截止期的比率，提高了事务的并发度，能更好的满足移动实时事务截止期的要求．     

移动实时嵌套事务的并发控制

在移动计算环境中，事务移动性和无线网络固有的缺陷使得传统分布式实时事务管理机制不足以支持移动实时事务的执行，故有必要为移动实时事务研究新的事务处理机制以提高其成功率．该文着重研究移动实时事务的并发控制机制．首先，该文给出了一个考虑事务定时限制以及移动性的嵌套事务模型．然后，为减少移动分布式环境中解决数据冲突的开销，该文研究了一种结合优先级夭折和优先级继承的基于封锁的并发控制协议PAI-2PL．当高优先级事务被低优先级事务阻塞时，对于相同家族事务，采用优先级继承方法解决冲突；而对于不同家族事务，则夭折重启低优先级事务．另外，为减少由于断接所引起的无效阻塞，PAI-2PL允许低优先级事务夭折处于断接状态的高优先级事务．通过性能测试，表明所提出的事务模型及并发控制机制能提高实时事务的成功率．     

一种移动实时事务调度策略

支持无线网络断接和提高实时事务的成功率是移动计算环境下实时事务处理要解决的两个主要问题。本文首先提出了一个优先级分配策略,它考虑了无线网络断接性;然后提出了一个冲突事务定义,它减小了事务冲突的概率;最后给出一个基于此的避免冲突的事务调度策略,它使事务调度和并发控制高度集成,降低了系统的事务管理开销,提高
高了事务成功率。     

移动实时提交协议的恢复处理与通信分析

三层实时提交协议(3LRTC)是为支持事务移动性、断接性、实时性及功能替代性等设计的一种移动实时提交协议,该协议能保证移动分布式实时事务放松原子性和结构正确性。该文在分析移动实时事务各参与者提交状态变化的基础上,讨论了3LRTC在发生场地故障和断接时的恢复处理方式,以保证故障发生后数据库能恢复到一个正确的状态。该文还对3LRTC的通信代价进行了分析与比较,结果表明,三层提交结构能减少移动实时事务的通信消息数。     

移动数据库系统乐观事务处理策略

在移动数据库系统中，计算平台的移动性，频繁的断接性以及长事务等特性使得传统的事务处理模式不再适用，为了解决移动数据中的事处处理问题，提出了一种新的移动事务处理模型－乐观两阶段提交移动事务模型（O2PC－MT），该模型采用乐观并发控制与两阶段提交协议相结合的方法，对移动事务的长事务特性提供了灵活与有效的支持，此外，该模型允许移动计算机分多发送中务操作，且在事务执行过程中可以任意移动，从而提供了对交互式事务及随意移动性的支持，实验结果表明，与基于两段锁协议及其变形的其它移动事务处理模型相比，O2PC－MT提高了系统的事务吞吐率并改善了系统的总体性能。     

移动实时事务的相对时间正确性及其实现

随着移动通信技术的迅速发展,人们提出了新的应用要求：在移动环境下处理实时事务．而移动通信的带宽有限性引起较大的数据访问延迟,有时甚至由于网络传输的断接而使得事务得不到所需访问的数据,这些严重影响了移动环境下实时事务截止期的满足．实时事务的时间要求(典型地为截止性)的满足通常比事务执行的逻辑结果的完全正确更为重要．该文提出了移动环境下实时事务的“相对”时间正确性标准,只要事务访问的数据的陈旧度(staleness)在控制的范围内,就不一定要求实时事务访问的数据在事务提交时是有效的．文中提出了移动实时事务的相对时间正确性标准、保证事务相对时间正确性标准的算法及移动实时事务执行模型．所有这些策略一方面降低了移动实时事务的并发控制代价,另一方面以牺牲事务的“绝对”时间正确换取事务截止期的满足,这与实时数据库“宁愿要部分正确但及时的结果而不愿要绝对正确但过时的结果”的系统目标是相一致的．实验表明：相对时间正确性标准的提出及相应的事务执行模型能提高系统中满足截止期事务的比率,从而提高了系统性能．     

移动多数据库事务模型及其可串行化事务管理

提出了一个移动多数据库全局事务模型及其可串行化事务管理技术。该技术通过从各自治站点中获取本地可串行化信息构造全局事务可串行化图GTSG来判定全局事务的可串行性。它支持全局事务的迁移、网络的断接(包括可能发生的灾难性断接)并保证全局事务的关键站点子事务的原子性和隔离性。     

移动事务处理关键技术研究

移动事务处理是移动计算系统的一个基本功能,但是,移动计算系统固有的客户机的移动性、频繁的网络断接以及资源有限等特点限制了传统事务处理技术在移动系统的应用,因此,改进传统事务处理的方法使之适应移动计算的要求是提高移动事务效率的关键.介绍了移动事务的概念,分析了移动事务的特点以及移动事务处理的基本要求,提出了解决移动事务移动性、频繁断接性和数据一致性的关键技术.     

移动数据库中支持断连操作的一种新策略

在移动环境中，为了能够支持断连操作，有两个主要任务：一个是断连前，移动客户机的数据缓存；另一个是重连机后，移动客户机的暂时事务在服务器上重新执行，本文提出了一种新策略；能够提高暂时事务在服务器上重新执行时的提交率。     

Managing real-time database transactions in mobile ad-hoc networks

In a mobile ad-hoc network (MANET), mobile hosts can move freely and communicate with each other directly through a wireless medium without the existence of a fixed wired infrastructure. MANET is typically used in battlefields and disaster recovery situations where it is not feasible to have a fixed network. Techniques that manage database transactions in MANET need to address additional issues such as host mobility, energy limitation and real-time constraints. This paper proposes a solution for transaction management that reduces the number of transactions missing deadlines while balancing the energy consumption by the mobile hosts in the system. This paper then reports the simulation experiments that were conducted to evaluate the performance of the proposed solution in terms of number of transactions missing deadlines, total energy consumption and the distribution of energy consumption among mobile hosts. Recommended by: Ahmed Elmagarmid This work is partially supported by the National Science Foundation grants No. EIA-9973465 and IIS-0312746.     

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

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

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

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

嵌入式实时数据库ARTs-EDB事务调度实现技术

着重讨论了嵌入式实时数据库系统ARTs-EDB中事务调度实现技术。给出了ARTs-EDB中事务的执行模型、状态及状态变迁；设计了一个考虑事务类型和截止期的多层动态可调整优先级分派方法；给出了一个优先级驱动可抢占的实时事务调度策略，以保证更多事务满足截止期要求。     

基于不精确计算移动实时数据库服务质量管理

移动实时数据库服务应用逐渐广泛,但系统负载不可预测和有限资源常导致事务重启或夭折,给系统带来损失甚至灾难。传统的基于最长执行时间实时调度算法已不能满足性能要求,提出结合不精确计算和反馈控制的新算法。考虑更新数据对象间联系并结合时间和值域有效性,提出性能新参数标准去保证系统性能和服务质量。通过仿真实验表明：算法可从稳定性能和暂态性能保证系统预定的服务质量规范。     

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

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

Improving Predictability of Transaction Execution Times in Real-time Databases

We present a design for multi-versionconcurrency control and recovery in a main memory database, anddescribe logical and physical versioning schemes that allowread-only transactions to execute without obtaining data itemlocks or system latches. Our schemes enable a system to providethe guarantee that updaters will never interfere with read-onlytransactions, and read-only transactions will not be delayeddue to data contention. Consequently, transaction executionsbecome more predictable—this partially alleviates a majorproblem in real-time database system (RTDBS) scheduling, namely,significant unpredictability in transaction execution times.As a result, in addition to a transaction's deadline, a moreaccurate estimate of its execution time can also be taken intoaccount, thus facilitating better scheduling decisions. Our contributionsinclude several space saving techniques for the main-memory implementation,including improved methods for logical aging of data items andthe introduction of physical aging for low-level structures.Some of these schemes have been implemented on a widely-usedsoftware platform within Lucent, and the full scheme is implementedin the Dalí main-memory storage manager.     

实时事务调度及静态可调度性分析

在类似闭环控制的硬实时数据库应用环境,实时事务具有一定的静态可预报性,其中实时事务的可调度性分析是维护实时数据库时间正确性的基础.通过利用抢占阈值,提出了一种新的实时事务处理模型,它集成了CPU调度和数据调度,实现离线并发控制,具有单阻塞的特征与好的静态可预测性,并有利于降低事务系统的负载和改善可调度性.进一步由此建立了实时事务的静态可调度性分析模型以及求最优可行调度的整数规划模型,该模型有利于达到实时事务调度的整体优化.     

无线数据广播中动静结合分片段移动实时事务模型

无线广播环境非对称通信等的诸多限制以及数据访问者的移动性及实时性等需求,使平坦事务模型及现有移动事务模型都无法满足无线数据广播中移动实时事务处理的要求。从无线数据广播环境特点出发,针对移动应用需求特征,提出了一种动静结合分片段移动实时事务模型。