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