-
题名改进型锁无关双端队列的设计与实现
被引量：4
- 1
-
-
作者
杨东升
张连法
-
机构
中国科学院沈阳计算技术研究所
中国科学院研究生院
-
出处
《计算机系统应用》
2012年第3期125-129,共5页
-
基金
国家科技重大专项(2011ZX04016-071)
-
文摘
高性能实时系统对系统性能、确定性和容错性有着更高的要求。非阻塞同步在任务同步方面满足要求,实现方法之一就是设计锁无关数据结构。介绍了设计锁无关数据结构算法的关键技术,通过对已有算法不足的分析提出了一种改进型的锁无关双端队列算法,介绍了对该算法的实验分析和实际应用。实验结果表明,该算法提高了访问双端队列的执行速度,并避免了多任务间同步引发的死锁、优先级逆转、低容错性等缺点。
-
关键词
非阻塞同步
锁无关
双端队列
RTAI
-
Keywords
non-blocking synchronization
lock-free
double-ended queue
RTAI
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名嵌入式操作系统中非阻塞的同步机制
被引量：1
- 2
-
-
作者
张丽
李仁发
彭蔓蔓
凌纯清
-
机构
湖南大学计算机与通讯学院
-
出处
《计算机应用研究》
CSCD
北大核心
2004年第3期88-90,共3页
-
文摘
传统阻塞同步的缺点在于容易引起进程死锁和优先级的翻转,为了有效解决此类问题,出现了一种新的同步机制———非阻塞同步,该同步机制主要包括锁自由同步和等待自由同步。介绍了非阻塞同步在操作系统中的实现前提———同步原语和类型稳定的存储器管理以及它的实现技术,最后根据嵌入式系统的特点,提出了把非阻塞同步用于嵌入式操作系统的思想。
-
关键词
非阻塞同步
嵌入式操作系统
-
Keywords
Non-blocking Synchronization
Embedded Operating System
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种采用消隐技术的锁无关栈算法
被引量：2
- 3
-
-
作者
张连法
杨东升
秦承刚
-
机构
中国科学院研究生院
中国科学院沈阳计算技术研究所
-
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第6期1349-1353,共5页
-
基金
国家科技重大专项项目(2011ZX04016-071)资助
-
文摘
随着对实时系统的实时性和系统服务要求的不断提高,基于多核/多处理器硬件平台的实时系统成为发展趋势.相应的高性能实时操作系统需具有更高的硬实时性和可靠性,并避免优先级逆转、死锁.相比阻塞同步,非阻塞同步在提高实时系统性能、确定性和容错性等方面具有优势,有利于实现上述要求.设计锁无关数据结构是实现非阻塞同步的方法之一.文章介绍了锁无关算法的基本结构,提出一种采用消隐技术的锁无关栈算法及证明锁无关算法正确性的理论方法,并证明了该锁无关栈算法的正确性.实验结果表明,该算法提高了访问共享数据的执行速度,并避免了死锁、优先级逆转、低容错性等缺点.
-
关键词
非阻塞同步
锁无关
消隐技术
栈
状态转换图
-
Keywords
non-blocking synchronization
lock-free
elimination technology
stack
state transition diagram
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名事务存储研究
被引量：1
- 4
-
-
作者
黄国睿
张平
魏广博
马航
-
机构
解放军信息工程大学信息工程学院
北京北方计算中心
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第2期335-340,共6页
-
基金
国家863高技术研究发展计划基金项目(2006AA01Z408)
-
文摘
为了研究多核处理器系统上的并行编程问题,开展了对事务存储模型的研究。阐述了事务存储,介绍了事务存储系统的实现方法,利用4种事务存储系统详细阐述了事务存储的实现;重点讨论了6种影响事务存储发展的关键技术,即实现方式、数据结构组织、并发控制、冲突检测、争用管理等;提出了事务存储将向着软硬件结合、提升性能、提高正确性和满足多核应用需求的方向发展。
-
关键词
并行编程
事务存储
并发控制
非阻塞同步
争用管理
-
Keywords
parallel programming
transactional memory
concurrent control
nonblocking synchronization
contention management
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名非阻塞同步在嵌入式操作系统中的实现
被引量：1
- 5
-
-
作者
张丽
王兴
郝身刚
彭蔓蔓
-
机构
南阳师范学院计算机科学系
湖南大学计算机与通信学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第21期84-86,共3页
-
文摘
提出了把非阻塞同步机制应用于嵌入式操作系统的新设想,同时通过修改嵌入式操作系统内核源码的方法对其进行了实现。针对内核中共享资源的不同特点,综合使用了锁自由和等待自由两种不同性质的非阻塞同步策略,同时改进了锁自由的同步算法,并对原有的等待自由同步算法进行简化,使新内核具有较小的同步开销和较好的实时性能。
-
关键词
非阻塞同步
嵌入式操作系统
锁自由
等待自由
-
Keywords
Non-blocking synchronization
Embedded operating system
Lock-free
Wait-free
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于机器视觉系统的非阻塞型链式复合缓冲队列设计
被引量：1
- 6
-
-
作者
苑玮琦
魏成禹
-
机构
沈阳工业大学视觉检测技术研究所
辽宁省机器视觉重点实验室
-
出处
《电脑与信息技术》
2018年第4期17-20,27,共5页
-
文摘
在机器视觉在线检测系统中,使用数据缓冲队列技术可以提升系统检测速度的上限。但由于队列在同步数据过程中,可能发生满阻塞和互斥阻塞的情况,这样又降低了数据缓冲队列带来的性能提升。为此提出一种链式复合结构,消除队列在同步数据时的阻塞问题。针对机器视觉系统中,相机成像与图像处理之间的单生产者/单消费者并发模型,实现了对图像数据的非阻塞同步,运行效率达到了wait-free级别,避免了各类阻塞给队列带来的性能损失。将该复合结构应用于雪糕棒表面缺陷在线检测系统中,经测试该方法可有效提高视觉检测系统的运行效率和鲁棒性。
-
关键词
机器视觉
缓冲队列
单生产者/单消费者模式
非阻塞同步
WAIT-FREE
-
Keywords
machine vision
buffer queue
single producer/consumer mode
the non-blocking synchronization
wait-free
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
