一种采用消隐技术的锁无关栈算法

• 作者: 张连法 杨东升 秦承刚
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 非阻塞同步 锁无关 消隐技术 栈 状态转换图
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 计算机软件与数据库技术
• 页码范围: 1349-1353
• 页数: 5页
• 分类号: TP311
• 字数: 5507字
• 语种: 中文

摘要

随着对实时系统的实时性和系统服务要求的不断提高,基于多核/多处理器硬件平台的实时系统成为发展趋势.相应的高性能实时操作系统需具有更高的硬实时性和可靠性,并避免优先级逆转、死锁.相比阻塞同步,非阻塞同步在提高实时系统性能、确定性和容错性等方面具有优势,有利于实现上述要求.设计锁无关数据结构是实现非阻塞同步的方法之一.文章介绍了锁无关算法的基本结构,提出一种采用消隐技术的锁无关栈算法及证明锁无关算法正确性的理论方法,并证明了该锁无关栈算法的正确性.实验结果表明,该算法提高了访问共享数据的执行速度,并避免了死锁、优先级逆转、低容错性等缺点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	秦承刚		15	95	6.0	9.0
5	杨东升	中国科学院沈阳计算技术研究所	45	460	10.0	20.0
6	张连法		2	6	2.0	2.0