期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
MINIX3操作系统架构及启动过程分析
被引量：
1
1
作者
张治国
孙智军
《河南工程学院学报（自然科学版）》
2011年第1期59-62,共4页
MINIX操作系统最初是用于教学的一种类UNIX操作系统.随着MINIX系统的版本发展到MINIX3,系统架构相对于最初的版本有了根本的变化,功能也不断增强,已经有许多的应用软件移植到了MINIX3操作系统上.分析了MINIX3操作系统所采用的微内核架构...
MINIX操作系统最初是用于教学的一种类UNIX操作系统.随着MINIX系统的版本发展到MINIX3,系统架构相对于最初的版本有了根本的变化,功能也不断增强,已经有许多的应用软件移植到了MINIX3操作系统上.分析了MINIX3操作系统所采用的微内核架构,对比了微内核架构的操作系统与传统宏内核架构的操作系统之间的优缺点,也讨论了MINIX3操作系统的引导加载过程.
展开更多
关键词
操作系统
minix3
微内核
引导过程
在线阅读
下载PDF
职称材料
基于属性的Minix3系统调用的建模和测试
2
作者
岳婧媛
李华
+2 位作者
郭亚杰
贺楠
庞滨
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2011年第5期570-575,共6页
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码...
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
展开更多
关键词
minix3
系统调用
属性
层次Petri网
在线阅读
下载PDF
职称材料
Minix3的微重启自愈体系架构研究
3
作者
曹辉
童超
+1 位作者
牛建伟
高宇航
《小型微型计算机系统》
CSCD
北大核心
2013年第3期644-647,共4页
传统的自愈系统能够自主发现、诊断及排除错误,但是对用户存在影响并丢失组件间的状态一致性,不能够满足高可靠性和高可用性的要求.微重启是面向恢复计算ROC的重要软件恢复机制,以递归方式重启故障组件子集,并结合适毁性组件维护状态一...
传统的自愈系统能够自主发现、诊断及排除错误,但是对用户存在影响并丢失组件间的状态一致性,不能够满足高可靠性和高可用性的要求.微重启是面向恢复计算ROC的重要软件恢复机制,以递归方式重启故障组件子集,并结合适毁性组件维护状态一致.针对具有自愈功能的Minix3操作系统,本文提出了基于微重启的自愈体系架构,并以适毁性驱动组件的实验证明,组件重启后可以继续执行未完成的任务,并且重启时间略有增长.
展开更多
关键词
minix3
微重启
自愈
递归重启树
适毁性组件
在线阅读
下载PDF
职称材料
题名
MINIX3操作系统架构及启动过程分析
被引量：
1
1
作者
张治国
孙智军
机构
河南工程学院计算机科学与工程系
河南省肿瘤医院信息科
出处
《河南工程学院学报（自然科学版）》
2011年第1期59-62,共4页
文摘
MINIX操作系统最初是用于教学的一种类UNIX操作系统.随着MINIX系统的版本发展到MINIX3,系统架构相对于最初的版本有了根本的变化,功能也不断增强,已经有许多的应用软件移植到了MINIX3操作系统上.分析了MINIX3操作系统所采用的微内核架构,对比了微内核架构的操作系统与传统宏内核架构的操作系统之间的优缺点,也讨论了MINIX3操作系统的引导加载过程.
关键词
操作系统
minix3
微内核
引导过程
Keywords
operating system
minix3
microkernel
boot process
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于属性的Minix3系统调用的建模和测试
2
作者
岳婧媛
李华
郭亚杰
贺楠
庞滨
机构
内蒙古大学计算机学院
内蒙古大学网络信息中心
出处
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2011年第5期570-575,共6页
基金
国家自然科学基金项目(60863015)
教育部春晖项目(z2007-1-01032)
+2 种基金
内蒙古自然科学基金重点项目(200711020803
20080404ZD20)内蒙古自然科学基金项目(20080404MS0906)
内蒙古自治区高等学校科学研究项目(NJ09012)
文摘
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
关键词
minix3
系统调用
属性
层次Petri网
Keywords
minix3
system call
property
hierarchical Petri net
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
Minix3的微重启自愈体系架构研究
3
作者
曹辉
童超
牛建伟
高宇航
机构
北京航空航天大学计算机学院
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第3期644-647,共4页
基金
软件开发环境国家重点实验室基金项目(BUAA SKLSDE-2010ZX-13)资助
国家自然科学基金项目(60873241
+2 种基金
20091951020)资助
航空科学基金项目(20091951020)资助
新世纪优秀人才支持计划项目(291184)资助
文摘
传统的自愈系统能够自主发现、诊断及排除错误,但是对用户存在影响并丢失组件间的状态一致性,不能够满足高可靠性和高可用性的要求.微重启是面向恢复计算ROC的重要软件恢复机制,以递归方式重启故障组件子集,并结合适毁性组件维护状态一致.针对具有自愈功能的Minix3操作系统,本文提出了基于微重启的自愈体系架构,并以适毁性驱动组件的实验证明,组件重启后可以继续执行未完成的任务,并且重启时间略有增长.
关键词
minix3
微重启
自愈
递归重启树
适毁性组件
Keywords
minix3
micro-reboot
self-healing
recursive restart-tree
crash-only software
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
MINIX3操作系统架构及启动过程分析
张治国
孙智军
《河南工程学院学报（自然科学版）》
2011
1
在线阅读
下载PDF
职称材料
2
基于属性的Minix3系统调用的建模和测试
岳婧媛
李华
郭亚杰
贺楠
庞滨
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2011
0
在线阅读
下载PDF
职称材料
3
Minix3的微重启自愈体系架构研究
曹辉
童超
牛建伟
高宇航
《小型微型计算机系统》
CSCD
北大核心
2013
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
