维护数据时间一致性的实时事务调度策略研究-research on real - time transaction scheduling strategy for maintaining data time consistency.docx

华中科技大学博士学位论文 华 中 科 技 大 学 博 士 学 位 论 文 I I 摘 要 作为实时数据服务系统的核心组件，实时数据库需解决数据的实时性维护与事 务的实时性维护这两方面的问题。然而由于大量多变的实时数据的存在，系统负载 的不确定性等因素，实时数据库通常难以满足这两种实时性要求。另一方面，当前 对于实时数据库系统的研究多集中在事务的实时性维护方面，对于如何有效的维护 数据的实时性，如何根据用户的要求与系统本身的特点来同时满足两种实时性要求 的研究则比较欠缺，而这两点却又是实时数据服务的关键之所在。论文正是从这两 方面来展开研究。 数据的实时性，通常定义为时态合法性，由传感器事务来维护。一个好的传感 器事务调度算法需具有高的可调度性，产生尽量少的数据更新负载及较小的运行开 销。在分析了现有的几种主要调度算法（HH，ML 与 DS-FP 算法）的基础上，论文 提出一种使用时间片交换的延迟调度算法 DS-EXC。进而对 DS-EXC 算法进行了扩 展，研究了多处理机上的 DS-EXC 算法与执行时间可变情况下的 DS-EXC 算法。 现有的按需更新策略在计算导出数据值前需等待其所有的依赖数据更新完毕， 而在一些应用中根据部分最新的依赖数据值即可计算出满足用户要求的导出值。由 此提出不完全导出更新计算策略。传统按需更新策略可视为不完全导出更新的一个 特例。 在映象数据的实时性已得到保证的基础上，研究了如何调度实时查询集，使其 中所有查询均可访问相互一致性数据，且能在截止期之前完成或完成总时间最小， 给出了最优算法和启发式算法。 为了解决在动态系统负载下同时维护数据与事务实时性的问题，提出了一种基 于服务质量的策略 UTDS-FC。策略通过数据质量调整，接纳控制与反馈控制来满足 用户给定的数据质量与事务质量。进而考虑到不同用户对服务质量的不同要求，提 出了多事务类下的 UTDS-FC 策略。 现有的传感器事务调度算法均是基于一个事先给定的实时数据集，不能满足实 II II 时数据的动态增加或减少，实时数据特征动态变化的情况。为此，研究了考虑数据 时态合法性的传感器事务调度切换算法。根据现有调度算法及实时数据的特点，给 出了传感器事务调度切换模型及两种具体的切换算法。 关键词：实时数据库 时态合法性 传感器事务 不完全导出更新 服务质量 PAGE VI PAGE VI Abstract As the key to the real-time data service, real-time database systems should support transaction timeliness while preserving data freshness. This is challenging due to factors such as the existence of a large quantity of real-time data, unpredictable system workloads and so on. Unfortunately, most of the studies of real-time databases focus on transaction timeliness instead of efficiently maintaining data freshness or satisfying both of them according to users’ requirements and system characteristics. The latter two are more critical for real-time data service and are the subjects of this thesis. The temporal validity of real-time data is normally maintained by sensor transactions. A good scheduling algorithm should have high schedulability，generate low update workloads and low run-time cost. Base on the analysis of HH, ML and DS-FP, a new algorithm called deferrable scheduling with time slice exchange (DS-EXC) is proposed. DS-EXC is then extended to multi-processor