学位论文 > 优秀研究生学位论文题录展示

嵌入式系统内存空间域隔离技术的研究与实现

作　者: 闫广明
导　师: 张国印
学　校: 哈尔滨工程大学
专　业: 计算机应用技术
关键词: 安全关键系统嵌入式操作系统实时操作系统内存保护空间隔离
分类号: TP368.1
类　型: 硕士论文
年　份: 2011年
下　载: 16次
引　用: 0次
阅　读: 论文下载

内容摘要

随着嵌入式系统的普遍应用,如何提高其可靠性已经成为一个重要研究领域。本文从嵌入式系统内存空间域保护的角度出发,借鉴了ARINC653中的时空域隔离思想,设计出了一种具有高可靠性、硬实时性的嵌入式实时操作系统模型,并从以下几个方面对内存空间隔离域技术进行了研究与改进。本文首先剖析了典型的具有时空隔离机制的嵌入式实时操作系统的设计思想。总结出了现有嵌入式系统中常见的内存保护机制和实现方法,并指出了不足之处。其次,在具有MMU的微控制器上改进了基于二级调度模型的实时操作系统内核结构,加入具有实时性的空间域隔离功能模块,防止越界访问,实现任务间的保护功能,并对实现过程中遇到的问题给出了合理的解决方案。最后,实现了基于进程隔离域二级调度模型的实时操作系统内核。此内核在μC/OS-Ⅱ上进行改进,加入了空间域隔离、动态内存分配、隔离域间通信和硬件I/0空间保护功能。通过实验例子证明了此模型的可靠性和实时性。

全文目录

摘要  5-6
Abstract  6-9
第1章绪论  9-17
  1.1 课题的来源、目的及意义  9-11
    1.1.1 课题的背景  9-10
    1.1.2 本课题的意义和目的  10-11
  1.2 国内外研究现状  11-16
    1.2.1 国外研究现状  11-14
    1.2.2 国内研究现状  14-15
    1.2.3 本课题与安全操作系统研究的区别  15-16
  1.3 论文的主要工作  16
  1.4 论文的组织结构  16-17
第2章内存空间域隔离技术分析  17-27
  2.1 段保护技术  17
  2.2 段匹配技术  17-19
  2.3 地址沙箱技术  19
  2.4 基于MMU的空间保护技术  19-26
    2.4.1 MMU功能简介  20-21
    2.4.2 现有的硬件空间域隔离方法分析  21-23
    2.4.3 已有基于MMU的内存隔离系统简介  23-26
  2.5 安全域隔离技术  26
  2.6 本章小结  26-27
第3章基于 MMU的内存空间域隔离模型  27-41
  3.1 内存空间域隔离模型  27-28
  3.2 进程隔离域的定义  28-29
  3.3 进程、线程与进程隔离域的关系  29-30
  3.4 进程隔离域的类型  30
  3.5 实现中需要考虑的问题  30-32
    3.5.1 程序代码保护问题  31
    3.5.2 代码共享问题  31
    3.5.3 跨域通信问题  31-32
    3.5.4 内存使用效率问题  32
    3.5.5 I/O空间的保护  32
  3.6 内存空间域隔离模型的实现  32-40
    3.6.1 在μC/OS-Ⅱ上实现进程空间域模型需要解决的问题  33
    3.6.2 跨域通信机制的实现  33-34
    3.6.3 引入MMU后带来的问题  34-37
    3.6.4 进程隔离功能的实现  37-38
    3.6.5 进程隔离功能的测试  38-40
  3.7 本章小结  40-41
第4章空间域动态内存管理与I/O保护的实现  41-53
  4.1 动态内存分配算法分析  41-44
  4.2 TLSF算法介绍  44-46
  4.3 TLSF算法在本系统中使用的局限性  46
  4.4 进程隔离域模型中动态内存分配算法的设计  46-47
  4.5 性能测试与分析  47-48
  4.6 硬件I/O空间保护的实现  48-52
    4.6.1 简化的MAC模型  48
    4.6.2 MAC信息存放  48-49
    4.6.3 MAC的相关操作  49-51
    4.6.4 硬件I/O空间保护的测评  51-52
  4.7 本章小结  52-53
结论  53-54
参考文献  54-58
攻读硕士学位期间发表的论文和取得的科研成果  58-59
致谢  59-60
个人简历  60-61
附录1 进程隔离域测试代码  61-63

嵌入式系统内存空间域隔离技术的研究与实现

内容摘要

全文目录

相似论文