[CSE]  Advanced Operating Systems 
 COMP9242 2006/S2 
UNSW
CRICOS Provider
Number: 00098G

PRINTER Printer-Friendly Version
Administration               
- Notices
- Course Intro
- Consultations
- Survey Results
 
Work
- Lectures
- Selected Papers
- Project Spec
- Exam
 
Resources
Wiki
2006 Patchlist
Project Resources
Slug Lab
L4 Debugging Guide
Developing on a Mac
Developing on Linux
SOS source browser

 
Documentation
L4Ka::Pistachio FAQ
L4 reference manual
L4 user manual
IXP42X hardware manual 
NSLU2-Linux HomePage
Intel IXP400 Software

 
Related Info
Aurema OS Prize
OS Hall of Fame
 
History
2005
2004
2003
2002
2000
1999
1998
- 1997
 
Staff
- Gernot Heiser (LiC)
- Kevin Elphinstone
- Guest Lecturers (TBA)
 
Stureps
- Student Reps

 
Valid HTML 4.0!

Papers Examined in Lectures

Copyright Notice

COMMONWEALTH OF AUSTRALIA

Copyright Regulations 1969

WARNING

This material has been reproduced and communicated to you by or on
behalf of the University of New South Wales pursuant to Part VB of the
Copyright Act 1968 (the Act).

The material in this communication may be subject to copyright under
the Act. Any further reproduction or communication of this material by
you may be the subject of copyright protection under the Act.

[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, dec 2002. (PDF, 226817 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 13th Symp. on Operating Systems Principles, Pacific Grove, CA, October 1991. ACM.

[Barham et al., 2003]
Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt and Andrew Warfield. Xen and the Art of Virtualization. In Proc. ACM Symposium on Operating Systems Principles (SOSP-03), pages 164–177, Bolton Landing, NY, USA, Dec 2003. (PDF, 168762 bytes)

[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.. (PDF, 589232 bytes)

[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, 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.

[Hand et al., 2005]
Steven Hand, Andrew Warfield, Keir Fraser,Evangelos Kottsovinos and Dan Magenheimer. Are Virtual Machine Monitors Microkernels Done Right? In Proc. 10th WOrkshop on Hot Topics in Operating Systems (HotOS X), pages 1–6, Santa Fe, NM, USA, June 2005. (PDF, 109794 bytes)

[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, 2019149 bytes)

[Heiser et al., 2006]
Gernot Heiser, Volkmar Uhlig and Joshua LeVasseur. Are Virtual-Machine Monitors Microkernels Done Right? Operating Systems Review 40:95–99, 2006. (PDF, 67169 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, 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, 160685 bytes)

[Liedtke, 1995]
Jochen Liedtke. On μ-kernel construction. In Proc. Symp. on Operating Systems Principles, pages 237–250, Copper Mountain, CO, USA, December 1995.. (PostScript, 14 pages, 273784 bytes)

[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.

[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. 2006]
Stephen R. Schach, Bo Jin, David R. Wright, Gillian Z. Heller, and A. Jefferson Offutt. Maintainability of the Linux kernel. IEE Proc.: Softw., 149:18–23, 2002.

[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, 94267 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, 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, 1013725 bytes)

[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, 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, 147502 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, 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, 108612 bytes)

Last modified: 15 Sep 2006.