Academic Papers: Difference between revisions

From OSDev.wiki
Jump to navigation Jump to search
[unchecked revision][unchecked revision]
Content added Content deleted
VisualWikitext
(A few starting papers to get the ball rolling)
 
m (Reverted edits by Kukuva (talk) to last revision by Carver)
 
(15 intermediate revisions by 5 users not shown)
Line 1: Line 1:
= Academic Papers on Operating System Design =
Note that most of these links are to PDF files, some of which can be downloaded directly.
Note that most of these links are to PDF files, some of which can be downloaded directly.


== Kernel Design ==
== Kernel Design ==
* 'The Case for Crypto Protocol Awareness in the Kernel' by Burnside and Keromytis, 2006 [[http://academiccommons.columbia.edu/catalog/ac%3A149447 Academic Commons link page]]
⚫
* 'Synthesis: An Efficient Implementation of Fundamental Operating System Services' by Henry (now Alexia) Massalin, 1992 [[http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=0B740BDE247580D4D3685C6792DEE535?doi=10.1.1.29.4871&rep=rep1&type=pdf CiteSeer PDF]] [[http://valerieaurora.org/synthesis/SynthesisOS/ch1.html Valerie Aurora HTML]]


* 'Exokernel: An Operating System Architecture for Application-Level Resource Management', by Engler, Kaashoek and O’Toole, 1995 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.6047 CiteSeer link page]]


* 'Improving IPC by Kernel Design' by Liedtke, 1993 [[http://zoo.cs.yale.edu/classes/cs422/2010/bib/liedtke93improving.pdf Yale PDF]]
⚫
== File System Design ==
⚫
* 'ChunkFS' by Valerie Henson (now Aurora), 2006 [[http://usenix.org/event/hotdep06/tech/prelim_papers/henson/henson.pdf usenix.org PDF]] [[http://usenix.org/event/hotdep06/tech/prelim_papers/henson/henson_html/ usenix.org HTML]] [[http://valerieaurora.org/review/chunkfs.pdf Valerie Aurora PDF]]


* 'Operating System Virtualization: Practice and Experience' by Laadan and Nieh, 2008 [[http://academiccommons.columbia.edu/catalog/ac%3A111055 Academic Commons link page]]


* 'An Overview of the Synthesis Operating System' by Pu and Massalin, 1989 [[http://academiccommons.columbia.edu/catalog/ac%3A143176 Academic Commons link page]]
⚫
* 'Improving File System Reliability and Availability with Continuous Checker and Repair' by [[http://nma.berkeley.edu/ark:/28722/bk0009d284g UC Berkeley PDF]]


* 'The Protection of Information in Computer Systems' by Saltzer and Schroeder, 1975 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.9257 CiteSeer link page]]
⚫
* 'Repair-Driven File System Design' by Valerie Aurora, 2006 [[http://valerieaurora.org/review/repair.pdf Valerie Aurora PDF]]


* 'Protecting Commodity Operating Systems through Strong Kernel Isolation' by Kemerlis, 2015 [[http://academiccommons.columbia.edu/catalog/ac%3A189973 Academic Commons link page]]
⚫
* 'Using Declarative Invariants for Protecting File-System Integrity' Jack Sun, Daniel Fryer, Ashvin Goel and Angela Demke Brown [[http://sigops.org/sosp/sosp11/workshops/plos/06-sun.pdf SIGOPS PDF]]

* 'Speculative Execution as an Operating System Service' by Locasto and Keromytis, 2006 [[http://academiccommons.columbia.edu/catalog/ac%3A110558 Academic Commons link page]]

⚫
* 'Synthesis: An Efficient Implementation of Fundamental Operating System Services' by Massalin, 1992 [[http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=0B740BDE247580D4D3685C6792DEE535?doi=10.1.1.29.4871&rep=rep1&type=pdf CiteSeer PDF]] [[http://valerieaurora.org/synthesis/SynthesisOS/ch1.html Valerie Aurora HTML]]

* 'The Synthesis Kernel' by Pu, Massalin, and Ioannidis, 1987 [[https://www.usenix.org/legacy/publications/compsystems/1988/win_pu.pdf USENIX PDF]]

* 'Threads and Input/Output in the Synthesis Kernel', by Pu and Massalin, 1989 [[http://www.cs.princeton.edu/courses/archive/fall05/cos518/papers/synthesis.pdf Princeton PDF]]

⚫
== File System Design ==
⚫
* 'ChunkFS' by Aurora, 2006 [[http://usenix.org/event/hotdep06/tech/prelim_papers/henson/henson.pdf usenix.org PDF]] [[http://usenix.org/event/hotdep06/tech/prelim_papers/henson/henson_html/ usenix.org HTML]] [[http://valerieaurora.org/review/chunkfs.pdf Valerie Aurora PDF]]

⚫
* 'Improving File System Reliability and Availability with Continuous Checker and Repair' by Gunawi, 2011 [[http://nma.berkeley.edu/ark:/28722/bk0009d284g UC Berkeley PDF]]

⚫
* 'Repair-Driven File System Design' by Aurora, 2006 [[http://valerieaurora.org/review/repair.pdf Valerie Aurora PDF]]

⚫
* 'Using Declarative Invariants for Protecting File-System Integrity' Sun, et. al., 2006 [[http://sigops.org/sosp/sosp11/workshops/plos/06-sun.pdf SIGOPS PDF]]


== Security ==
== Security ==
* 'Bro: A System for Detecting Network Intruders in Real-Time' by Paxson, 1999 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.261 CiteSeer link page]]
*

* 'The Protection of Information in Computer Systems' by Saltzer and Schroeder, 1975 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.9257 CiteSeer link page]]

* 'Protecting Commodity Operating Systems through Strong Kernel Isolation' by Kemerlis, 2015 [[http://academiccommons.columbia.edu/catalog/ac%3A189973 Academic Commons link page]]

== Distributed Systems ==
* 'An Integrated Experimental Environment for Distributed Systems and Networks', by White et. al., 2002 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.3768 CiteSeer link page]]

* 'Unreliable Failure Detectors for Reliable Distributed Systems' by Chandra and Toueg, 1996 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.498 CiteSeer link page]]

* 'Virtual Time and Global States of Distributed Systems', Mattern, 1988 [[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.2620 CiteSeer link page]]

== Specific Implementation Techniques ==
* 'PCLSRing: Keeping Process State Modular', Bawden, 1989 (unpublished draft) [http://www.hack.org/mc/texts/pclsr.txt hack.org repository]

[[Category:Resources]]

Latest revision as of 17:23, 6 June 2024

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

Kernel Design

  • '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]

File System Design

  • '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]

Distributed Systems

  • '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]

Specific Implementation Techniques

  • 'PCLSRing: Keeping Process State Modular', Bawden, 1989 (unpublished draft) hack.org repository
Retrieved from "https://osdev.wiki/wiki/Academic_Papers?oldid=490"