基于时间间隔的分布式实时并发控制协议

Distributed Real-time Concurrency Control Protocol Based on Time Interval

针对基于分布式循环验证策略的乐观并发控制协议中出现的验证延迟问题,提出一种基于时间间隔的分布式实时并发控制DOCC-DATI协议。协议通过在读阶段设置验证锁,调整事务的串行化顺序,使高优先级事务阻塞与其冲突的低优先级事务,并使高优先级事务优先进入验证阶段。实验结果表明,DOCC-DATI协议可以避免验证死锁,并允许子事务独立地进行验证,相比分布式循环验证策略,DOCC-DATI协议可减少验证延迟和优先级反转现象的发生,降低实时事务错失截止期率。