Academic Papers

From OSDev.wiki
Revision as of 21:46, 8 May 2016 by osdev>Schol-r-lea (A few starting papers to get the ball rolling)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Academic Papers on Operating System Design

Note that most of these links are to PDF files, some of which can be downloaded directly.

Kernel Design

  • 'Synthesis: An Efficient Implementation of Fundamental Operating System Services' by Henry (now Alexia) Massalin, 1992 [CiteSeer PDF] [Valerie Aurora HTML]


File System Design


  • 'Improving File System Reliability and Availability with Continuous Checker and Repair' by [UC Berkeley PDF]
  • 'Using Declarative Invariants for Protecting File-System Integrity' Jack Sun, Daniel Fryer, Ashvin Goel and Angela Demke Brown [SIGOPS PDF]

Security