Schedule

September 19, 2001 - Introduction to Operating Systems

Introduction ( slides )

September 26, 2001 - OS Structure

Microkernel Architecture ( Photocopies available from TAs office )
- Mach: A new kernel foundation for UNIX development
  M. Acetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young, , In Proc. Usenix Summer '86 Conf., pages 93--113, Atlanta, June 1986
Extensible Operating Systems
- Extensibility, Safety and Performance in the SPIN Operating System, ( ps / pdf ) (slides)
  Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers, Susan Eggers, in Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15), Copper Mountain, CO. pp. 267--284.
Nanokernels
- Exokernel: an operating system architecture for application-level resource management.( ps / pdf ) (slides)
  Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr.
  In the Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP '95), Copper Mountain Resort, Colorado, December 1995, pages 251-266.

October 3, 2001 - Threads

Scribe : Viraj Bhat

Thread programming
- Using threads in interactive systems: A case study( ps / pdf ) (slides)
  Carl Hauser, Christian Jacobi, Marvin Theimer, Brent Welch, and Mark Weiser, In Proceedings of the 14th Symposium on Operating Systems Principles, pages 94--105, December 1993.
Thread implementation
- An introduction to programming with threads,( ps / pdf ) (slides)
  Andrew D. Birrell, Research Report 35, Compaq Systems Research Center, Palo Alto, CA, January 1989.
  
  Presenter : Bin Tian
Thread scheduling
- Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism, ( ps / pdf ) (slides)
  T. Anderson, B. Bershad, E. Lazowska and H. Levy, Proc. 13th ACM SOSP, October 1991.
  Presenter : Robert Sidie

October 10, 2001 - Synchronization

The Performance of Spin Lock Alternatives for Shared-Memory Multiprocessors.( ps / pdf ) (slides)
Tom Anderson, IEEE Transactions on Parallel and Distributed Systems 1, 1 (January 1990), pp. 6-16.

Presenter : Rabita Sarker
Fast Mutual Exclusion for Uniprocessors.( ps / pdf ) (slides)
Bershad, B. N., Redell, D. D., and Ellis, J. R.In Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V), pages 223--233

Presenter : Bin Tian
Eraser: A dynamic data race detector for multi-threaded programs.( ps / pdf ) (slides)
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson. In Proceedings of the 16th ACM Symposium on Operating Systems Principles, October 1997.

October 24, 2001 - Memory Management

Avoiding conflict misses dynamically in large direct-mapped caches.( ps / pdf ) (slides)
B. Bershad, D. Lee, T. Romer, and B. Chen. In Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VI), San Jose, CA, October 1994.

Presenter : Rabita Sarker
User-level physical memory management for Mach. ( ps / pdf ) (slides)
S. Sechrest and Y. Park, In Mach Symposium. USENIX, November 1991.
Active Disks: Programming Model, Algorithms and Evaluation ( ps / pdf ) (slides)
Anurag Acharya, Mustafa Uysal, Joel Saltz. Proc. 8th Int. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VIII), October 1998.

Presenter : Robert Sidie

Memory Servers for Multicomputers.( ps / pdf ) (slides)
Liviu Iftode, Karin Petersen and Kai Li. Proceedings of the IEEE COMPCON'93 Conference, February 1993.

October 31, 2001 - File systems

Application Controlled File Caching Policies,( ps / pdf ) (slides)
P. Cao, E. W. Felten, and K. Li, in Proceedings of the USENIX Summer 1994 Technical Conference, pp. 171--182, 1994.

Presenter : Ashok Arumugam
The design and implementation of a log-structured file system.( ps / pdf ) (slides)
Mendel Rosenblum and John K. Ousterhout. Proceedings of 13th ACM Symposium on Operating Systems Principles (Pacific Grove, CA, USA, October 1991). Published as SIGOPS, 25(5):1--15. Association for Computing Machinery, October 1991.

Presenter : Rabita Sarker

November 7, 2001 - Memory Management II

Cooperative Caching: Using Remote Client Memory to Improve File System Performance.( ps / pdf ) (slides)
M. D. Dahlin, R. Y. Wang, T. E. Anderson, D. A. Patterson. Proc. First Symposium on Operating Systems Design and Implementation. pp. 267-280. November 1994. Also appeared as University of California Technical Report CSD-94-844.

Presenter : Jingsheng Liao
Implementing global memory management in a workstation cluster( ps / pdf ) (slides)
Michael J. Feeley, William E. Morgan, Frederic H. Pighin, Anna R. Karlin, Henry M. Levy Symposium on Operating Systems Principles, October 1995

