CS5204 Operating Systems
Fall 2009
[Announcements] [Course information] [Reading list] [Lecture slides] [Projects]
CS5204 Operating SystemsFall 2009[Announcements] [Course information] [Reading list] [Lecture slides] [Projects] |
|
Send me a list of at least three papers (in order of preference), when selecting a paper to present
The paper presenters should see me at least a week before their presentation to discuss the slides. You should have the slides ready by then.
All students should read the paper and prepare the paper evaluation form before the class
| Date | Paper | Presenter |
Concurrency | ||
| 9/1 |
Eraser: a dynamic data race detector for multithreaded programs Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., and Anderson. ACM TOCS, 15(4):391--411 | Attari slides |
| 9/3 |
TxLinux: Using and Managing Hardware Transactional Memory in the Operating System Christopher J. Rossbach, Owen S. Hoffman, Donald E. Porter, Hany E. Ramadan, Aditya Bhandari, and Emmett Witchel. SOSP 2007 | Almohri slides |
| 9/8 |
The Chubby Lock Service for Loosely-Coupled Distributed Systems Michael Burrows OSDI 2006 | Edstrom slides |
Threads vs. Events | ||
| 9/17 |
On the duality of operating system structures Lauer, H. C. and Needham, R. M IGOPS Oper. Syst. Rev. 13, 2 (Apr. 1979), 3-19. | Braithwaite slides |
| 9/22 |
Capriccio: Scalable Threads for Internet Services von Behren, R., Condit, J., Zhou, F., Necula, G. C., and Brewer. SOSP 2003 | Daga slides |
| 9/24 |
Events Can Make Sense Maxwell Krohn, Eddie Kohler, M. Frans Kaashoek USENIX ATC 2007 | Wei slides |
Scheduling | ||
| 9/29 |
Virtual-Time Round-Robin: An O(1) Proportional Share Scheduler Nieh et. al USENIX ATC 2001 | Bethea slides |
| 10/1 |
Resource containers: A new facility for resource management in server
systems Banga et al. OSDI 1999 | Ali RB slides |
Kernel Structures | ||
| 10/6 |
Application performance and flexibility on Exokernel systems Kaashoek et al. SOSP 1997 | Wang slides |
| 10/8 |
On Micro-Kernel Construction J. Liedtke SOSP 1995 | Shankha slides |
| 10/13 |
Midterm I |
|
| 10/15 |
Information Flow Control For Standard OS Abstractions Maxwell Krohn, Alex Yip, Micah Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, and Robert Morris. SOSP 2007 | Krishnan slides |
Virtual Machines | ||
| 10/20 |
Operating system support for virtual machines. King, S. T., Dunlap, G. W., and Chen, P. M. USENIX Annual Technical Conference 2003. | Suel slides |
| 10/22 |
Virtual Machine Monitors: Xen and the art of virtualization. Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., and Warfield. SOSP 2003, 164-177. | Martinez slides |
| 10/27 |
Memory resource management in VMware ESX server. Waldspurger, C. A. OSDI 2002, 181-194. | Shankha slides |
Distributed Systems | ||
| 10/29 |
Time, clocks, and the ordering of events in a distributed system Leslie Lamport Communications of the ACM, 21(7):558-565, July 1978. | ??? slides |
| 11/3 |
Implementing remote procedure calls Birrell, A. D. and Nelson, B. J. ACM Trans. Comput. Syst. 2, 1 (Feb. 1984), 39-59. End-To-End Arguments in System Design Saltzer et al. ICDS 1981 | Ali RB slides -- slides |
| 11/5 |
Sinfonia: A New Paradigm for Building Scalable Distributed Systems Marcos K. Aguilera, Arif Merchant, Mehul Shah, Alistair Veitch, and Christos Karamanolis SOSP 2007 | Attari slides |
| 11/10 |
Protection and Communication Abstractions for Web Browsers in MashupOS Helen J. Wang, Xiaofeng Fan, Jon Howell, and Collin Jackson SOSP 2007 | Edstrom slides |
File Systems | ||
| 11/12 |
A Fast File System for UNIX McKusick et al. ACM TOCS, 2(3):181-197, August 1984 The Design and Implementation of a Log-Structured File System Rosenblum et al. SOSP 1991 | Ali RB slides slides-2 |
| 11/17 |
Journaling versus soft updates: asynchronous meta-data protection in file systems Seltzer, M. I., Ganger, G. R., McKusick, M. K., Smith, K. A., Soules, C. A., and Stein, C. A. USENIX ATC 2000 | Braithwaite slides |
| 11/19 |
Bigtable: a distributed storage system for structured data Chang et al. OSDI 2006 | Radhakrishnan slides |
Robustness and Reliability | ||
| 12/1 |
Improving the reliability of commodity operating systems. Swift, M. M., Bershad, B. N., and Levy, H. M. 2005. ACM Trans. Comput. Syst. 23, 1 (Feb. 2005), 77-110. | Almohri slides |
| 12/3 |
/* iComment: Bugs or Bad Comments? */ Lin Tan, Ding Yuan, Gopal Krishna, and Yuanyuan Zhou SOSP 2007 | Wei slides |