小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
6期
1349-1353
,共5页
非阻塞同步%锁无关%消隐技术%栈%状态转换图
非阻塞同步%鎖無關%消隱技術%棧%狀態轉換圖
비조새동보%쇄무관%소은기술%잔%상태전환도
non-blocking synchronization%lock-free%elimination technology%stack%state transition diagram
随着对实时系统的实时性和系统服务要求的不断提高,基于多核/多处理器硬件平台的实时系统成为发展趋势.相应的高性能实时操作系统需具有更高的硬实时性和可靠性,并避免优先级逆转、死锁.相比阻塞同步,非阻塞同步在提高实时系统性能、确定性和容错性等方面具有优势,有利于实现上述要求.设计锁无关数据结构是实现非阻塞同步的方法之一.文章介绍了锁无关算法的基本结构,提出一种采用消隐技术的锁无关栈算法及证明锁无关算法正确性的理论方法,并证明了该锁无关栈算法的正确性.实验结果表明,该算法提高了访问共享数据的执行速度,并避免了死锁、优先级逆转、低容错性等缺点.
隨著對實時繫統的實時性和繫統服務要求的不斷提高,基于多覈/多處理器硬件平檯的實時繫統成為髮展趨勢.相應的高性能實時操作繫統需具有更高的硬實時性和可靠性,併避免優先級逆轉、死鎖.相比阻塞同步,非阻塞同步在提高實時繫統性能、確定性和容錯性等方麵具有優勢,有利于實現上述要求.設計鎖無關數據結構是實現非阻塞同步的方法之一.文章介紹瞭鎖無關算法的基本結構,提齣一種採用消隱技術的鎖無關棧算法及證明鎖無關算法正確性的理論方法,併證明瞭該鎖無關棧算法的正確性.實驗結果錶明,該算法提高瞭訪問共享數據的執行速度,併避免瞭死鎖、優先級逆轉、低容錯性等缺點.
수착대실시계통적실시성화계통복무요구적불단제고,기우다핵/다처리기경건평태적실시계통성위발전추세.상응적고성능실시조작계통수구유경고적경실시성화가고성,병피면우선급역전、사쇄.상비조새동보,비조새동보재제고실시계통성능、학정성화용착성등방면구유우세,유리우실현상술요구.설계쇄무관수거결구시실현비조새동보적방법지일.문장개소료쇄무관산법적기본결구,제출일충채용소은기술적쇄무관잔산법급증명쇄무관산법정학성적이론방법,병증명료해쇄무관잔산법적정학성.실험결과표명,해산법제고료방문공향수거적집행속도,병피면료사쇄、우선급역전、저용착성등결점.
