论文部分内容阅读
嵌入式实时数据库系统设计目的是在最小的干涉和最小的系统影响下进行数据处理,它通常需要对环境做出实时反应。为适应嵌入式实时数据库系统的特殊要求,夏家莉教授提出了基于替代/补偿的实时事务模型,在此模型支持下系统具备更高的可预见能力,可以更好地实现无人工干预地运行。替代性与补偿性是嵌入式实时数据库实时事务的新特点,也给事务处理技术带来新的挑战,不能直接引用传统的事务处理策略和方法。夏教授及其科研团队对基于替代/补偿的事务模型,在事务预分析、接纳控制策略、调度策略和并发控制策略等方面做了初步研究。为了进一步地实现并发控制和事务调度等后续处理,必须完成基于替代/补偿模型下事务的优先级分派等前期工作。
论文第一章阐述了选题的背景和意义,介绍了实时事务的研究现状和优先级分派的研究现状,说明了本文的研究内容和组织结构。第二章从单项指标(包括事务的时间特性和事务的价值)和复合指标(包括有利于系统成功率和有利于系统收益)分析已有的优先级分派算法,并对这些策略进行详细的比较,为本文的研究提供理论支持。第三章分析了基于替代/补偿的事务模型及其处理技术,包括事务模型、二重调度策略、并发控制策略和优先级分派策略四个部分。第四章首先分析了事务优先级和替代优先级之间的关系,接着给出本文优先级分派策略PBAC策略的思路,并且对替代的价值密度和紧迫性进行了详细的分析。构造出实时事务的价值函数,并且给出静态价值密度和动态价值密度表达式,并且利用替代在放行时的空余时间表示替代的紧迫性。接着提出了优先级分派策略PBAC。其中替代优先级分派从动态性、紧迫性两个方面进行考虑;利用最高继承、最低继承、平均继承和加权继承四种不同的继承方式继承替代的优先级得到事务优先级继承函数,然后分别从乐观和悲观的角度考虑事务的执行度的影响,构造出不同的事务优先级分派函数。
PBAC(Priority Based on Alternative and Compensate)策略包括替代优先级分派 PFA(Priority Function of Alternative)和事务优先级分派 PFT(Priority Function of Transaction)两个部分。其中,PFA策略又包括非紧急静态价值密度大者优先、非紧急动态价值密度大者优先、紧急静态价值密度大者优先和紧急动态价值密度大者优先四种策略。动态性表示优先级在执行全过程中动态变化,通过价值密度进行描述;紧急性表示替代执行的紧急程度,由替代在放行时的空余时间描述。PFT策略包括可替代优先和非替代优先两种策略,前者重视事务的应变能力,而后者更重视减轻系统的管理成本。它们根据代表事务执行能力的执行度调整优先级,事务的优先级继承替代的优先级。PBAC策略结合支持替代/补偿事务的新特点并借鉴经典的优先级分派算法构造得来,提高了事务的适应能力和应变能力,最终提高了系统的成功率和收益值,具有很高的理论意义。