CS5204 Operating Systems
Fall 2008
[Announcements] [Course information] [Reading list] [Lecture slides] [Projects]
CS5204 Operating SystemsFall 2008[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 | ||
| 8/28 |
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 | M. Rafique slides |
| 9/2 |
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 | G. Wang slides |
| 9/4 |
The Chubby Lock Service for Loosely-Coupled Distributed Systems Michael Burrows OSDI 2006 | M. Li slides |
Threads vs. Events | ||
| 9/9 |
On the duality of operating system structures Lauer, H. C. and Needham, R. M IGOPS Oper. Syst. Rev. 13, 2 (Apr. 1979), 3-19. | T. Scogland slides |
| 9/11 |
Capriccio: Scalable Threads for Internet Services von Behren, R., Condit, J., Zhou, F., Necula, G. C., and Brewer. SOSP 2003 | A. Khasymski slides |
| 9/16 |
Events Can Make Sense Maxwell Krohn, Eddie Kohler, M. Frans Kaashoek USENIX ATC 2007 | T. Scogland slides |
Scheduling | ||
| 9/23 |
Virtual-Time Round-Robin: An O(1) Proportional Share Scheduler Nieh et. al USENIX ATC 2001 | M. Li slides |
| 9/25 |
Resource containers: A new facility for resource management in server
systems Banga et al. OSDI 1999 | M. Rafique slides |
Kernel Structures | ||
| 9/30 |
Application performance and flexibility on Exokernel systems Kaashoek et al. SOSP 1997 | P. Lu slides |
| 10/2 |
On Micro-Kernel Construction J. Liedtke SOSP 1995 | V. To slides |
| 10/7 |
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 | J. Henry slides |
| 10/14 |
Midterm I |
|
Virtual Machines | ||
| 10/16 |
Operating system support for virtual machines. King, S. T., Dunlap, G. W., and Chen, P. M. USENIX Annual Technical Conference 2003. | J. Henry slides |
| 10/21 |
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. | V. To slides |
| 10/23 |
Memory resource management in VMware ESX server. Waldspurger, C. A. OSDI 2002, 181-194. | P. Lu slides |
Distributed Systems | ||
| 10/28 |
Time, clocks, and the ordering of events in a distributed system Leslie Lamport Communications of the ACM, 21(7):558-565, July 1978. | K. Mudgal slides |
| 10/30 |
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 | K. Mudgal slides Ali RB slides |
| 11/4 |
Sinfonia: A New Paradigm for Building Scalable Distributed Systems Marcos K. Aguilera, Arif Merchant, Mehul Shah, Alistair Veitch, and Christos Karamanolis SOSP 2007 | YW. Kwon slides |
| 11/6 |
Protection and Communication Abstractions for Web Browsers in MashupOS Helen J. Wang, Xiaofeng Fan, Jon Howell, and Collin Jackson SOSP 2007 | M. Schaefer slides |
File Systems | ||
| 11/11 |
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 | A. Khasymski slides slides-2 |
| 11/13 |
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 | M. Schaefer slides |
| 11/18 |
Bigtable: a distributed storage system for structured data Chang et al. OSDI 2006 | P. Liesveld slides |
Robustness and Reliability | ||
| 12/2 |
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. | YW. Kwon slides |
| 12/4 |
/* iComment: Bugs or Bad Comments? */ Lin Tan, Ding Yuan, Gopal Krishna, and Yuanyuan Zhou SOSP 2007 | P. Liesveld slides |