Presenter : Ashok Arumugam
TreadMarks: Shared Memory Computing on Networks of Workstations( ps / pdf ) (slides)
C. Amza, A.L. Cox, S. Dwarkadas, P. Keleher, H. Lu, R. Rajamony, W. Yu, and W. Zwaenepoel, IEEE Computer, Vol. 29, No. 2, pp. 18-28 (February 1996).

November 14, 2001 - File systems and Security

Serverless Network File Systems.( ps / pdf ) (slides)
Tom Anderson, Michael Dahlin, Jeanna Neefe, David Patterson, Drew Roselli, Randy Wang. 15th Symposium on Operating Systems Principles, ACM Transactions on Computer Systems, 1995.

Presenter : Ashok Arumugam
Fast and secure distributed read-only file system.( ps / pdf ) (slides)
by Kevin Fu, M. Frans Kaashoek, and David Mazières. In the Proceedings of the 4th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2000), San Diego, California, October 2000

Presenter : Viraj Bhat

November 28, 2001 - Peer to Peer Systems

Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications,( ps / pdf ) (slides)
Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, and Hari Balakrishnan, ACM SIGCOMM 2001, San Deigo, CA, August 2001.

Presenter : Robin Carnow

Coda: A Highly Available File System for a Distributed Workstation Environment
( ps / pdf ) (slides)
Satyanarayanan, M., Kistler, J.J., Kumar, P., Okasaki, M.E., Siegel, E.H., Steere, D.C.
IEEE Transactions on Computers April 1990, Vol. 39, No. 4

Presenter : Viraj Bhat

Active Messages: a Mechanism for Integrated Communication and Computation ( ps / pdf ) (slides)
T. von Eicken, D. Culler, S. C. Goldstein,and K. Schauser, Proc. of the 19th Int'l Symposium on Computer Architecture, Gold Coast, Australia, May 1992.

Presenter : Jingsheng Liao

Storage management and caching in PAST, a large-scale, persistent peer-to-peer storage utility( ps / pdf ) (slides)
A. Rowstron and P. Druschel, , Accepted for 18th SOSP'01, 2001.

December 3, 2001 (Monday 6 PM) - Communication

U-Net: A User-level Network Interface of parallel and Distributed Computing.( ps / pdf ) (slides)
T. von Eicken, Anindya Basu, Vineet Buch and Werner Vogels, , Proc. of the 15 th ACM Symposium of Operating Systems Principles, vol. 29, (no.5), Dec 1995, pp. 40-53

Presenter : Jingsheng Liao
The Design,Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications. ( ps / pdf ) (slides)
Jason Nieh and Monica S. Lam (Stanford University). In Proc. of the 16th ACM Symposium on Operating Systems Principles, Saint-Mal o, France, October 1997.
Presenter : Fan Zhang
Why aren't operating systems getting faster as fast as hardware.( ps / pdf ) (slides)
J. Ousterhout.In Proc. of the Summer 1990 USENIX, pages 247--256, June 1990.

Presenter : Robin Carnow
Lottery Scheduling: Flexible Proportional-Share Resource Management,( ps / pdf ) (slides)
C. A. Waldspurger and W. E. Weihl. Proc. of the First Symposium on Operating System Design and Implementation, pp. 1-12, November 1994.

Presenter : Robert Sidie

December 10, 2001 (Monday, 6 PM)

IO-Lite: a unified I/O buffering and caching system( ps / pdf ) (slides)
V. Pai, P. Druschel, and W. Zwaenepoel. . In Operating Systems Design and Implementation (OSDI), pages 15--28. USENIX, 1999.

Presenter : Bin Tian
Resource containers: A new facility for resource management in server systems.( ps / pdf ) (slides)
Gaurav Banga and Peter Druschel. In Proceedings of 3nd USENIX Symposium on Operating Systems Design and Implementation, New Orleans, LA, February 1999.

Presenter : Fan Zhang

Lazy receiver processing (LRP): A network subsystem architecture for server systems,( ps / pdf ) (slides)
P. Druschel and G. Banga, in Proc. the 2nd Symposium on Operating Systems Design and Implementation (OSDI'96), USENIX, Oct. 1996, pp. 261--275.

Presenter : Robin Carnow
The Interaction of Architecture and Operating System Design.( ps / pdf ) (slides)
T. Anderson, H. Levy, B. Bershad, and E. Lazowska. Proc. Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS IV) (April 1991), pp. 108-120.

Presenter : Viraj Bhat