【摘 要】
：
微内核架构为操作系统提供了良好的隔离性，高度模块化的架构设计使得微内核架构操作系统对进程间通信的依赖度极高，进程间通信恢复是系统恢复正常运行的关键。权能是微内核架构
【机 构】
：
中国科学院大学,中国科学院软件研究所
【基金项目】
：
国家自然科学基金项目(61305054);中国科学院知识创新工程重要方向性项目(KGCX2-YW-12);国家“核高基”重大科技专项(2010ZX01036-001-002-2)
论文部分内容阅读
微内核架构为操作系统提供了良好的隔离性，高度模块化的架构设计使得微内核架构操作系统对进程间通信的依赖度极高，进程间通信恢复是系统恢复正常运行的关键。权能是微内核架构操作系统中进程对资源操作权限的描述，决定进程间能否进行通信。针对微内核操作系统在系统服务恢复过程中出现的进程间通信信道丢失问题，提出并实现了一种进程间通信恢复方法。在通信异常时保存权能信息，用于在系统关键服务恢复过程中重新建立客户程序与服务程序的进程间通信信道。实验结果表明所提出的方法是有效的，可以提高操作系统的可靠性。
其他文献
当前,离心阻力训练被认为是发展骨骼肌肥大最佳的方式。尽管其具备潜在的益处,但缺少足够的直接证据。这种类型的训练比传统的力量要求更高。在传统力量训练中,加入离心练习
[摘 要]采矿活动往往会对周围的环境造成污染，浅埋煤层高强度开采更容易造成地裂缝或地表塌陷。针对生态脆弱的矿区，采用绿色开采技术，可以有效处理矿山开采中产生的废弃物，提高资源利用率。基于此，本文分析了绿色开采技术的作用与意义，探讨了采矿工程中容易产生的环境污染问题，并提出了采矿活动中利用绿色开采技术降低环境污染的方法。 [关键词]采矿工程;绿色开采技术;生态脆弱区;浅埋煤层 doi：10.39
语文教科书是传递社会文化的重要载体，同时也是达成教学目标的物质基础。我国教科书从2001年新课标改革开始，各种版本的语文教科书纷纷出炉，为很多学校提供选择各种语文版本的机
薄膜光滤波器是光通信系统中使用最广泛的一种滤波器。本论文以法布里-珀罗(Fabry-Perot)结构为模型,通过调整腔体间隔层的结构,在理论上得到了具有多通道特性的薄膜光滤波器
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
[摘 要]随着我国社会经济的迅速发展，当前我国国企管理得以深化改革，但在改革过程中，逐渐暴露了许多问题，而对于这些问题，国企相关人员必须进行全面分析与了解，充分把握问题，然后根据问题，提出相应对策，做好国企管理改革工作，为国企长远发展打下坚实的基础，为国企带来更多的社会效益与经济效益。基于此，本文就国企管理改革对国企的重要性展开了分析，探索了当前国企管理改革中的主要问题，最后结合实际情况提出了国企
<正>自古英语形成之后,英语史上遭受了三次重大的文化入侵,冲击了不列颠岛的方方面面,包括语言,从而促进了古英语向中古英语的发展。一、基督教的入侵对英语的影响公元597年,
“一带一路”倡议的实施需要越来越多的复合型人才,而双语教学是培养复合型人才的重要途径。多年来各高校经过不断实践积累了一定的经验,也取得了一些成果,但是由于会计学课
[摘 要] “互联网 ”跨越教育时空界线，教育信息技术赋能聋生课堂。文章探索运用智慧教学平台和人工智能技术，以“课件 手语 字幕”三个信息载体相互融合，突破中职聋生学习听力障碍;遵循聋生知识技能生成规律，以“目标化、项目化、实践化” 为原则，物化教学内容，形成“泛在化、可视化、碎片化” 的教学资源;通过“课前导学、课中研学、课后拓学”三个逐级递进的线上线下环节和“自检基础 、预习新知、交流探究、
自2014年"体医融合"提出以来,就成为体育界和医学领域的热点话题,也是今后体育院校发展的重点方向。本文以社会体育指导与管理专业为切入口,探讨了今后本专业的可选择的发展