Simple memory protection for embedded operating system kernels

被引：0
|
作者：
Miller, FW [1 ]
机构：
[1] Univ Maryland, Dept Comp Sci & Elect Engn, Baltimore, MD 21201 USA
来源：
USENIX ASSOCIATION PROCEEDINGS OF THE FREENIX TRACK | 2002年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This work describes the design and implementation of memory protection in the Roadminner operating system. The design is portable between various CPUs that provide page-level protection using Memory-Management Unit (MMU) hardware. The approach overlays protection domains on regions of physical memory that are in use by application processes and the operating system kernel. An analysis of code size shows that this design and implementation can be executed with an order of magnitude less code than that of implementations providing separate address spaces.
引用
收藏
页码：299 / 308
页数：10
相关论文
共 50 条
  • [1] GENERIC VIRTUAL MEMORY MANAGEMENT FOR OPERATING SYSTEM KERNELS
    ABROSSIMOV, V
    ROZIER, M
    SHAPIRO, M
    OPERATING SYSTEMS REVIEW, VOL 23, NO 5, SPECIAL ISSUE: PROCEEDINGS OF THE TWELFTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, 1989, : 123 - 136
  • [2] Improving an operating system with memory protection
    Limao, C.J.
    Paixao, A.A.
    Cunha, A.R.
    Proceedings of the IASTED International Symposium on Applied Informatics, 1991,
  • [3] Study of Embedded Operating System Memory Management
    Cheng, Xiao-Hui
    Gong, You-min
    Wang, Xin-zheng
    PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL III, 2009, : 962 - +
  • [4] ISLAB: Immutable Memory Management Metadata for Commodity Operating System Kernels
    Momeu, Marius
    Kilger, Fabian
    Roemheld, Christopher
    Schnueckel, Simon
    Proskurin, Sergej
    Polychronakis, Michalis
    Kemerlis, Vasileios P.
    PROCEEDINGS OF THE 19TH ACM ASIA CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, ACM ASIACCS 2024, 2024, : 811 - 824
  • [5] An isolation and protection mechanism of automotive electronic embedded operating system
    Chen, L.-R., 1600, Univ. of Electronic Science and Technology of China (43):
  • [6] Protection Mechanism in Privileged Memory Space for Embedded System
    Yamada, Shimpei
    Nakamoto, Yukikazu
    2014 IEEE 34TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS (ICDCSW), 2014, : 161 - 166
  • [7] On the correctness of operating system kernels
    Gargano, M
    Hillebrand, M
    Leinenbach, D
    Paul, W
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2005, 3603 : 1 - 16
  • [8] MEBS: Uncovering Memory Life-Cycle Bugs in Operating System Kernels
    Zhang, Gen
    Wang, Peng-Fei
    Yue, Tai
    Zhou, Xu
    Lu, Kai
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2021, 36 (06) : 1248 - 1268
  • [9] MEBS: Uncovering Memory Life-Cycle Bugs in Operating System Kernels
    Gen Zhang
    Peng-Fei Wang
    Tai Yue
    Xu Zhou
    Kai Lu
    Journal of Computer Science and Technology, 2021, 36 : 1248 - 1268
  • [10] Protection profile for security enhancement of embedded operating system for mobile terminals
    Jeong, Younseo
    Yun, Yeowung
    Jung, Boheung
    Kim, Kiyoung
    10TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY, VOLS I-III: INNOVATIONS TOWARD FUTURE NETWORKS AND SERVICES, 2008, : 1908 - +
12345