区分移动实时事务关键性的并发控制策略

在移动实时数据库系统中,事务的关键性代表实时事务的时间紧迫性,由于实时事务的紧迫程度不同,为了保证事务的时间正确性,因而有必要区分事务的关键性提出相应的并发控制策略。该文按满足截止时间的重要性将实时事务分为软、硬事务加以研究,在此基础上分别提出了三种区分事务关键性的优先级并发控制策略,对三种优先级策略进行了性能比较并提出了改进方法。研究结果表明,将实时事务按关键性分类有利于设计事务优先级分派及调度策略。     

区分移动实时事务关键性的并发控制策略

在移动实时数据库系统中,事务的关键性代表实时事务的时间紧迫性,由于实时事务的紧迫程度不同,为了保证事务的时间正确性,因而有必要区分事务的关键性提出相应的并发控制策略。该文按满足截止时间的重要性将实时事务分为软、硬事务加以研究,在此基础上分别提出了三种区分事务关键性的优先级并发控制策略,对三种优先级策略进行了性能比较并提出了改进方法。研究结果表明,将实时事务按关键性分类有利于设计事务优先级分派及调度策略。     

分片段的移动实时数据库事务模型

由于移动计算环境的固有特性、数据访问者的移动性、事务的截止期限制等,传统平坦事务模型无法满足移动实时数据库的需求.本文针对移动实时数据库事务的特点,提出了一种分片段移动实时数据库事务模型.     

实时主动数据库有效性检查并发控制协议

在实时主动数据库中,事务不仅有时间约束,而且事务执行可能触发其它事务执行。传统并发控制协议不适应于实时主动数据库系统。该文研究了实时主动数据库事务执行模式,提出了有效性检查并发控制协议。协议使用动态调整串行次序策略,避免不必要的事务重启动。通过仿真模拟与HP2PL协议和OCC-TI-WAIT-50协议进行了比较。结果表明,该协议能有效地降低事务延误截止时间率和事务重启动率,性能优于HP2PL和OCC-TI-WAIT-50协议。     

移动实时数据库系统中的更新分发

数据广播作为移动计算环境下有效的数据分发技术已有许多研究,当数据广播用于发送不断更新的数据时称它为更新分发．现有的更新分发协议因没有考虑实时数据库系统中数据和事务的定时要求而不适合移动实时只读事务的处理．重点研究了移动实时数据库系统中更新分发的问题,提出了混合前向多版本数据广播协议,该协议在保证事务一致性的同时满足了数据和事务的定时约束．模拟实验表明,该协议能够有效地降低事务错过率和提高数据流行性,较现有更新分发协议更适合移动实时只读事务的处理．     

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

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

大型实时数据库系统设计及并发控制调度

系统地分析了大型实时数据库系统的应用环境和功能需求，提出了企业大型实时数据库的体系结构、设计思路和实现方法，研究了实时主动数据库事务执行模式，提出了有效性检查并发控制协议。协议使用动态调整串行次序策略，避免不必要的事务重启动，并能有效降低事务延误截止时间。该实现方法在工程应用中取得了良好的效果。     

大型实时数据库系统设计及并发控制调度

系统地分析了大型实时数据库系统的应用环境和功能需求,提出了企业大型实时数据库的体系结构、设计思路和实现方法, 研究了实时主动数据库事务执行模式,提出了有效性检查并发控制协议。协议使用动态调整串行次序策略,避免不必要的事务重启动,能有效降低事务延误截止时间,在工程应用中取得了良好的效果。     

大型实时数据库系统设计及并发控制调度

系统地分析了大型实时数据库系统的应用环境和功能需求,提出了企业大型实时数据库的体系结构、设计思路和实现方法,研究了实时主动数据库事务执行模式,提出了有效性检查并发控制协议.协议使用动态调整串行次序策略,避免不必要的事务重启动,并能有效降低事务延误截止时间.该实现方法在工程应用中取得了良好的效果.     

实时数据库事务的正确性及实现算法

实时数据库系统中事务可以有定时限制（典型地为截止期）,事务超过截止期可能给系统带来灾难性后果,事务不光要满足数据库的完整性与一致性,而且要满足在时间上的正确性以及事务之间在结构上的正确性,传统的事务处理方法仅着眼于事务存取数据库的正确性,对于时间正确性与结构正确性无能为力,详细讲座了实时事务的正确性,包含结果正确性、时间正确性、行为正确性及结构正确性,已有的研究成果中大多用不央的算法及策略来保证不同的正确性要求;给出了保证实时事务正确性的一个统一的图论算法。     

关于实时数据库事务

实时数据库事务显示了与传统数据库事务的很大不同．这些不同主要表现在事务的复杂结构、定时特性、相关性和正确性方面．本文先分析了实时数据库事务的应用特征与需求，并给出了一个复杂事务结构的框架，然后着重讨论实时事务间的相关性：结构相关、数据相关、行为相关，以及实时事务的结果、结构、行为及时间正确性．     

主动实时嵌套事务的正确性

传统数据库通过并发控制协议及事务的恢复机制来保证事务的正确性。在主动实时数据库系统中,为了更好地支持应用,人们提出并实现了嵌套事务模型。主动实时嵌套事务的正确性比传统的原子事务更复杂。本文详细分析了主动实时嵌套事务的正确性,包括逻辑正确性、时间正确性、结构相关(正确)性及事务的行为正确性,基于事务的经历模型给出这些正确性的定义,为主动实时嵌套事务的正确性实现提供了理论基础。     

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

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

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

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

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

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

无线移动环境中的拉式实时并发控制机制

考虑到诸如带宽、移动性、频繁断接等限制，传统可串行化并发控制协议显得过于严格而无法满足移动实时数据库环境的要求。该文首先形式化定义并分析了弱可串行化正确性准则，弱可串行化比传统冲突可串行化宽松且能始终保证数据库的一致性。进而给出了一种适宜于移动实时数据库的弱可串行化并发控制协议WMHP-2PL。最后性能实验证实了新协议的有效性。     

基于预分析的实时事务处理

实时数据库系统中事务可能有实时限制（典型地为截止期），事务超过截止期可能给系统带来灾难性后果，这就要求系统能对事务的执行进行预分析与预安排，传统事务处理由于事务执行过程中的多种不确定因素（数据I／O，页面缺失，事务之间的各种相关性等），事务执行具有动态不可预报性，提出了一种事务预分析处理的三段法，数据说明阶段的静态预分析提取事务静态信息；初始动态预分析阶段构造事务的“影了事务”，并在适当的时机调度影子事务执行，以保证事务操作之前所需数据已在内存，事务执行时动态预分析阶段构造事务的相关性，为事务执行的结构，行为及时间正确性提供统一的实现机制，事务执行具有更好的可预报性，从而事务能更好地满足截止期。