一种动态调整串行化顺序的实时并发控制协议

实时并发控制协议用来控制并发事务间的相互作用,已满足实时数据库的一致性.本文提出一种四阶段实时并发控制协议HTRCC-DASO,协议在读或等待阶段基于事务优先级动态调整串行化顺序,通过阻塞或及早重启低优先级事务,使高优先级事务率先提交并降低事务重启开销.在验证阶段检查事务读写集合的外部一致性和相互一致性并调整活动事务的时间戳间隔,确保满足事务时态一致性和调度冲突可串行化.通过引入相似性概念,提出了HTRCC-DASO的改进版本:SHTRCC-DASO,性能测试结果显示,SHTRCC-DASO协议能保证良好的实时性能.

支持移动更新的弱可串行化实时并发控制

研究了非对称通信数据广播环境中的一致性问题,提出使用弱可串行化正确性准则.形式化定义了弱可串行化这种新的正确性准则,证明了弱可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证弱可串行化的充分必要条件.基于时标段排序原理,提出了可在移动客户端同时支持更新事务和只读事务的弱可串行化实时并发控制协议WBCC-MUR.通过性能评价实验验证了新协议的有效性:WBCC-MUR协议能有效改进移动事务的平均响应时间、更好地满足数据广播环境中高性能事务处理的要求.

确保时态一致性的实时并发控制协议

实时控制系统通常需要维护大量的时态数据对象,这些时态数据对象是现实世界不断变化的物理环境的逻辑表示.应用事务通过对时态数据对象的访问来产生最终的控制活动.在实际应用中,实时控制系统不仅需要确保事务能在规定的期限内完成,也需要保证事务存取的是时态一致性的数据对象.传统的实时并发控制协议强调事务截止期的满足,而忽略了事务对其所存取数据对象有时态一致性需求.本文首先给出了数据和事务时态一致性的形式化定义,在此基础上,提出了一种新的能确保时态一致性的实时并发控制协议:时态一致性高优先级两段锁协议(TCHP-2PL).为了实现更好的实时性能,我们对TCHP-2PL进行了改进,通过引入相似性概念,提出了TCHP-2PL的改进版本:STCHP-2PL.性能测试结果显示,STCHP-2PL在确保时态一致性的同时仍能保证很好的实时性能.

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

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

广播环境中的Q可串行化实时并发控制

研究了实时广播中的数据一致性问题。传统冲突可串行化并发控制协议对非对称通信的广播环境来说过于严格且不必要。为此,提出使用Q可串行化形式化定义了Q可串行化,证明了它虽比传统冲突可串行化宽松但能始终保证数据一致性,基于可动态调整串行化顺序的时标段排序方法给出了相应的并发控制协议。实验结果表明新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。

广播环境中伪可串行化实时并发控制协议

为在广播环境中同时有效支持移动更新事务和移动只读事务,提出一种可在移动客户端同时支持更新事务和只读事务的伪可串行化实时并发控制协议。形式化定义了伪可串行化,证明了伪可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证伪可串行化的充分必要条件。基于时标段排序原理,提出了相应的实时并发控制协议。通过性能评价实验验证了新协议的性能。实验结果表明,新协议可显著改进移动事务的平均响应时间。

数据广播中т-可串行化移动实时事务并发控制

研究了实时数据广播环境中的一致性维护问题。由于广播环境的非对称通讯特性,传统可串行化并发控制方法过于严格而不必要;现有放松可串行化方法都会导致数据库受限不一致、使各个用户读取受限不一致数据。提出了使用т-可串行化并发控制,首先形式化定义了т-可串行化正确性准则,证明了它虽比传统可串行化宽松但能始终保证数据一致性,使各个用户始终读取一致性数据,进而给出了相应的并发控制协议。实验结果表明,新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。

一种自适应多版本实时事务并发控制新方法:AMVCC

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

广播环境中的移动实时事务并发控制

研究了实时数据广播中的一致性问题 .由于广播环境的通信不对称性 ,传统的可串行化并发控制协议显得过于严格、不必要、不可行 .为此 ,提出使用伪可串行化并发控制 :形式化定义了伪可串行化的概念 ,证明了它虽比传统可串行化宽松但能保证数据一致性 ,给出了相应的并发控制协议 .实验结果表明 :新协议可显著降低平均响应时间 。

基于准一致性可串行化的并发控制协议

人们基于准一致性可串行化的正确性标准,提出了一种乐观并发控制协议,提高了事务执行的并发度,更有利于实时事务定时限制的满足。