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

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