GENERIC VIRTUAL MEMORY MANAGEMENT FOR OPERATING SYSTEM KERNELS

被引：0
|
作者：
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年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：123 / 136
页数：14
相关论文
共 50 条
  • [1] VIRTUAL MEMORY MANAGEMENT IN THE VAX VMS OPERATING SYSTEM
    LEVY, HM
    LIPMAN, PH
    COMPUTER, 1982, 15 (03) : 35 - 41
  • [2] 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
  • [3] Simple memory protection for embedded operating system kernels
    Miller, FW
    USENIX ASSOCIATION PROCEEDINGS OF THE FREENIX TRACK, 2002, : 299 - 308
  • [4] Architectural and Operating System Support for Virtual Memory
    Bhattacharjee A.
    Lustig D.
    1600, Morgan and Claypool Publishers (12): : 1 - 177
  • [5] 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
  • [6] 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 - +
  • [7] 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
  • [8] 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
  • [9] A VIRTUAL OPERATING SYSTEM
    HALL, DE
    SCHERRER, DK
    SVENTEK, JS
    COMMUNICATIONS OF THE ACM, 1980, 23 (09) : 495 - 502
  • [10] SURVEY OF VIRTUAL MEMORY OPERATING SYSTEMS
    BATEMAN, BL
    PITTS, GN
    TEXAS JOURNAL OF SCIENCE, 1974, 25 (1-4): : 97 - 97
12345