中文摘要：

在支持替代/补偿实时事务模型中，事务包含多个替代，且①替代的执行依赖于事务的执行；②事务的提交依赖于替代的提交；③仅当事务的全部替代均夭折时，事务才夭折。替代为事务执行提供了多种途径，使其可以根据系统环境选择最优路径执行，可提高事务成功率。本项目中，我们对替代/补偿实时事务模型的并发控制机制等内容进行了研究，并取得以下工作①分析了事务截止期、空闲时间和价值等因素对事务优先级的影响，提出了一种事务(替代)优先级动态分派策略；②对于周期性事务，利用达到时间可预知的特性，分析作业（替代）之间的关系，提出了一种无冲突并发控制协议；③针对二重调度模式，研究了替代和事务多层次嵌套结构的夭折策略和重启策略；④将硬实时事务的替代划分为若干个临界区，提出了临界区动态相容检测方法以及并发控制策略，提高了冲突环境下的系统性能；⑤研究了实时事务的补偿任务调度时机问题，并提出一种根据任务紧迫度的调度算法，提高了系统成功率和累积价值；⑥构造了一个基于替代/补偿的嵌入式实时数据库的原型系统。上述成果对复杂实时环境下的实时调度等相关问题给出了相关的处理策略，在柔性制造、自动化控制及航空航天等领域具有重要应用价值。