基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
微内核架构为操作系统提供了良好的隔离性,高度模块化的架构设计使得微内核架构操作系统对进程间通信的依赖度极高,进程间通信恢复是系统恢复正常运行的关键。权能是微内核架构操作系统中进程对资源操作权限的描述,决定进程间能否进行通信。针对微内核操作系统在系统服务恢复过程中出现的进程间通信信道丢失问题,提出并实现了一种进程间通信恢复方法。在通信异常时保存权能信息,用于在系统关键服务恢复过程中重新建立客户程序与服务程序的进程间通信信道。实验结果表明所提出的方法是有效的,可以提高操作系统的可靠性。
推荐文章
基于Coq的微内核操作系统程序验证方法研究
程序验证
霍尔逻辑
推理系统
定理证明
一个微内核操作系统的设计与实现
微内核
操作系统
虚拟机
一种符合OSEK标准的操作系统微内核设计
操作系统
微内核
任务调度
上下文切换
一种微内核分区操作系统C库的适配验证方法
微内核架构
嵌入式分区操作系统
标准接口
C库
恩智浦
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种基于微内核操作系统进程间通信恢复方法
来源期刊 计算机应用与软件 学科 工学
关键词 微内核 操作系统安全 进程间通信 可信恢复
年,卷(期) 2015,(6) 所属期刊栏目 软件技术与研究
研究方向 页码范围 9-13
页数 5页 分类号 TP316
字数 4536字 语种 中文
DOI 10.3969/j.issn.1000-386x.2015.06.003
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 刘剑 中国科学院软件研究所 66 379 12.0 17.0
2 杨秋松 中国科学院软件研究所 20 33 3.0 5.0
3 王玉庆 中国科学院软件研究所 3 47 1.0 3.0
4 孙可钦 1 0 0.0 0.0
8 马越 中国科学院软件研究所 8 28 4.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (4)
共引文献  (0)
参考文献  (9)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1998(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(2)
  • 参考文献(1)
  • 二级参考文献(1)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(3)
  • 参考文献(3)
  • 二级参考文献(0)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(1)
  • 参考文献(1)
  • 二级参考文献(0)
2015(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
微内核
操作系统安全
进程间通信
可信恢复
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用与软件
月刊
1000-386X
31-1260/TP
大16开
上海市愚园路546号
4-379
1984
chi
出版文献量(篇)
16532
总下载数(次)
47
总被引数(次)
101489
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导