CS-443 Advanced Operating Systems
Spring 2005
Course Schedule
Here is a list of the papers we will discuss and their scheduled dates. There is also a complementary list with interesting related papers we will not have time to cover in class.
Schedule:
- Introduction: 3/31
- Introduction to the course Slides [.pps]
- OS Design: 4/5 & 4/7
- Review of background material.
- H. Hartig, M. Hohmuth, J. Liedtke,
S. Schonberg and J. Wolter,
The performance of micro-kernel-based systems,
Proc. of the 16th ACM Symposium on Operating Systems
Principles, Oct. 1997.
Presenter (Date): Fabian Bustamante (4/5)
Slides [.pps]
Review (A. Beach) [.ps] - M. Frans Kaashoek, D.R. Engler, G. R. Ganger, H.
M. Briceno, R. Hunt, D. Mazieres, T.
Pinckney, R. Grimm, J. Jannotti and K. Mackenzie, Application
Performance and Flexibility on Exokernel Systems,
Proc. of the 16th ACM Symposium on Operating Systems
Principles, Oct. 1997.
Presenter (Date): David Choffnes (4/7)
Slides [.pps]
Review (J. Paris) [.pdf] - E. Bugnion, S. Devine and M. Rosenblum, Disco:
Running Commodity Operating Systems on Scalable
Multiprocessors, Proc. of the 16th ACM Symposium on
Operating Systems Principles, Oct. 1997.
Presenter (Date): Aaron Beach (4/7)
Slides [.pps]
Review (D. Choffnes) [.pdf] - J. Liedtke, On Micro-Kernel Construction, Proc. of the 15th ACM Symposium on Operating System Principles, Dec. 1995.
- A. Arpaci-Dusseau and R. Arpaci-Dusseau, Information and Control in Gray-Box Systems, In Proc. of the 18th ACM Symposium on Operating Systems Principles, Oct. 2001.
- B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers and S. Eggers. Extensibility, Safety and Performance in the SPIN Operating System, Proc. of the 15th ACM Symposium on Operating System Principles, Dec. 1995.
- D.R. Engler, F. Kaashoek and J. O'Toole, Exokernel: An Operating System Architecture for Application-Level Resource Management, In Proc. of the 15th ACM Symposium on Operating System Principles, Dec. 1995.
- B. Gamsa, O. Krieger, J. Appavoo and M. Stumm, Tornado: Maximizing locality and concurrency in a shared memory multiprocessor operating system, In Proc. of the 3rd Symposium on Operating Systems Design and Implementation, Feb. 1999.
- J. Chase, H. Levy, M. Feeley and E. Lazowska, Sharing and Protection in a Single Address Space Operating System, ACM Trans. on Computer Systems, Nov. 1994.
- J. Mogul, Brittle metrics in operating systems research, In Proc. 7th Workshop on Hot Topics in Operating Systems, Mar. 1999.
Optional readings: - Communication: 4/12 & 4/14
- Review of background material.
- B. Bershad, T. Anderson, E. Lazowsa and H. Levy,
Lightweight remote procedure call, In Proc. of the
12th Symposium on Operating System Principles, 1989.
Presenter (Date): Fabian Bustamante (4/12)
Slides [.pps]
Review (L. Yang) [.pdf] - T. von Eicken, A. Basu, V. Buch, W. Vogels,
U-Net: A User-Level Network Interface for Parallel and
Distributed Computing, In Proc. of the 15th ACM
Symposium on Operating Systems Principles, Dec. 1995.
Presenter (Date): Joseph Paris (4/14)
Slides [.pps]
Review (D. Choffnes) [.pdf] - M. Rosu, K. Schwan and R. Fujimoto, Supporting Parallel Applications on Clusters of
Workstations: : The Intelligent Network Interface
Approach, In Proc. of High Performance Distributed
Computing, 1997.
Presenter (Date): Lei Yang (4/14)
Slides [.pps]
Review (D. Choffnes) [.pdf] - A. D. Birrell and B. J. Nelson. Implementing Remote Procedure Calls, ACM Transaction on Computer Systems, 2(1):271-290, Feb. 1984.
- M. D. Schroeder and M. Burrows. Performance of the Firefly RPC. In Proc. of the 12th Symposium on Operating System Principles, 1989.
- N. Carriero and D. Gelernter. Linda in context. Communications of the ACM 32(4):444-458, Apr. 1989.
- D. Wetherall, Active Networks: Vision and Reality: Lessons from a Capsule-based System, In Proc. of the 17th ACM Symposium on Operating System Principles, Dec. 1999.
- B. Oki, M. Pfluegl, A. Siegel and D. Skeen, The Information Bus - an Architecture for Extensible Distributed Systems, In Proc. of the Symposium on Operating Systems Principles, 1993.
- G. Eisenhauer, F. E. Bustamante and K. Schwan, Native Data Representation: An Efficient Wire Format for High-Performance Computing, IEEE Transaction on Parallel and Distributed Systems, 13(12):1234-1246 , 2002.
- G. Banaver, T. Chandra, R. Strom, D. Sturman, A Case for Message Oriented Middleware, In Proc. 13th International Symposium on Distributed Computing (invited lecture), Sep. 1999.
- T. von Eicken, D. E. Culler, S. C. Goldstein and K. E. Schauser, Active messages: a mechanism for integrated communication and computation, In Proc. of the 19th Annual International Symposium on Computer Architecture, 1992.
- D.A. Wallach, W.C. Hsieh, K.L. Johnson, M.Frans Kaashoek and W.E. Weihl, Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation, In Proc. PPoPP'95, Jul. 1995.
Optional readings: - Processes & threads: 4/19 & 4/21
- Review of background material.
- A. Adya, J. Howell, M. Theimer, W. Bolosky and
J. Douceur,
Cooperative Task Management without Manual Stack
Management or, Event-driven Programming is Not the
Opposite of Threaded Programming, In Proc. of the
USENIX Annual Technical Conference, Jun. 2002.
Presenter (Date): Fabian Bustamante (4/19)
Slides [.pps]
Review (A. Beach) [.pdf] - T. Anderson, B. Bershad, E. Lazowska and
H. Levy,
Scheduler Activations: Effective Kernel Support for the
User-Level management of Parallelism , ACM Trans. on
Computer Systems 10(1):53-79, Feb. 1992.
Presenter (Date): Yi Qiao (4/21)
Slides [.pps] - C. Waldspurger and W. Weihl.
Lottery Scheduling: Flexible Proportional-Share Resource
Management, In Proc. of the First USENIX Symposium on
Operating System Design and Implementation,
Nov. 1994.
Presenter (Date): Stefan Birrer (4/21)
Slides [.pdf]
Review (L. Yang) [.pdf] - B. Ford and S. Susarla, CPU Inheritance Scheduling, In Proc. of the 2nd Symposium on Operating Systems Design and Implementation, Oct. 1996
- J. K. Ousterhout Why Threads are a Bad Idea (for most purposes), Presentation given at the Usenix Annual Technical Conference, Jan. 1996.
- S. Savage, M. Burrows, G. Nelson, P. Sobalvarro and T. Anderson, q Eraser: A Dynamic Data Race Detector for Multithreaded Programs, In Proc. of the 16th ACM Symposium on Operating Systems Principles, Oct. 1997.
- C.A.R. Hoare, Monitors: An Operating System Structuring Concept, Communications of the ACM 17(10):549-557, Oct. 1974
- B. Lampson and D. Redell. Experiences with Processes and Monitors in Mesa, Communications of the ACM, 23(2):105-117, Feb. 1980.
- H. Lauer and R. Needham, On the Duality of Operating System Structures, In Proc. Second Intl' Symposium on Operating Systems, IRIA, Oct. 1978
- H. Massalin and C. Pu, Threads and input/output in the Synthesis kernel, In Proc. of the 12th Symposium on Operating System Principles, 1989.
Optional readings: - Virtual & shared memory 4/26 & 4/28
- Review of background material.
- A. Appel and K. Li.
Virtual Memory Primitives for User Programs, In
Proc. of the 4th International Conference on Architectural
Support for Programming Languages and Operating Systems,
1991.
Presenter (Date): Fabian Bustamante (4/26)
Slides [.pps]
Review (L. Yang) [.pdf] - J. Navarro, S. Iyer, P. Druschel and A. Cox,
Practical, Transparent, Operating System Support for
Superpages, In Proc. of the 5th Symposium on Operating
Systems Design and Implementation, 2002.
Presenter (Date): David Choffnes (4/28)
Slides [.pps] - C. Waldspurger,
Memory Resource Management in VMware ESX Server, In
Proc. of the 5th Symposium on Operating Systems Design and
Implementation, 2002.
Presenter (Date): Lei Yang (4/28)
Slides [.pps]
Review (A. Beach) [.pdf] - M. Feeley, W. Morgan, F. Pighin, A. Karlin and H. Levy, Implementing Global Memory Management in a Workstation Cluster, Fifteenth ACM Symposium on Operating System Principles, Dec. 1995.
- H. M. Levy and P.H.Lipman, Virtual Memory Management in the VAX/VMS Operating System,IEEE Computer,15(3):35--41, March 1982.
- V. Pai, P. Druschel and W. Zwaenepoel, IO-Lite: a unified I/O buffering and caching system, ACM Trans. Comput. Syst. 18(1): 37-66 (2000)
- P. Keleher, A. Cox, S. Dwarkadas and W. Zwaenepoel, TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems, In Proc. of the Winter USENIX Conference, 1994.
- Peter J. Denning; Virtual Memory, ACM Comput. Survey 2(3):153--189, Sep. 1970.
- A. Bensoussan, C. T. Clingen and R. C. Daley, The Multics virtual memory: concepts and design, Communications of the ACM, 15(5):308-318, May 1972.
- B. Nitzberg and V. Lo. B. Nitzberg and V. Lo. Distributed Shared Memory: A survey of issues and algorithms, IEEE Computer, 52-60, 1991.
- R. Rashid, A.Tevanian, M. Young, D. Golub, R. Baron, D. Black, W. Bolo sky, and J. Chew. Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures, IEEE Transactions on Computers 37(8):896-908, Aug 1988
- M. Satyanarayanan, H. Mashburn, P. Kumar, D. Steer, and J. Kistler, Lightweight Recoverable Virtual Memory, In Proc. of the 14th ACM Symposium on Operating Systems Principles, Dec. 1993
- D. Scales and K. Gharachorloo, Towards Transparent and Efficient Software Distributed Shared Memory, In Proc. of the 16th ACM Symp. on Operating Systems Principles, Oct. 1997.
Optional readings: - Storage & file systems:5/3 & 5/5
- Review of background material.
- Fabian will be at NSDI on Tuesday. On Thursday he will briefly describe some of the interesting work appearing in the conference.
- A. Haeberlen, A. Mislove and P. Druschel,
Glacier: Highly Durable, Decentralized Storage Despite
Massive Correlated Failures, In Proc. of the First
USENIX/ACM Symposium on Networked Systems Design and
Implementation, 2004.
Presenter (Date): Yi Qiao (5/3)
Slides [.pps]
Review (L. Yang) [.pdf] - S. Quinlan and S. Dorward, Venti: A
New Approach to Archival Data Storage., In Proc. of
the 1st USENIX Conference on File and Storage
Technologies, 2002.
Presenter (Date): Fabian Bustamante (5/5)
Slides [.pps]
Review (D. Choffnes) [.pdf] - A. Muthitacharoen, B. Chen and D. Mazieres, A Low-Bandwidth Network File System, In. Proc. of the 18th ACM Symposium on Operating Systems Principles, Oct. 2001.
- S. Ghemawat, H. Gobioff and S. Leung, The Google file system, In Proc. of the 19th ACM Symposium on Operating Systems Principles, 2003.
- C. Gray and D. Cheriton, Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency, In Proc. of the 12th ACM Symposium on Operating Systems Principles, 1999.
- R. Sandberg, R. Goldberg, S. Kleinman, D. Walsh and B. Lyon, Design and Implementation of the SUN Network Filesystem, In Proc. of the Summer USENIX Conf., 1985
- M. Rosenblum and J. Ousterhout, The Design and Implementation of a Log-Structured File System, In ACM Transactions on Computer Systems, 10(1):26--52, 1992.
- M. McKusick, W. Joy, S. Leffler and R. Fabry. A Fast File System for UNIX, ACM Trans. on Computer Systems 2(3):181-197, Aug. 1984.
Optional readings: - Internet Services: 5/10 & 5/12
- Review of background material.
- Y. Saito, B. Bershad, and H. Levy,
Manageability, Availability and Performance in Porcupine:
A Highly Scalable Internet Mail Service, In Proc. of
the 17th ACM Symposium on Operating Systems Principles,
Dec. 1999.
Presenter (Date): Fabian Bustamante (5/10)
Slides [.pps]
Review (L. Yang) [.pdf] - R. von Behren, J. Condit, F. Zhou, G. C. Necula, and
E. Brewer,
Capriccio: Scalable Threads for Internet Services, In
Proc. of the 19th ACM Symposium on Operating Systems
Principles, 2003.
Presenter (Date): Stefan Birrer (5/12)
Slides [.pps] - G. Banga, P. Druschel and J. Mogul.
Resource containers: A new facility for resource
management in server sysytems, In Proc. of the 3rd
Symposium on Operating Systems Design and Implementation,
1999.
Presenter (Date): Aaron Beach (5/12)
Slides [.pps] - M. Welsh, D. Culler, E. Brewer. SEDA: An Architecture for Well-Conditioned, Scalable Internet Services. Proc. of the 18th ACM. Symposium on Operating Systems Principles, Oct. 2001.
- Armando Fox, Steven Gribble, Yatin Chawathe, Eric Brewer, and Paul Gauthier. Cluster-based Scalable Network Services Proc. of the 16th ACM Symposium on Operating Systems Principles, Oct. 1997.
Optional readings: - Fault-tolerance, bugs, etc:5/17 & 5/19
- Review of background material.
- D. Engler, D. Chen, S. Hallem, A. Chou and B. Chelf,
Bugs as Deviant Behavior: A General Approach to Inferring
Errors in Systems Code, In Proc. of Symposium on
Operating Systems Principles, 2001.
Presenter (Date): Fabian Bustamante (5/19)
Slides [.pps]
Review (L. Yang) [.pdf] - J. LeVasseur, V. Uhlig, J. Stoess and S. Götz,
Unmodified Device Driver Reuse and Improved System
Dependability via Virtual Machines, In Proc. of the
Symposium on Operating Systems Design and Implementation,
2004.
Presenter (Date): Aaron Beach (5/19)
Slides [.pps]
Review (D. Choffnes) [.pdf] - M. Swift, B. Bershad and H. Levy,
Improving the reliability of comodity operating
systems, In Proc. of the ACM Symposium on Operating
Systems Principles, 2003.
- J. Yang, P. Twohey, D. Engler, and M. Musuvathi Using Model Checking to Find Serious File System Errors, In Proc. of the Symposium on Operating Systems Design and Implementation, 2004
- M. Rinard, C. Cadar, D. Roy and D. Dumitran, A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors), In Proc. of the 20th Annual Computer Security Applications Conference, Dec. 2004.
- M. Rinard, C. Cadar, D. Dumitran, D. Roy, T. Leu and W. Beebee, Enhancing Server Availability and Security Through Failure-Oblivious Computing, In Proc. of the Symposium on Operating Systems Design and Implementation, 2004
- R. Haskin, Y. Malachi, W. Sawdon and G. Chan, Recovery Management in Quicksilver, In ACM Transactions on Computer Systems, 6(1):82-108, Feb. 1988.
- J. Yin, J-P. Martin, A. Venkataramani, L. Alvisi, M. Dahlin, Separating Agreement from Execution for Byzantine Fault Tolerant Systems, In Proc. of 19th Symposium on Operating Systems Principles, Oct. 2003
- M. Castro and B. Liskov, Practical Byzantine Fault Tolerance, In Proc. of the Symposium on Operating Systems Design and Implementation, 1999
- K. Nagaraja, F. Oliveira, R. Bianchini, R. Martin and T. Nguyen, Understanding and Dealing with Operator Mistakes in Internet Services, In Proc. of the Symposium on Operating Systems Design and Implementation, 2004
Optional readings:
- Security, protection, and DoS:5/24
- S. T. King and P. M. Chen. Backtracking
Intrusions, In Proc. of ACM Symposium on Operating
Systems Principles, 2003.
Presenter (Date): Fabian Bustamante (5/24)
Slides [.pps]
Review (D. Choffnes) [.pdf] - S. Singh, C. Estan, G. Varghese and S. Savage, Automated Worm Fingerprinting, In Proc. of Symposium on Operating Systems Design and Implementation, 2004.
Presenter (Date): Yi Qiao (5/26)
Slides [.pps]
Review (L. Yang) [.pdf] - S. T. King and P. M. Chen. Backtracking
Intrusions, In Proc. of ACM Symposium on Operating
Systems Principles, 2003.
- T. Garfinkel, B. Pfaff, J. Chow, M. Rosenblum and D. Boneh, Terra: A Virtual-Machine Based Platform for Trusted Computing, In Proc. of ACM Symposium on Operating Systems Principles, Oct. 2003.
- D. Moore, G. Voelker, and S. Savage. Inferring Internet Denial of Service Activity, In Proc. of the 2001 USENIX Security Symposium, Aug. 2001.
- S. Staniford, V. Paxson and N. Weaver. How to Own the Internet in Your Spare Time, In Proc. of the USENIX Security Symposium, 2002
- D. Moore, C. Shannon, G. M. Voelker and S. Savage. Internet Quarantine: Requirements for Containing Self-Propagating Code, In Proc. of Infocom, 2003.
- S. Chen and Y. Tang. Slowing down Internet Worms, In Proc. of 24th International Conference on Distributed Computing Systems, 2004.
- Ad-Hoc & Sensor Networks: 5/26 & 5/31
- Review of background material.
- P., S. Madden, D. Gay, J. Polastre, R. Szewczyk,
A. Woo, E. Brewer and D. Culler, The
Emergence of Networking Abstractions and Techniques in
TinyOS, In Proc. of the First USENIX/ACM Symposium on
Networked Systems Design and Implementation, 2004.
Presenter (Date): Fabian Bustamante (5/31)
Slides [.pps]
Review (A. Beach) [.pdf] - X. Yu,
Improving TCP performance over mobile ad hoc networks by
exploiting cross-layer information awarness, In
Proc. ACM International Conference on Mobile Computing and
Networking, Sep-Oct. 2004.
Presenter (Date): David Choffnes (5/31)
Slides [.pps] - T. Liu, C. Sadler, P. Zhang and M. Martonosi,
Implementing Software on Resource-Constrained Mobile
Sensors: Experiences with Impala and ZebraNet, In
Proc. of MobiSys, Jun. 2004.
Presenter (Date): Lei Yang (5/31)
Slides [.pps]
Review (A. Beach) [.pdf] - D. Aguayo, J. Bicket, S. Biswas, G. Judd and R. Morris, Link-level Measurements from an 802.11b Mesh Network, In Proc. of SIGCOMM, 2004.
- E. Royer and C.-K. Toh, A review of current routing protocols for Ad Hoc mobile wireless networks, IEEE Personal Communications, 1999.
- G. Holland and N. Vaidya, Analysis of TCP Performance over Mobile Ad Hoc Networks, In Proc. of the IEEE/ACM MOBICOM, 1999.
- G. Judd and P. Steenkiste, Using Emulation to Understand and Improve Wireless Networks and Applications, In Proc. of the 2nd Symposium on Networked Systems Design & Implementantiopn, May 2005.
- Y. Kim, R. Govindan, B. Karp and S. Shenker, Geographic Routing Made Practical, In Proc. of the 2nd Symposium on Networked Systems Design & Implementantiopn, May 2005.
- S. Nath, P. Gibbons, Z. Anderson and S. Seshan, Synopsis Diffusion for Robust Aggregation in Sensor Networks, In Proc. of ACM SenSys, Nov. 2004.
- J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler and K. Pister, System Architecture Directions for Networked Sensors, In Proc. of ASPLOS, 2000
Optional readings: - Final project presentation: 6/2; Exam week begins 6/06
- TBD
Last modified: Mon Jan 3 16:43:19 CST 2005
Optional readings: