【摘 要】
：
随着对实时系统的实时性和系统服务要求的不断提高,基于多核/多处理器硬件平台的实时系统成为发展趋势.相应的高性能实时操作系统需具有更高的硬实时性和可靠性,并避免优先级
【机 构】
：
中国科学院研究生院,中国科学院沈阳计算技术研究所
论文部分内容阅读
随着对实时系统的实时性和系统服务要求的不断提高,基于多核/多处理器硬件平台的实时系统成为发展趋势.相应的高性能实时操作系统需具有更高的硬实时性和可靠性,并避免优先级逆转、死锁.相比阻塞同步,非阻塞同步在提高实时系统性能、确定性和容错性等方面具有优势,有利于实现上述要求.设计锁无关数据结构是实现非阻塞同步的方法之一.文章介绍了锁无关算法的基本结构,提出一种采用消隐技术的锁无关栈算法及证明锁无关算法正确性的理论方法,并证明了该锁无关栈算法的正确性.实验结果表明,该算法提高了访问共享数据的执行速度,并避免了死锁、优先级逆转、低容错性等缺点.
其他文献
语言是文化的载体,体现文化的内涵。汉英语言的对比中,语言的运用更是离不开对其文化内涵的理解。从词语选择和语义等方面,分析汉英语言的词汇在不同文化背景下的差异,体现文
随着社会生活信息化和经济活动全球化的到来，英语日益成为我国对外开放和与各国交往的重要工具。为了使英语教育尽快适应我国社会、经济、科技发展和国际交往的需要，《普通高中
语文教学的任务之一是培养学生的阅读能力。阅读是语文教学的中心。它具备听、说、读、写训练的综合性，既是识字的重要途径，又是写作的必备前提。从宏观而言，阅读和写作一样是没
学生教育的最终目标是素质教育，培养学生德、智、体全面发展，结合学生自身的个性，激活锻炼学生的思维，培养时代需要的具有创新性的人才。本文结合多年小学数学教学实践，以新课程标
亚洲主义是形成于19世纪下半叶的一种日本社会思潮和运动,其基本特点是主张建立以日本为盟主的亚洲人联合体,以对抗来自西方的白种人的入侵,到20世纪前期则演变为日本向亚洲
现代公共生活是以独立的公民和社会组织为主体而进行交往活动的场域,公共生活秩序要以系统信任为保障和前提。在现代公共生活中,政府公共权力如何有效运作,从而确立良好形象
目的 联合应用黑色素细胞和表皮细胞构建组织工程化表皮替代物,并应用于色素脱失治疗.方法 利用幼儿包皮分离、培养和扩增出表皮细胞和黑色素细胞,接种于壳聚糖明胶膜,构建成
被害人陈述是指作为自然人的刑事被害人就其所感知的案件事实依法向公安司法机关所做的陈述。就陈述主体而言,作为证据法之被害人并不包含所谓的单位被害人。被害人控诉、被
目的采用反相高效液相色谱法(RP-HPLC)检测大鼠肌肉组织中7种生物胺,并探讨其在法医学中的应用价值。方法以丹磺酰氯为衍生剂,通过ZORBAX Rx-C18反相色谱柱分离,以乙腈-水作
本文介绍盐城步凤方言数词附加“子”尾的现象,并探讨其起因。
This paper introduces the phenomenon of attaching “” tail to the Yancheng Buon dialect nouns and ex