| Tue, Aug 25 | Lect: Introduction, Multiprocessor startup, Sequential Consistency |
| Thu, Aug 27 | Lect-disc: L. Lamport. “How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs,” 1979. |
| Tue, Sep 1 | Lect: Sequential Consistency (cont’d) |
| Thu, Sep 3 | Lect-disc: C.A.R. Hoare. “Monitors: An Operating System Structuring Concept,” 1974. |
| Tue, Sep 8 | Lect: Memory models |
| Thu, Sep 10 | Lect: Thread Scheduling |
| Tue, Sep 15 | Lect: Thread Scheduling |
| Thu, Sep 17 | Lect-disc: D.P. Reed and R.K. Kanodia. “Synchronization with Eventcounts and Sequencers,” 1979. |
| Tue, Sep 22 | Lect: Thread Scheduling (cont’d) |
| Thu, Sep 24 | Lect: Processes |
| Tue, Sep 29 |
Lect-disc: S. Kleiman and J. Eykholt. “Interrupts as Threads,” 1995. and W. Hofer, et al. “Threads as Interrupts,” 2009. |
| Thu, Oct 1 | Lect-disc: T. Anderson, et al. “Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism,” 1992. |
| Tue, Oct 6 | Lect: Processes (cont’d) |
| Thu, Oct 8 | Lect-disc: H. Franke et al. “Fuss, Futexes, and Furwocks: Fast Userlevel Locking in Linux,” 2002. |
| Tue, Oct 13 | Lect: Processes (cont’d) |
| Thu, Oct 15 | Lect-disc: J. H. Saltzer et al. “End-to-End Arguments in System Design,” 1984. |
| Tue, Oct 20 | Lect: Virtual Memory |
| Thu, Oct 22 | Lect-disc: P. J. Denning “Virtual Memory,” 1970. |
| Tue, Oct 27 | Lect: Virtual Memory (cont’d) |
| Thu, Oct 29 | Lect-disc: C. D. Cranor and G. M. Parulkar “The UVM Virtual Memory System,” 1999. and C. Silvers “UBC: An Efficient Unified I/O and Memory Caching Subsystem for NetBSD,” 2000. |
| Tue, Nov 3 | |
| Thu, Nov 5 | |
| Tue, Nov 10 | |
| Thu, Nov 12 | |
| Tue, Nov 17 | |
| Thu, Nov 19 | |
| Tue, Nov 24 | Fall Break |
| Thu, Nov 26 | |
| Tue, Dec 1 | |
| Thu, Dec 3 | |
| Tue, Dec 8 | |