Advanced Operating Systems Papers
All dates subject to change
Background and Systems Philosophy
- Wednesday, August 29
- R.
Levin and D. Redell, "An Evaluation of the Ninth SOSP Submissions/How
(and How Not) to Write a Good Systems Paper," ACM SIGOPS Operating
Systems Review, vol 17, no 3, July 1983, pp 34-40.
- Friday, August 31
- B.
W. Lampson, "Hints for Computer System Design," 9th ACM SOSP.
- Class 3: 9/3 (M) Michael, slides:
p-worse.pdf
- R. P. Gabriel, "Lisp:
Good News, Bad News, How to Win Big," EuroPal
1989.
and
R. P. Gabriel,
"Back to the Future: Is Worse (Still) Better?" OOPSLA
2000.
and
R. P. Gabriel, "Back
to the Future: Worse (Still) is Better!" OOPSLA
2000.
- Class 4: 9/5 (W) Malcom, slides:
p-e2e.pdf
- J.H. Saltzer, D.P. Reed,
and D.D. Clark, "End-to-end arguments in
system design," ACM TCS, November 1984.
File Systems
- Class 5: 9/7 (F) Fengyuan, slides: p-ffs.pdf
- M.K. McKusick, W.N. Joy,
S.J. Leffler, and R.S. Fabry, "A Fast File
System for UNIX," Computer Systems, vol 2, no 3, 1984.
- 9/10, 9/12,
9/14 no class
- Class 6: 9/17 (M) Zheng, slides:
p-lfs.pdf
- M. Rosenblum and J.K.
Ousterhout, "The Design and Implementation of a
Log-Structured File System," 13th ACM SOSP, 1992.
- Class 7: 9/19 (W) Kai, slides: p-fsworkloads.pdf
- D. Roselli, J.R. Lorch, and T.E.
Anderson, "A Comparison of File System
Workloads," Proc. of 2000 USENIX Technical Conference.
- Class 8: 9/21 (F) Erin, slides:
p-jfs.ppt
- Vijayan
Prabhakaran, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau,
"Analysis and Evolution of Journaling File Systems," USENIX 2005.
Virtual Memory
- Class 9: 9/24 (M) Yixun slides:p-vms.ppt
- H.M. Levy and P.H. Lipman, "Virtual
Memory Management in the VAX/VMS
Operating System," IEEE Computer, March 1982.
- Class 10: 9/26 (W) Matt, slides: p-linuxmemory.pdf
- Rik
van Riel, "Page Replacement in Linux 2.4 Memory Management," Proc. of
2001 USENIX Technical Conference, FREENIX track.
- Class 11: 9/28 (F) Panagiotis slides:p-externalpager.pdf
- K. Harty and
D.R. Cheriton, "Application-Controlled Physical Memory
Using External Page-Cache Management," 5th ACM ASPLOS, 1992.
- Class 12: 10/1 (M) Michael slides:p-vmware.ppt
- C.A.
Waldspurger, "Memory Resource Management in VMware ESX Server," OSDI
2002.
Reliability
- Class 13: 10/3 (W) Malcom slides:p-nooks.pdf
- M.
M. Swift, B. N. Bershad, and H. M. Levy, "Improving
the Reliability of Commodity Operating Systems," SOSP 2003.
- Class 14: 10/5 (F) Fengyuan slides:
p-buffer-overflow.pdf
- M.
Rinard, C. Cadar, D. Dumitran, D. M. Roy, and T. Leu, "A
Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and
Other Memory Errors)," ACSAC 2004.
- M. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and W. S. Beebee, Jr., "Enhancing Availability and
Security Through Failure-Oblivious Computing", OSDI 2004.
Concurrency
- Class 15: 10/8 (M) Zheng slides:p-mesa.pdf
- B.
W. Lampson and D. D. Redell, "Experience
with Processes and Monitors in Mesa," Communications of the ACM,
February 1980.
- Class 16: 10/10 (W) Kai slides:p-cooperative.pdf
- A.
Adya, J. Howell, M. Theimer, W. J. Boloky, and J. R. Douceur,
"Cooperative
Task Management without Manual Stack Management", Usenix Annual
Technical Conference 2002
- Additional reading: J.
Ousterhout, "Why
Threads Are a Bad Idea (for most purposes)," USENIX 1996
- Class 17: 10/12 (F) Erin slides:p-threadlibrary.pdf
- H-J.
Boehm, "Threads
cannot be implemented as a library," PLDI 2005
- 10/15 No class
(10/13~10/17 Fall Break)
- Class 18: 10/17 (W) Yixun slides:p-SchedulerActivations.ppt
- T.E. Anderson, B.N.
Bershad, E.D. Lzowska, and H.M. Levy, "Scheduler
Activations: Effective Kernel Support for the User-level Management of
Parallelism," ACM Transactions on Computer Systems, February 1992.
- Class 19: 10/19 (F) Matt slides:p-eraser.pdf
- S.
Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser:
A Dynamic Data Race Detector for Multithreaded Programs," SOSP 1997
- Class 20: 10/22 (M) Panagiotis slides:p-capriccio.pdf
- R.
v. Behren, J. Condit, F. Zhou, G. C. Necula, and E. Brewer, "Capriccio:
Scalable Threads for Internet Services," SOSP 2003
Security
- Class 21: 10/24 (W) Michael
- R. Anderson, "Why Cryptosystems
Fail,"
1st Conf. Computer and Comm.
Security, 1993.
and
K. Thompson, "Reflections on
Trusting Trust," Turing Award Lecture,
CACM, August 1984.
- Class 22: 10/26 (F) Malcom slides:p-kerberos.pdf
- J.G. Steiner, C.
Neuman,
and J.I. Schiller, "Kerberos: An
Authentication Service for Open Network Systems," USENIX Winter
Conference, February 1988.
- Class 23: 10/29 (M) Fengyuan slides:p-pcc.pdf
- G.C. Necula and P. Lee, "Safe
Kernel Extensions Without Run-time
Checking," OSDI 1996.
Networking
- Class 24, 10/31 (W) Zheng slides:p-tcp.pdf
- Van Jacobson and
M.J.
Karels, "Congestion Avoidance and Control,"
SIGCOMM 1988, revised.
- Class 25, 11/2 (F) Kai slides:p-poisson.pdf
- V. Paxson and S. Floyd,
"Wide-Area Traffic: The Failure of Poisson
Modeling," IEEE/ACM Transactions on Networking, June 1995.
- Class 26, 11/5 (M) Erin slides:p-simInternet.pdf
- V. Paxson and S. Floyd, "Why
we don't know how to simulate the
Internet," 1997 Winter Simulation Conference.
Distributed File Systems
- Class 27, 11/7 (W) Yixun slides:p-afs.ppt
- J.H. Howard, M.L. Kazar, S.G.
Menees,
D.A. Nichols, M. Satyanarayanan,
N. Sidebotham, and M.J. West, "Scale and Performance in a Distributed
File System," ACM Transactions on Computer Systems, February 1988.
- Class 28, 11/9 (F) Matt slides:p-sprite.pdf
- M.N. Nelson, B.B. Welch,
And J.K. Ousterhout, "Caching in the Sprite
Network File System," ACM Transactions on Computer Systems, 1988.
- Class 29, 11/12 (M) Panagiotis slides:p-coda.pdf
- J.J. Kistler and M.
Satyanarayanan, "Disconnected Operation in the Coda
File System," ACM Transactions on Computer Systems, February 1992.
- Class 30, 11/14 (W) Michael slides:p-gfs.ppt
- S. Ghemawat, H. Gobioff,
and S.-T. Leung, "The Google File System,"
SOSP 2003.
- Class 31, 11/16 (F) Malcom slides:p-lbfs.pdf
- A.
Muthitacharoen, B. Chen, and D. Mazieres, "A
Low-Bandwidth Network File System," SOSP 2001
Distributed Virtual Memory
- Class 32, 11/19 (M) Fengyuan slides:p-svm.pdf
- K. Li and P. Hudak, "Memory
Coherence
in Shared Virtual Memory
Systems," ACM Transactions on Computer Systems, November 1989.
- 11/21,
11/23 No class (11/21~11/26 Thanksgiving break)
- Class 33, 11/26 (M) Zheng slides:p-falsesharing.pdf
- C.
Amza, A. L. Cox, K. Ramajamni, and W. Zwaenepoel, "Tradeoffs between
false sharing and aggregation in software distributed shared memory,"
PPoPP 1997.
Message Passing
- Class 34, 11/28 (W) Kai slides:p-rpc.pdf
- A.D. Birrell and B.J.
Nelson, "Implementing Remote Procedure Calls,"
ACM Transactions on Computer Systems, February 1984.
- Class 35, 11/30 (F) Erin slides:p-activemessage.pdf
- T. von Eicken, D.E.
Culler,
S.C. Goldstein, and K.E. Schauser, "Active
Messages: a Mechanism for Integrated Communication and Computation,"
19th ISCA, 1992.
Distributed Systems
- Class 36, 12/3 (M) Yixun slides:p-chubby.pdf
- M.
Burrows, "The
Chubby lock service for loosely-coupled distributed systems," OSDI 2006
- Class 37, 12/5 (W) Matt slides:p-giant.pdf
- E.A. Brewer, "Lessons from
Giant-Scale Services," IEEE Internet
Computing, July 2001.
- Class 38, 12/7 (F) Panagiotis slides:p-xen.pdf
- Boris
Dragovic, Keir Fraser, Steve Hand, Tim Harris, Alex Ho, Ian Pratt,
Andrew Warfield, Paul Barham, and Rolf Neugebauer, "Xen and the Art of
Virtualization" SOSP 2003.