CS 518 Advanced Operating Systems Reading List

(Fall 2000)


(You may wish to visit the Fall 2002 or Fall 2001 version of this page.)



  introduction   slides  
0. Welcome, and "going back to the future". pdf  ps
A. virtual memory, kernel structures, and extensibility   slides  
1. R. C. Daley and J. B. Dennis. Virtual Memory, Processes, and Sharing in MULTICS. Communications of the ACM, 11(5), May 1968, pp. 306-312. pdf  ps
2. H. M. Levy and P. H. Lipman. Virtual Memory Management in the VAX/VMS Operating Systems. IEEE Computer, 15(3), March 1982, pp. 35-41. pdf  ps
3. E. W. Dijkstra. The Structure of the "THE" Multiprogramming System. Communications of the ACM, 11(5), May 1968, pp. 341-346. pdf  ps
4. W. A. 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(6), June 1974, pp. 337-345. pdf  ps
5. M. Young, A. Tevanian, R. Rashid, D. Golub, J. Eppinger, J. Chew, W. Bolosky, D. Black, and R. Baron. The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System. Proc. 11th SOSP, Operating Systems Review, 21(5), November 1987, pp. 63-76. pdf  ps
You only need to write observations for one of the following three papers: 6) Synthesis, 7) Exokernel, and 8) Disco, although you're welcome (and encouraged) to read more than one of these papers and write about them.
6. H. Massalin and Calton Pu. Threads and Input/Output in the Synthesis Kernel. Proc. 12th SOSP, Operating Systems Review, 23(5), December 1989, pp. 191-201. pdf  ps
7. D. R. Engler, M. F. Kaashoek, and J. O'Toole Jr.. Exokernel: An Operating System Architecture for Application-Level Resource Management. Proc. 15th SOSP, December 1995, pp. 251-266. pdf  ps
8. E. Bugnion, S. Devine, and M. Rosenblum. Disco: Running Commodity Operating Systems on Scalable Multiprocessors. Proc. 16th SOSP, October 1997, pp. 143-156.  
B. threads, synchronization, and communication   slides  
9. K. Li and P. Hudak. Memory Coherence in Shared Virtual Memory Systems. ACM Transaction on Computer Systems, 7(4), November 1989, pp. 321-359. (guest lecture by Prof. Arvind Krishnamurthy, Yale.) pdf  ps
10. B. W. Lampson and D. D. Redell. Experience with Processes and Monitors in Mesa. Communications of the ACM, 23(2), February 1980, pp. 105-117. pdf  ps
11. A. D. Birrell. An Introduction to Programming with Threads. Tech. Rep. SRC-035, Digital Equipment Corporation, January 1989. pdf  ps
12. V. Jacobson. Congestion Avoidance and Control. Proc. 1988 SIGCOMM Symposium, August 1988, pp. 314-329. (guest lecture by Prof. Larry Peterson.) pdf  ps
13. L. Brakmo and L. Peterson. TCP Vegas: End-to-End Congestion Control in a Global Internet. IEEE Journal on Selected Areas in Communication, 13(8), October 1995, pp. 1465-1480. (guest lecture by Prof. Larry Peterson.)  
14. A. D. Birrell and B. J. Nelson. Implementing Remote Procedure Calls. ACM Transactions on Computer Systems, 2(1), February 1984, pp. 39-59. pdf  ps
15. T. von Eicken, D. E. Culler, S. C. Goldstein, K. E. Schauser. Active Messages: A Mechanism for Integrated Communication and Computation. Proc. 19th ISCA, May 1992, pp. 256-266. pdf  ps
C. storage and file systems, distributed systems   slides  
You only need to write observations for one of the following two papers: 16) RAID, and 17) MimdRAID, although you're welcome (and encouraged) to read more than one of these papers and write about them.
16. P. Chen, E. Lee, G. Gibson, R. Katz, and D. Patterson. RAID: High-Performance, Reliable Secondary Storage. ACM Computing Surveys, 26(2), June 1994, pp. 145-188. pdf  ps
17. X. Yu, B. Gum, Y. Chen, R. Y. Wang, K. Li, A. Krishnamurthy, and T. E. Anderson. Trading Capacity for Performance in a Disk Array. Proc. 4th OSDI, October 2000. pdf  ps
18. D. M. Ritchie and K. Thompson. The UNIX Time-Sharing System. Communications of the ACM, 17(7), July 1974, pp. 365-375. pdf  ps
19. M. K. Mckusick, W. N. Joy, S. J. Leffler, and R. S. Fabry. A Fast File System for UNIX. ACM Transactions on Computer Systems, 2(3), August 1984, pp. 181-197. pdf  ps
20. M. Rosenblum and J. Ousterhout. The Design and Implementation of a Log-Structured File System. ACM Transactions on Computer Systems, 10(1), February 1992, pp. 26-52. pdf  ps
You only need to write observations for two of the following four papers: 21) NFS, 22) AFS, 23) LOCUS, and 24) Sprite, although you're welcome (and encouraged) to read more than two of these papers and write about them.  
21. R. Sandberg, D. Goldberg, S. Kleiman, D. Walsh, and B. Lyon. Design and Implementation of the Sun Network Filesystem. Proc. USENIX Summer Conference, June 1985, pp. 119-130. pdf  ps
22. 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), February 1988, pp. 51-81.  
23. B. Walker, G. Popek, R. English, C. Kline, and G. Thiel. The LOCUS Distributed Operating System. Proc. 9th SOSP, Operating Systems Review, 17(5), November 1983, pp. 49-70.  
24. M. N. Nelson, B. B. Welch, and J. K. Ousterhout. Caching in the Sprite Network File System. ACM Transactions on Computer Systems, 6(1), February 1988, pp. 134-154.  
25. T. E. Anderson, M. D. Dahlin, J. M. Neefe, D. A. Patterson, D. S. Roselli, and R. Y. Wang. Serverless Network File Systems. Proc. 15th SOSP, ACM Transactions on Computer Systems, 14(1), February 1996, pp. 41-79. pdf  ps
26. D. Karger, E. Lehman, F. T. Leighton, M. Levine, D. Lewin, and R. Panigrahy. Consistent Hashing and Random Trees: Distributed Caching Protocols for Relieving Hot Spots on the World Wide Web. Proc. 29th STOC, May 1997, pp. 654-663. (guest lecture by Prof. Vivek Pai)
27. V. S. Pai, M. Aron, G. Banga, M. Svendsen, P. Druschel, W. Zwaenepoel, E. Nahum. Locality-Aware Request Distribution in Cluster-based Network Servers. Proc. ASPLOS-VIII, October 1998. (guest lecture by Prof. Vivek Pai) ppt
D. experiences   slides  
28. C. A. R. Hoare, The Emperor's Old Clothes. Communications of the ACM, 24(2), February 1981, pp. 75-83.  
29. B. W. Lampson, Hints for Computer System Design. Proc. 9th SOSP, Operating System Review, 17(5), Special Issue, October 1983, pp. 33-48.  
30. J. Ousterhout and D. Patterson, How to give a bad talk. pdf  ps




CS518                               © 2000    Randy Wang