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

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