| 基于临界区划分的实时事务并发控制机制 |
| |
| 引用本文： | 夏家莉,王文乐,朱文婷,曹重华.基于临界区划分的实时事务并发控制机制[J].小型微型计算机系统,2013,34(4). |
| |
| 作者姓名： | 夏家莉 王文乐 朱文婷 曹重华 |
| |
| 作者单位： | 1. 江西财经大学软件与通信工程学院,南昌,330032
2. 江西财经大学会计学院,南昌,330013 |
| |
| 基金项目： | 国家自然科学基金项目，江西省自然科学基金项目 |
| |
| 摘 要： | 针对支持功能替代的实时事务模型,根据替代做处理的数据对象将替代划分为若干个临界区,提出了临界区动态相容检测方法,提出了基于临界区动态相容的并发控制策略COR-CCS:分区封锁策略、支持预释放的封锁策略、按序提交策略和级联回滚策略,并给出了相应的并发控制实现算法.当实时系统中存在资源冲突时,若高优先级替代未完成的临界区与低优先级替代动态相容,可令二者并发执行.实验仿真结果证明,COR-CCS策略有利减少低优先级替代等待时间、提高系统成功率和CPU有效利用率.
|
| 关 键 词： | 功能替代 并发控制 临界区 动态相容 |
COR-based Concurrency Control Strategies in the Real-time Transaction Model Supporting Functional Alternatives |
| |
| XIA Jia-li
,
WANG Wen-le
,
ZHU Wen-ting
,
CAO Zhong-hua.COR-based Concurrency Control Strategies in the Real-time Transaction Model Supporting Functional Alternatives[J].Mini-micro Systems,2013,34(4). |
| |
| Authors: | XIA Jia-li WANG Wen-le ZHU Wen-ting CAO Zhong-hua |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
