| 一种采用消隐技术的锁无关栈算法 |
| |
| 引用本文： | 张连法,杨东升,秦承刚. 一种采用消隐技术的锁无关栈算法[J]. 小型微型计算机系统, 2013, 34(6) |
| |
| 作者姓名： | 张连法 杨东升 秦承刚 |
| |
| 作者单位： | 1. 中国科学院研究生院,北京100039;中国科学院沈阳计算技术研究所,沈阳110168
2. 中国科学院沈阳计算技术研究所,沈阳,110168 |
| |
| 摘 要： | 随着对实时系统的实时性和系统服务要求的不断提高,基于多核/多处理器硬件平台的实时系统成为发展趋势.相应的高性能实时操作系统需具有更高的硬实时性和可靠性,并避免优先级逆转、死锁.相比阻塞同步,非阻塞同步在提高实时系统性能、确定性和容错性等方面具有优势,有利于实现上述要求.设计锁无关数据结构是实现非阻塞同步的方法之一.文章介绍了锁无关算法的基本结构,提出一种采用消隐技术的锁无关栈算法及证明锁无关算法正确性的理论方法,并证明了该锁无关栈算法的正确性.实验结果表明,该算法提高了访问共享数据的执行速度,并避免了死锁、优先级逆转、低容错性等缺点.
|
| 关 键 词： | 非阻塞同步 锁无关 消隐技术 栈 状态转换图 |
Lock-free Stack Algorithm Using Elimination Technology |
| |
| ZHANG Lian-fa , YANG Dong-sheng , QIN Cheng-gang. Lock-free Stack Algorithm Using Elimination Technology[J]. Mini-micro Systems, 2013, 34(6) |
| |
| Authors: | ZHANG Lian-fa YANG Dong-sheng QIN Cheng-gang |
| |
| Abstract: | |
| |
| Keywords: | non-blocking synchronization lock-free elimination technology stack state transition diagram |
| 本文献已被 万方数据 等数据库收录！ |
|
