- [Adya et al., 2002]
- Atul Adya, William J.
Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon
Howell, Jacob R. Lorch, Marvin Theimer, and Roger R. Wattenhofer.
FARSITE: Federated, available, and reliable storage for an incompletely
trusted environment.
In Proc. 5th Symposium on Operating Systems Design and
Implementations, Boston, MA, December 2002.
(PDF, 15 pages, 226817 bytes)
- [Arbaugh et al., 1997]
- William A.
Arbaugh, David J. Farber, and Jonathan M. Smith.
A secure and reliable bootstrap architecture.
In IEEE Symposium on Security and Privacy, pages 65–71, 1997.
(PDF, 7 pages, 689304 bytes)
- [Baker et al., 1991]
- Mary G. Baker, John H.
Hartman, Michael D. Kupfer, Ken W. Shirriff, and John K. Ousterhout.
Measurements of a distributed file system.
In Proc. 13th Symp. on Operating Systems Principles, Pacific
Grove, CA, October 1991. ACM.
- [Bershad, 1992]
- Brian N. Bershad.
The increasing irrelevance of IPC performance for microkernel-based operating
systems.
In Proc. USENIX WS Microkernels & other Kernel Arch., pages
205–211, Seattle, WA, USA, April 1992.
- [Brinch Hansen, 1970]
- Per Brinch
Hansen.
The nucleus of a multiprogramming operating system.
Communications of the ACM, 13:238–250, 1970.
- [Chen and Bershad, 1993]
- J. Bradley
Chen and Brian N. Bershad.
The impact of operating system structure on memory system performance.
In Proc. Symp. on Operating Systems Principles, pages 120–133,
Asheville, NC, USA, December 1993.
(PDF, 14 pages, 1523803 bytes)
- [Coulouris et al., 1994]
- George F.
Coulouris, Jean Dollimore, and Tim Kindberg.
Distributed Systems: Concepts and Design.
Addison-Wesley, 2nd edition, 1994.
- [Custer, 1993]
- Helen Custer.
Inside Windows-NT.
Microsoft, 1993.
- [Dean and Armand, 1992]
- Randall W.
Dean and Francois Armand.
Data movement in kernelized systems.
In Proc. USENIX WS Microkernels & other Kernel Arch., pages
243–261, Seattle, WA, USA, April 1992.
- [Dijkstra, 1968]
- Edsger W. Dijkstra.
The structure of the ``THE'' multiprogramming system.
Communications of the ACM, 11:341–346, 1968.
- [Draves et al., 1991]
- Richard P. Draves,
Brian N. Bershad, Richard F. Rashid, and Randall W. Dean.
Using continuations to implement thread management and communication in
operating systems.
In Proc. 13th Symp. on Operating Systems Principles, 1991.
- [Engler et al., 1995]
- Dawson R. Engler,
M. Frans Kaashoek, and James O'Toole Jr.
Exokernel: An operating system architecture for application-level resource
management.
In 15th Symp. on Operating Systems Principles, Copper Mountain
Resort, CO, 1995. ACM.
(PostScript, 16 pages, 251660 bytes)
- [Fitzgerald and Rashid,
1986]
- Robert Fitzgerald and Richard Rashid.
The integration of virtual memory management and interprocess communication in
Accent.
ACM Transactions on Computer Systems, 4:147–177, 1986.
- [Ford et al., 1999]
- Bryan Ford, Mike Hibler,
Jay Lepreau, Roland McGrath, and Patrick Tullmann.
Interface and execution models in the fluke kernel.
In Proceedings of the third symposium on Operating systems design and
implementation, pages 101–115. USENIX Association, 1999.
- [Goel et al., 2005]
- Ashvin Goel, Kenneth Po,
Kamran Farhadi, Zheng Li, and Eyal de Lara.
The taser intrusion recovery system.
In SOSP '05: Proceedings of the twentieth ACM symposium on Operating
systems principles, 2005.
- [Golub et al., 1990]
- David B. Golub,
Randall W. Dean, Alessandro Forin, and Richard F. Rashid.
UNIX as an application program.
In Proc. 1990 Summer USENIX Annual Technical Conference, pages
87–95, June 1990.
- [Greenway, 2007]
- David Greenway.
Quantifing the effects of scheduling on IPC performance.
BSc thesis, School of Computer Science and Engineering, University of NSW,
Sydney 2052, Australia, June 2007.
- [Härtig et al., 1997]
- Hermann
Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg, and
Jean Wolter.
The performance of μ-kernel-based systems.
In Proc. Symp. on Operating Systems Principles, pages 66–77, St.
Malo, France, October 1997.
(PDF, 12 pages, 2019149 bytes)
- [Hill et al., 2000]
- J. Hill, R. Szewczyk,
A. Woo, S. Holland, D. Culler, and K. Pister.
System architecture directions for network sensors.
In Proc. Int'l Conf. on Architectural Support for Programming Languages
and Operating Systems, Cambridge, MA, November 2000.
(PDF, 12 pages, 268481 bytes)
- [Huberman, 1988]
- Bernardo A.
Huberman, editor.
The Ecology of Computation.
Studies in Computer Science and Artifical Intelligence. North-Holland,
Amsterdam, 1988.
- [Kaashoek et al., 1997]
- M. Frans
Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceno, Russell
Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John Jannotti, and
Kenneth Mackenzie.
Application performance and flexibility on exokernel systems.
In 16th Symp. on Operating Systems Principles, Saint Malo, France,
1997. ACM.
(PostScript, 18 pages, 261813 bytes)
- [King and Chen, 2003]
- S. T. King and P. M.
Chen.
Backtracking intrusions.
In Proc. Symp. on Operating Systems Principles, Bolton Landing,
NY, October 2003.
(PDF, 14 pages, 160685 bytes)
- [Lamport et al., 1982]
- Leslie Lamport,
Robert Shostak, and Marshall Pease.
The byzantine generals problem.
ACM Trans. Program. Lang. Syst., 4(3):382–401, 1982.
(doi:10.1145/357172.357176)
- [Liedtke, 1995]
- Jochen Liedtke.
On μ-kernel construction.
In Proc. Symp. on Operating Systems Principles, pages 237–250,
Copper Mountain, CO, USA, December 1995.
- [Mullender and Tanenbaum,
1986]
- Sape J. Mullender and Andrew S. Tanenbaum.
The design of a capability-based distributed operating system.
The Computer Journal, 29:289–299, 1986.
- [Nourai, 2005]
- Abi Nourai.
A physically-addressed L4 kernel.
BE thesis, School of Computer Science and Engineering, University of NSW,
Sydney 2052, Australia, March 2005.
- [Ousterhout, 1990]
- J.K. Ousterhout.
Why aren't operating systems getting faster as fast as hardware?
In Proc. 1990 Summer USENIX Annual Technical Conference, pages
247–56, June 1990.
- [Rashid et al., 1988]
- Richard
Rashid, Avadis Tevanian, Jr., Michael Young, David Golub, Robert Baron, David
Black, William J. Bolosky, and Jonathan Chew.
Machine-independent virtual memory management for paged uniprocessor and
multiprocessor architectures.
IEEE Transactions on Computers, C-37:896–908, 1988.
- [Rashid, 1988]
- Richard F. Rashid.
From RIG to Accent to Mach: The evolution of a network operating system.
In Huberman [Huberman, 1988], pages
207–230.
- [Rozier et al., 1990]
- M. Rozier,
V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann,
C. Kaiser, S. Langlois, P. Léonard, and W. Neuhauser.
Overview of the sc chorus distributed operating system.
Technical report CS/TR-90-25, Chorus systeèmes, Montigny-le-Bretonneux
(France), April 1990.
- [Rozier et al., 1992]
- M. Rozier,
V. Abrossimov, F. Armand, L. Boule, M. Gien, M. Guillemont, F. Herrman,
C. Kaiser, S. Langlois, P. Léonard, and W. Neuhauser.
Overview of the Chorus distributed operating system.
In Proc. USENIX WS Microkernels & other Kernel Arch., pages
39–69, Seattle, WA, USA, April 1992.
- [Schach et al., 2002]
- Stephen R.
Schach, Bo Jin, David R. Wright, Gillian Z. Heller, and A. Jefferson Offutt.
Maintainability of the Linux kernel.
IEE Proceedings: Software, 149:18–23, 2002.
(PDF, 6 pages, 718223 bytes)
- [Sinha, 1997]
- Pradeep K. Sinha.
Distributed Operating Systems: Concepts and Design.
Comp. Soc. Press, 1997.
- [Tanenbaum and Mullender,
1981]
- Andrew S. Tanenbaum and Sape J. Mullender.
An overview of the Amoeba distributed operating system.
Operating Systems Review, 15(3):51–64, 1981.
- [Tanenbaum and Mullender,
1984]
- Andrew S. Tanenbaum and Sape Mullender.
The design of a capability-based distributed operating system.
Technical Report IR-88, Vrije Universiteit, November 1984.
- [Uhlig et al., 1994]
- Richard Uhlig, David
Nagle, Tim Stanley, Trevor Mudge, Stuart Sechrest, and Richard Brown.
Design tradeoffs for software-managed TLBs.
ACM Transactions on Computer Systems, August 1994.
- [von Behren et al., 2003]
- R. von Behren,
J. Condit, and E. Brewer.
Why events are a bad idea (for high-concurrency servers).
In Proc. Workshop on Hot Topics in Operating Systems, Hawaii, May
2003.
(PDF, 6 pages, 94267 bytes)
- [Warton, 2005]
- Matthew Warton.
Single kernel stack L4.
BE thesis, School of Computer Science and Engineering, University of NSW,
Sydney 2052, Australia, November 2005.
- [Weiser et al., 1994]
- M. Weiser, B. Welch,
A. J. Demers, and S Shenker.
Scheduling for reduced cpu energy.
In Proc. 1st. Symposium on Operating Systems Design and
Implementations. USENIX Association, 1994.
(PDF, 11 pages, 55846 bytes)
- [Weissel and Bellosa,
2002]
- A. Weissel and F. Bellosa.
Process cruise control: event-driven clock scaling for dynamic power
management.
In Proc. Int'l Conf. on Compilers, Architecture and Synthesis for
Embedded Systems. ACM, 2002.
(PDF, 9 pages, 147502 bytes)
- [Wheeler and Bershad, 1992]
- Bob Wheeler
and Brian N. Bershad.
Consistency management for virtually indexed caches.
In 5th Int'l Conf. on Architectural Support for Programming Languages
and Operating Systems, Boston, MA, October 1992.
(PDF, 13 pages, 1623845 bytes)
- [Wulf et al., 1974]
- W. Wulf, E. Cohen,
W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack.
HYDRA: The kernel of a multiprocessor operating system.
Communications of the ACM, 17:337–345, 1974.
(PDF, 9 pages, 1013725 bytes)
- [Young et al., 1987]
- Michael Young,
Avadis Tevanian, Richard Rashid, David Golub, Jeffrey Eppinger, Jonathan
Chew, William Bolosky, David Black, and Robert Baron.
The duality of memory and communication in the implementation of a
multiprocessor operating system.
In Proc. Symp. on Operating Systems Principles, pages 63–76,
1987.
- [Zeng et al., 2002]
- H. Zeng, X. Fan, C Ellis,
A. Lebeck, and A. Vahdat.
Ecosystem: Managing energy as a first class operating system resource.
In Proc. 10th. Int'l Conf. on Architectural Support for Programming
Languages and Operating Systems. ACM, 2002.
(PDF, 10 pages, 108612 bytes)