面向用户的移动实时事务并发控制策略

摘要

ε-可串行化、△-可串行化、准一致性可串行化等现有面向事务的放松可串行化正确性准则虽能帮助更多无线通信事务满足其截止期要求,但会导致数据的受限不一致.该文针对移动实时环境和应用,形式化定义并分析了ω-可串行化和Ψ-可串行化2种新的面向用户的并发控制策略,它们都比冲突可串行化宽松,但都能始终保证移动用户读取数据的一致性.