CS5204 Operating Systems
Fall 2014
[Course information] [Announcements] [Lectures/Reading list] [Projects] [Piazza Discussion Forum]
CS5204 Operating SystemsFall 2014[Course information] [Announcements] [Lectures/Reading list] [Projects] [Piazza Discussion Forum] |
|
| Number | Date | Paper | Presenter |
| 08/26 | Introduction and Overview | ARB Slides:pptx | |
Parallel and Distributed Systems | |||
| 1 | 08/28 | End-To-End Arguments in System Design J.H. Saltzer, D.P. Reed and D.D. Clark ICDS 1981 Time, clocks, and the ordering of events in a distributed system Leslie Lamport Communications of the ACM, 21(7):558-565, July 1978. | ARB Slides: pdf |
| 2 | 09/02 | MapReduce: Simplified Data Processing on Large Clusters Jeffrey Dean and Sanjay Ghemawat OSDI'04 | Luna Xu Slides: pdf |
| 3 | 09/04 | Spanner: Googles globally distributed database James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild. Wilson Hsieh. Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd , Sergey Melnik , David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang and Dale Woodford ACM Transactions on Computer Systems (TOCS) 31.3 (2013): 8 | S. Iqbal Slides: pdf |
| 4 | 09/09 | Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, and Armando Solar-Lezama SOSP'13 | Ali Anwar |
| 5 | 09/11 | Apache Hadoop Goes Realtime at Facebook Dhruba Borthakur, Kannan Muthukkaruppan, Karthik Ranganathan, Samuel Rash, Joydeep Sen Sarma, Nicolas Spiegelberg, Dmytro Molkov, Rodrigo Schmidt, Jonathan Gray, Hairong Kuang, Aravind Menon and Amitanand Aiyer SIGMOD’11 | K.P. Murali Slides: pdf |
| 6 | 09/16 | Dynamo: Amazon's Highly Available Key-Value Store Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Guna vardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall and Werner Vogels SOSP'07 | ARB Slides:ppt |
Concurrency | |||
| 7 | 09/18 | Eraser: a dynamic data race detector for multithreaded programs Stefan Savage, Micheal Burrows, Greg Nelson, Patric Sobalvarro and Thomas Anderson ACM TOCS, 15(4):391--411 | E. Holder Slides:pptx pdf |
| 8 | 09/23 | RaceMob: Crowdsourced Data Race Detection Baris Kasikci, Cristian Zamfir and George Candea SOSP'13 | I. Harb Slides: pdf |
| 9 | 09/25 | Everything you always wanted to know about synchronization but were afraid to ask. Tudor David, Rachid Guerraoui and Vasileios Trigonakis SOSP'13 | M. Baidya |
Threads vs. Events | |||
| 10 | 09/30 | On the duality of operating system structures Hugh C. Lauer and Roger M. Needham IGOPS Oper. Syst. Rev. 13, 2 (Apr. 1979), 3-19. | A. Rafiq Slides:pptx |
| 11 | 10/02 | Capriccio: Scalable Threads for Internet Services Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, and Eric Brewer SOSP 2003 Bonus reading: Events Can Make Sense | ARB Slides: pdf |
| 12 | 10/07 | PARROT: A Practical Runtime for Deterministic, Stable, and Reliable Threads Heming Cui, Jiri Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, and Randal E. Bryant SOSP'13 | R. Pai Slides:ppt pdf |
Scheduling | |||
| 13 | 10/09 | Virtual-Time Round-Robin: An O(1) Proportional Share Scheduler Jason Nieh, Chris Vaill and Hua Zhong USENIX ATC 2001 | A. Binford Slides:pptx |
| 14 | 10/14 | Resource containers: A new facility for resource management in server systems Gaurav Banga, Peter Druschel and Jeffrey C. Mogul OSDI 1999 | U. Ananth Slides: pdf |
| 15 | 10/16 | Corey: An Operating System for Many Cores Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, Frans Kaashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yuehua Dai, Yang Zhang and Zheng Zhang OSDI 2008 | Y. Jin Slides: pdf |
Kernel Structures | |||
| 16 | 10/21 | Application performance and flexibility on Exokernel systems M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Hector M. Bricefio, Russell Hunt, David Mazikres, Thomas Pinckney, Robert Grimm, John Jannotti and Kenneth Mackenzie SOSP 1997 | C. Pinto Slides:pptx |
| 17 | 10/23 | FlexSC: Flexible System Call Scheduling with Exception-Less System Calls Livio Soares and Michael Stumm OSDI'10 | ARB |
| 18 | 10/28 | From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone and Gernot Heiser SOSP'13 | Y. Wen Slides: pdf |
Midpoint presentations | |||
| 10/30 | Each group gets 10 minutes, 8 for presentation, 2 for questions. | ||
Virtual Machines | |||
| 19 | 11/04 | Xen and the art of virtualization. Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt and Andrew Warfield SOSP 2003, 164-177. | ARB Slides: pdf |
| 20 | 11/06 | Difference Engine: Harnessing Memory Redundancy in Virtual Machines Diwaker Gupta, Sangmin Lee, Michael Vrable, Stefan Savage, Alex C. Snoeren, George Varghese, Geoffrey M. Voelker and Amin Vahdat OSDI'08 Bonus reading: Memory resource management in VMware ESX server | ARB Slides:ppt |
File Systems | |||
| 21 | 11/11 | The Design and Implementation of a Log-Structured File System Mendel Rosenblum and John K. Ousterhout Bonus reading: A Fast File System for UNIX SOSP 1991 | P. Rangudu Slides: pdf |
| 22 | 11/13 | Journaling versus soft updates: asynchronous meta-data protection in file systems Margo I. Seltzer, Gregory R. Ganger, M. Kirk McKusick, Keith A. Smith, Craig A. N. Soules and Christopher A. Stein USENIX ATC 2000 | A. Abhyankar Slides:pptx pdf |
| 23 | 11/18 | Replication, history, and grafting in the Ori file system Ali Jose Mashtizadeh, Andrea Bittau, Yifeng Frank Huang and David Mazieres SOSP'13 | S. Iqbal |
Robustness and Reliability | |||
| 24 | 11/20 | Improving the reliability of commodity operating systems. Michael M. Swift, Brian N. Bershad and Henry M. Levy ACM Trans. Comput. Syst. 23, 1 (Feb. 2005), 77-110. | S. Ansary |
| 25 | 12/02 | Rx: treating bugs as allergies---a safe method to survive software failures. Feng Qin, Joseph Tucek, Jagadeesan Sundaresan and Yuanyuan Zhou SOSP 2005 | M. Umar |
Final presentations | |||
| 12/04 | Final presentations | ||
| 12/09 | Final presentations | ||
