论文部分内容阅读
实时控制系统通常需要维护大量的时态数据对象，这些时态数据对象是现实世界不断变化的物理环境的逻辑表示．应用事务通过对时态数据对象的访问来产生最终的控制活动．在实际应用中，实时控制系统不仅需要确保事务能在规定的期限内完成，也需要保证事务存取的是时态一致性的数据对象．传统的实时并发控制协议强调事务截止期的满足，而忽略了事务对其所存取数据对象有时态一致性需求．本文首先给出了数据和事务时态一致性的形式化定义，在此基础上，提出了一种新的能确保时态一致性的实时并发控制协议：时态一致性高优先级两段锁协议（TCHP-2PL