CS587 - Fall 2008

Basic Course Information

Butler W. Lampson. Hints on Computer Systems Design. In Proceedings of the 9th Symposium on Operating Systems Principles (SOSP), 1983.

Dennis M. Ritchie and Ken Thompson. The UNIX time-sharing system. Bell Systems Technical Journal, 57(6):1905–1929, 1978.
- Background: Early HIstory and Unix Evolution
H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, and J. Wolter. The performance of μ-kernel-based systems. In Proceedings of the 16th ACM Symposium on Operating Systems Principles, 1997.
- Background: J. Liedtke. On μ-kernel construction. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, 1995.
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 Proceedings of the 19th Sympoium on Operating Systems (SOSP-19), October 2003.

Bulter W. Lampson and D. D. Redell. Experience with processes and monitors in Mesa. Communications of the ACM, 23(2):105–117, 1980.
Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Henry M. Levy. Scheduler activations: Effective kernel support for user-level management of parallelism. ACM Transactions on Computer Systems, 10(1):53–70, 1992.
Henry Massalin and Calton Pu. Threads and input-output in the Synthesis kernel. In Proceedings of the 12th ACM Symposium on Operating Systems Principles, pages 191–201, Litchfield Park, AZ USA, 1989.
Christopher J. Rossbach, Owen S. Hofmann, Donald E. Por ter, Hany E. Ramadan, Aditya Bhandari, and Emmett Witchel. TxLinux: Using and Managing Hardware Transactional Memory in an Operating System. In Proceedings of the 21st ACM Symposium on Operating System Principles, 2007.

Marshall K. McKusick, William N. Joy, Samuel J. Leffler, and Robert S. Fabry. A fast file system for UNIX. ACM Transactions on Computer Systems, 2(3):181–197, 1984.
Mendel Rosenblum and John K. Ousterhout. The design and implementation of a log-structured file system. ACM Transactions on Computer Systems, 10(1):26–52, 1992.
- Related: Margo Seltzer, Keith A. Smith, Hari Balakrishnan, Jacqueline Chang, Sara Mcmains, and Venkata Padmanabhan. File System Logging Versus Clustering: A Performance Comparison. In Proceedings of the 1995 USENIX Winter Technical Conference, 1995.
Vivek S. Pai, Peter Druschel, and Willy Zwaenepoel. IOLite: A Unified Buffering and Caching System. In Proceedings of the Third Usenix Symposium on Operating Systems Design and Implementation (OSDI'099), February 1999.

M. Young, A. Tevanian, R. Rashid, D. Golub, J. Eppinger, J. Chew, W. Bolosky, D. Black, and R. Bar. The duality of memory and communication in the implementation of a multiprocessor operating system. In Proceedings of the 11th ACM Symposium on Operating Systems Principles, pages 63–76, 1987.
A. Birrell and B. Nelson. Implementing remote procedure calls. ACM Transactions on Computer Systems, 2(1):39–59, 1984.
David Mosberger and Larry L. Peterson. Making paths explicit in the Scout operating system. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 153–168, 1996.
J. C. Mogul and K. K. Ramakrishnan. Eliminating receive livelock in an interrupt-driven kernel. ACM Transactions on Computer Systems, 15(3):217–252, 1997.

J. H. Howard, M. L. Kazar, S. G. Menees, D. A. Nichols, M. Satyanarayanan, R. N. Sidebotham, and M. J. West. Scale and performance in a distributed file system. ACM Transactions on Computer Systems, 6(1):51–81, 1988.
J. B. Carter, J. K. Bennet, and W. Zwanepoel. Implementation and performance of Munin. In Proceedings of the 13th ACM Symposium on Operating Systems Principles, pages 152–164, 1991.
Frank Schmuck and Jim Wylie. Experience with transactions in QuickSilver. In Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles (SOSP), pages 239-253, 1991.
K. Petersen, M. J. Spreitzer, D. B. Terry, M. M. Theimer, and A. J. Demers. Flexible update propagation for weakly consistent replication. In Proceedings of the 16th ACM Symposium on Operating Systems Principles, pages 288–301, 1997.

F. Dabek, M. F. Kaashoek, K. Karger, R. Morris, and I. Stoica. Wide-area cooperative storage with CFS. In Proceedings of the 18th Symposium on Operating Systems Principles, 2001.
Larry L. Peterson, David Culler, Thomas Anderson, and Timothy Roscoe. A blueprint for introducing disruptive technology into the Internet. In Proceedings of the 1st Workshop on Hot Topics in Networks (HotNets-I), 2002.

Jeffrey Dean, Sanjay Ghemawat, MapReduce: simplified data processing on large clusters, Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation, December 6-8, 2004, San Francisco, CA.
Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung. The Google file system. In Proceedings of the Nineteenth ACM Symposium on Operating Systems principles (SOSP ’03), pages 29–43, New York, NY, USA, 2003. ACM Press.