Academic Papers

来自osdev
Zhang3讨论 | 贡献2021年12月28日 (二) 05:28的版本
跳到导航 跳到搜索

请注意,这些链接大多数都指向pdf文件,其中一些可以直接下载。

内核设计

  • 'Exokernel: An Operating System Architecture for Application-Level Resource Management', by Engler, Kaashoek and O’Toole, 1995 [CiteSeer link page]
  • 'Improving IPC by Kernel Design' by Liedtke, 1993 [Yale PDF]
  • 'The Protection of Information in Computer Systems' by Saltzer and Schroeder, 1975 [CiteSeer link page]
  • 'The Synthesis Kernel' by Pu, Massalin, and Ioannidis, 1987 [USENIX PDF]
  • 'Threads and Input/Output in the Synthesis Kernel', by Pu and Massalin, 1989 [Princeton PDF]

文件系统设计

  • 'Improving File System Reliability and Availability with Continuous Checker and Repair' by Gunawi, 2011 [UC Berkeley PDF]
  • 'Using Declarative Invariants for Protecting File-System Integrity' Sun, et. al., 2006 [SIGOPS PDF]

Security

  • 'Bro: A System for Detecting Network Intruders in Real-Time' by Paxson, 1999 [CiteSeer link page]
  • 'The Protection of Information in Computer Systems' by Saltzer and Schroeder, 1975 [CiteSeer link page]

分布式系统

  • 'An Integrated Experimental Environment for Distributed Systems and Networks', by White et. al., 2002 [CiteSeer link page]
  • 'Unreliable Failure Detectors for Reliable Distributed Systems' by Chandra and Toueg, 1996 [CiteSeer link page]
  • 'Virtual Time and Global States of Distributed Systems', Mattern, 1988 [CiteSeer link page]

具体实现技术

  • 'PCLSRing: Keeping Process State Modular', Bawden, 1989 (unpublished draft) hack.org repository