Syllabus

• Concurrent Programming (2 weeks)


Solaris Multithreading Architecture (Chapters 6 and 7), Multiprocessor System Architectures, Sun Microsystems.

Overview of Undergraduate material: Locks, Semaphores and Monitors from Silberschatz, Galvin and Gagne
 

• Synchronization (2.5 weeks)


Anderson, Tom, ``The Performance Implications of Spin­Waiting Alternatives for Shared­Memory Multiprocessors'', IEEE TPDS, 1991

M. Herlihy. A Methodology for Implementing Highly Concurrent Data Structures. Proc. of the 2nd ACM

Lamport, L., ``Time, Clocks, and the Ordering of Events in a Distributed System", CACM, 21(7), July 1978.

Ricart, G. and Agrawala, A.K., ``An Optimal Algorithm for Mutual Exclusion in Computer Networks", CACM, 24(1), Jan. 1981.

``A Distributed Mutual Exclusion Algorithm", I. Suzuki and T. Kasami, ACM TOCS
 

• Communication Mechanisms (3.5 weeks)


Birrell and Nelson, ``Implementing Remote Procedure Calls", ACM TOCS, 2(1), Feb. 1984.

Birrell, ``Secure Communication Using Remote Procedure Calls", ACM TOCS, 3(1), Feb. 1985.

Li and Hudak, ``Memory Coherence in Shared Virtual Memory Systems" ACM TOCS, November 1989.

Gharacharloo et al., ``Performance Evaluation of Memory Consistency Models for Shared Memory Multiprocessors'', ASPLOS 1991.
 

• File Systems (3 weeks)


Tanenbaum (Section 5.1)

Sandberg et al., ``Design and Implementation of the SUN Network File System (NFS)'', Proc. of Usenix, 1985.

Nelson, Welch, Ousterhout, ``Caching in the Sprite Network File System", ACM TOCS, 6(1), Feb. 1988.

H. Yu, A. Vahdat. Design and Evaluation of a Continuous Consistency Model for Replicated Services.OSDI, 2000.

Mendel Rosenblum and John K. Ousterhout. The Design and Implementation of a Log­Structured File System. ACM Trans. on Computer Systems 10(1), February 1992, pp. 26­52.

J. Kistler, M. Satyanarayanan. Disconnected operation in the Coda File System. ACM Transaction on Computer Systems, February 1992.

G. Kuenning and G. Popek. Automated Hoarding for Mobile Computers. Proc. of the 16th ACM Symposium on Operating Systems Principles, October 1997.
 

• OS Structure and Protection (2 weeks)


Cohen, E. and Jefferson, D., ``Protection in the HYDRA Operating System", ACM SOSP, 1975.

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. Symp. on Operating Systems Principles, December 1995

Dawson R. Engler, M. Frans Kaashoek and James W. O'Toole, Exokernel: An Operating System Architecture for Application­Level Resource Management, SOSP 95.

D. Wallach, D. Bafanz, D. Dean and E. Felten. Extensible Security Architecture for Java. ACM SOSP, 1997.
 

• Embedded Operating Systems (1 week)


TinyOS from UC-Berkeley


Windows CE