实时事务调度及静态可调度性分析  

Real-time Transaction Scheduling and Schedulability Analysis

作　　者：许贵平[1] 刘云生[1] 

机构地区：[1]华中科技大学计算机科学与技术学院,武汉430074

出　　处：《计算机科学》2005年第10期110-113,共4页Computer Science

基　　金：国家自然科学基金(60073045)

摘　　要：在类似闭环控制的硬实时数据库应用环境,实时事务具有一定的静态可预报性,其中实时事务的可调度性分析是维护实时数据库时间正确性的基础。通过利用抢占阈值,提出了一种新的实时事务处理模型,它集成了CPU调度和数据调度,实现离线并发控制,具有单阻塞的特征与好的静态可预测性,并有利于降低事务系统的负载和改善可调度性。进一步由此建立了实时事务的静态可调度性分析模型以及求最优可行调度的整数规划模型,该模型有利于达到实时事务调度的整体优化。In hard real-time database applications for closed loop control environments, real-time transactions may have some predictabilities, and schedulability analysis is critical to maintaining their time correctness. This paper proposes an integrated real-time transaction-processing model by use of preemption threshold. Its special off-line concurrency control can bound priority：inversion time, and may reduce the run-time overhead and improve schedulability. Based on schedulability analysis, this paper also presents the conditions of feasible transaction scheduling for given real-time transaction set, and an integer programming model for constructing optimal scheduling, which is of benefit to the whole optimization of scheduling.

关 键 词：实时数据库 实时事务调度 可调度性分析 实时事务调度 可调度性分析 整数规划模型 实时数据库 实时事务处理 CPU调度 应用环境 闭环控制 可预报性 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论] TP393[自动化与计算机技术—计算机科学与技术]