可动态扩展嵌入式操作系统的研究
| 文献类型 | 学位 |
| 作者 | 程步奇[1] |
| 机构 | 北京航空航天大学 ↓ |
| 授予学位 | 博士 |
| 年度 | 2003 |
| 学位授予单位 | 北京航空航天大学 |
| 语言 | 中文 |
| 关键词 | 嵌入式操作系统;动态扩展;保护;软件故障孤立;线程迁移 |
| 摘要 | 该文实现了一个可动态扩展嵌入式操作系统的原型—可动态扩展实时操作系统(DEEOS).DEEOS采用基于段的软件模块(SSM)模型实现了操作系统的模块化,采用基于段的软件故障孤立(SSFI)机制和线程迁移技术实现了软件模块的保护和软件模块间的控制与数据传递,在不影响系统可预测性的情况下,实现了嵌入式操作系统的动态扩展.该文主要贡献在于:1.提出了一种新的保护机制--SSFI保护机制.SSFI保护机制消除了传统保护机制在操作系统模块化方面的缺陷,同时满足了嵌入式操作系统保护所需的低负载和可预测性要求.2.采用线程迁移技术,实现了软件模块之间的控制转移和数据传递.相对于线程切换技术,采用线程迁移技术实现软件模块间的控制和数据传递能够提高软件模块间通信的性能,消除不必要的同步和数据传输机制,简化任务调度.3.提出一种新的软件模块模型--SSM模型.SSM软件模块以被动模块的形式存在于操作系统中,采用SSFI保护机制为软件模块中的代码和数据实体提供保护,采用方法表为模块之间的交互提供接口,为嵌入式操作系统模块化提供了细料度的软件模块模型.4.设计完成了一套动态扩展机制,实现了一个可动态扩展嵌入式操作系统的原型,从功能和性能两个方面验证了该文所提出的保护机制、控制转移与数据传递机制、软件模块模型的正确性和有效性. |
影响因子：
dc:title:可动态扩展嵌入式操作系统的研究
dc:creator:程步奇
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media：北京航空航天大学
dc:identifier: LnterrelatedLiterature：北京航空航天大学.2003.
dc:identifier:DOI：
dc: identifier:ISBN:
