The following is the schedule of readings for the term. Changes to the schedule may be made as necessary. I may decide to change some of the papers in the later part of the schedule as the term progresses.
Class 1 10-Sept-07 |
Course overview and initial paper assignments Students will be asked to submit rankings (top 3 preferences) from the following list. The instructor will use these to deterimine the moderator/presenter schedule. It is therefore recommended that students examine the list before the first class if possible. |
Class 2 12-Sept-07 |
Threads, Concurrency and SynchronizationPaper #1: (presenter: Norm Hutchinson)"An introduction to programming with threads", by A. Birrel, No. 35, DEC SRC, January 1989. Full paper
Paper #2: (presenter: Norm Hutchinson)
|
Class 3 17-Sept-07 |
Paper #3: (presenter: Patrick Colp) "Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism", by T. Anderson, B. Bershad, E. D.Lazowska, H. Levy, ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992, 53--79. Full paper
Paper #4: (presenter: Nahn Nguyen) |
Class 4 19-Sept-07 |
Event-Based SystemsPaper #5: (presenter: Mohammad Abdul-Amir)"SEDA: an architecture for well-conditioned, scalable internet services", by M. Welsh, D. Culler, E. Brewer, Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, 2001, 230--243. Full paper
Paper #6: (presenter: Kristi McBurnie) |
Class 5 24-Sept-07 |
Duality of Threads and EventsPaper #7: (presenter: Stelian Coros)"On the duality of operating system structures", by H. Lauer, R. Needham, Operating Systems Review, Vol. 13, No. 2, 1979, 3--19. Full paper
Paper #8: (presenter: XiaoFei Wang) |
Class 6 26-Sept-07 |
Paper #9: (presenter: Will Hrudey) "Capriccio: scalable threads for internet services", by R. Behren, J. Condit, F. Zhou, G. Necula, E. Brewer, Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, 2003, 268--281. Full paper
Paper #10: (presenter: Ryan O'Connor) |
Class 7 1-Oct-07 |
Remote Procedure CallPaper #11: (presenter: Sang Hoon Yeo)"Implementing remote procedure calls", by A. Birrell, B. Nelson, ACM Transactions on Computer Systems, Vol. 2, No. 1, 1984, 39--59. Full paper
System Structuring using LayersPaper #12: (presenter: Hao Ren)"The structure of the THE-multiprogramming system", by E. Dijkstra, Communications of the ACM, Vol. 11, No. 5, 1968, 341--346. Full paper |
Class 8 3-Oct-07 |
Extensibility via Hardware-Based ProtectionPaper #13a: (presenter: Wei-Lwun Lu)"Mach: A New Kernel Foundation for Unix Development", by M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, M. Young, Proceedings of the Summer USENIX Conference, 1986, pp. 93--113. Full paper
Paper #13b: (presenter: Ryan O'Connor) |
Class 9 8-Oct-07 |
Thanksgiving holiday |
Class 10 10-Oct-07 |
No class Norm is out of town |
Class 11 15-Oct-07 |
No class SOSP |
Class 12 17-Oct-07 |
No class SOSP |
Class 13 22-Oct-07 |
Paper #14: (presenter: Matt Hoffman) "Improving IPC by kernel design", by J. Liedtke, Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, 1993, 175--188. Full paper
Paper #15: (presenter: Wei-Lwun Lu) |
Class 14 24-Oct-07 |
Extensibility via Software-Based ProtectionPaper #16: (presenter: Stelian Coros)"Efficient software-based fault isolation", by R. Wahbe, S. Lucco, T. Anderson, S. Graham, Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, 1993. Full paper
Paper #17: (presenter: Matt Hoffman) |
Class 15 29-Oct-07 |
Project proposal due.VirtualizationPaper #18: (presenter: XiaoFei Wang)"Disco: Running Commodity Operating Systems on Scalable Multiprocessors", by E. Bugnion, S. Devine, K. Govil, M. Rosenblum, ACM Transactions on Computer Systems, Vol. 15, No. 4, 1997, 412--447. Full paper
Paper #19: (presenter: Hao Ren) |
Class 16 31-Oct-07 |
Applications of VirtualizationPaper #20: (presenter: Will Hrudey)"ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay.", by G. Dunlap, S. King, S. Cinar, M. Basrai, P. Chen, Proceedings of Fifth USENIX Symposium on Operating Systems Design and Implementation, 2002. Full paper
Paper #21: (presenter: Zhiyong Cheng) |
Class 17 5-Nov-07 |
Real-TimePaper #22: (presenter: Patrick Colp)"Soft timers: efficient microsecond software timer support for network processing", by M. Aron, P. Druschel, ACM Transactions on Computer Systems, Vol. 18, No. 3, 2000, 197--228. Full paper
Paper #23: (presenter: Patrick Colp) |
Class 18 7-Nov-07 |
DistributionPaper #24: (presenter: Sang Hoon Yeo)"The LOCUS distributed operating system", by B. Walker, G. Popek, R. English, C. Kline, G. Thiel, Proceedings of the Ninth ACM Symposium on Operating Systems Principles, 1983. Full paper
Paper #25: (presenter: April Webster) |
Class 19 12-Nov-07 |
Holiday in lieu of Remembrance day |
Class 20 14-Nov-07 |
Paper #26: (presenter: Norm Hutchinson) "Fine-Grained Mobility in the Emerald System", by E. Jul, H. Levy, N. Hutchinson, A. Black, ACM Transactions on Computer Systems, Vol. 6, No. 1, February 1988, 109--133. Full paper
File SystemsPaper #27: (presenter: Ryan O'Connor)"A Fast File System for UNIX", by M. McKusick, W. Joy, S. Leffler, R. Fabry, Computer Systems, Vol. 2, No. 3, 1984, 181-197. Full paper |
Class 21 19-Nov-07 |
Paper #28: (presenter: Kristi McBurnie) "The Design and Implementation of a Log-Structured File System", by M. Rosenblum, J. Ousterhout, ACM Transactions on Computer Systems, Vol. 10, No. 1, 1992, 26--52. Full paper
Paper #29: (presenter: Nhan Nguyen) |
Class 22 21-Nov-07 |
Distributed File SystemsPaper #30: (presenter: Zhiyong Cheng)"Frangipani: A Scalable Distributed File System", by C. Thekkath, T. Mann, E. Lee, Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, 1997. Full paper
Paper #31: (presenter: Mohammad Abdul-Amir) |
Class 23 26-Nov-07 |
P2P and RoutingPaper #32: (presenter: April Webster)"Chord: A scalable peer-to-peer lookup service for internet applications", by I. Stoica, R. Morris, D. Karger, M. Kaashoek, H. Balakrishnan, Proceedings of the 2001 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, 2001, 149--160. Full paper
Paper #33: (presenter: Jay Turcot) |
Class 24 28-Nov-07 |
Security and Naming in Distributed SystemsPaper #34: (presenter: Jay Turcot)"Separating key management from file system security", by D. Mazieres, M. Kaminsky, M. Kaashoek, E. Witchel, Proceedings of the Seventeenth ACM Symposium on Operating Systems Principles, 1999, 124-139. Full paper
Paper #35: (presenter: Norm Hutchinson) |