摘要

针对支持功能替代的实时事务模型,根据替代做处理的数据对象将替代划分为若干个临界区,提出了临界区动态相容检测方法,提出了基于临界区动态相容的并发控制策略COR-CCS:分区封锁策略、支持预释放的封锁策略、按序提交策略和级联回滚策略,并给出了相应的并发控制实现算法.当实时系统中存在资源冲突时,若高优先级替代未完成的临界区与低优先级替代动态相容,可令二者并发执行.实验仿真结果证明,COR-CCS策略有利减少低优先级替代等待时间、提高系统成功率和CPU有效利用率.