Operating Systems notes

Operating Systems

Lecture Notes Date Class # Topic Notes References 08/28 1 Course Overview and Introduction Lecture notes: PPT, PDF 09/02 2 On Designing Systems, and Primary Abstractions (Process) Lecture notes: PPT, PDF Recommended Papers: Butler W. Lampson, Hints for computer system design, Proceedings of the ninth ACM symposium on Operating systems principles, pp. 33-48, 1993 Fernando J. Corbato, On building systems that will fail, Communications of the ACM, V. 34, N. 9, pp. 72-81, September 1991 09/04 3 Multiprocessors, Threads and Light Weight Processes Lecture notes: Multiprocessing Systems MP PPT,MP PDF. Threads threads PPT, threads PDF Required reading: Thomas Anderson, Brian Bershad, Edward Lazowska, and Henry Levy, Scheduler Activations: Effective Kernel Support for the User-Level management of Parallelism, Proceedings of the thirteenth ACM symposium on Operating systems principles, Pacific Grove, California, pp. 95-109, 1991. (Also published in ACM SIGOPS Operating Systems Review Volume 25, Issue 5, October 1991) 09/09 4 Threads and Synchronization Lecture notes: PPT, PDF Reference, not required reading: Richard P. Draves, Brian N. Bershad, Richard F. Rashid, Randall W. Dean, Using continuations to implement thread management and communication in operating systems, Proceedings of the thirteenth ACM symposium on Operating systems principles, Pacific Grove, California, pp. 122-136, 1991. Required reading: C. A. R. Hoare, Monitors: An Operating System Structuring Concept, Communications of the ACM, V. 17, N. 10, pp. 549-557, October, 1974. 09/11 5 Synchronization and IPC Background information: Concurrency and mechanisms PPT, PDF, Notes on UNIX IPC mechanisms PPT, PDF Reference, not required reading: Gregory R. Andrews and Fred B. Schneider, Concepts and Notations for Concurrent Programming, Computing Surveys, V. 15, N. 1, March 1983. Required reading: B. W. Lampson and D. D. Redell, Experience with processes and monitors in MesaCommunications of the ACM, V. 23, N. 2, pp. 105-117, February 1980 09/16 6 Finish the discussion of Monitors and Synchronization primitives. See lecture notes from last thursday. 09/18 7 Discuss OS structure: Microkernels, Layered, Exokernel Finish discussion of IPC mechanisms Lecture notes: See UNIX IPC notes from last week. References (no required reading): See the list of papers under the OS Structure and Organization section of the OS References web page. Required reading: J. Liedtke, On micro-kernel construction, Proceedings of the fifteenth ACM symposium on Operating systems principles, pp 237-250, Copper Mountain, Colorado, 1995. 09/23 8 Overview of IPC mechanisms and Processor Scheduling Lecture notes: IPC notes from last week and Scheduling PPT, PDF. We will move quickly through this material since it is mostly a review. If time permits we will begin talking about real-time systems. Required Reading: 09/25 9 Begin Real-Time Systems Lecture Notes: PPT, PDF and PPT, PDF John A. Stankovic, Real-Time Computing, BYTE, invited paper, pp. 155-160, August 1992. 09/30 10 Continue introduction to RT Systems Lecture notes: See last thursday. 10/02 11 No Class. NA 10/07 12 Clock-Driven Scheduling Lecture notes: PPT 10/09 13 Continue Clock-Driven Scheduling of periodic tasks. Lecture notes: See notes from 10/07 10/14 14 Finish up Clock-Driven Scheduling Lecture notes: See notes from 10/07 10/16 15 Scheduling of Periodic Tasks: Priority-Driven Lecture notes: PPT 10/21 16 Continue Scheduling of Periodic Tasks. Lecture notes: see 10/16. Reference, not required reading: K. Ramamritham and J. Stankovic Scheduling algorithms and operating systems support for real-time systems Proceedings of the IEEE, V. 82, N. 1, pp. 55-67, January 1994 Required reading: C. L. Liu and James W. Layland Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment Journal of the ACM (JACM), pp. 46-61, V. 20, N. 1, January 1973 10/23 17 Finish Periodic tasks. See 10/16 10/28 18 Scheduling of Aperiodic and Sporadic Tasks Lecture notes: PPT, PDF 10/30 19 Finish Scheduling of Aperiodic and Sporadic Tasks see 10/28 11/04 20 Resource Access Control Lecture notes: PPT, PDF 11/06 21 Finish Resource Access Control and start memory management Lecture notes: PPT, PDF 11/11 22 Memory Management Lecture notes: See last week Reference, not required reading: Peter J. Denning, Virtual Memory ACM Computing Surveys, V. 2, N. 3, September 1970, pp. 153-189 Year of Publication: 1970 A. Bensoussan, C. T. Clingen and R. C. Daley, The Multics virtual memory: concepts and design, Commun. ACM 15, 5 (May. 1972), Pages 308 - 318. Charles Cranor and Gurudatta Parulkar, The UVM Virtual Memory System, In Proc. USENIX Annual Technical Conference, Monterey, Ca, June 6-11, 1999 Required reading: Tzi-cher Chiueh, Ganesh Venkitachalam, and Prashant Pradhan, Integrating segmentation and paging protection for safe, efficient and transparent software extensions In Proc. 17th ACM SOSP, pages 140--153, Kiawah Island, SC, USA, Dec 1999. Richard Rashid, Avadis Tevanian, Michael Young, David Golub and Robert Baron, Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures ACM SIGOPS Operating Systems Review, V. 21, N. 4, October 1987, pp. 31-39 11/13 23 Memory Managagement: Virtual memory and kernel memory allocation if time permits. Lecture notes for kernel memory allocation: PPT,PDF 11/18 24 Kernel memory allocation See notes from 11/13 11/20 25 Distributed Threads Venkita's Slides: PPT Lecture notes: PPT, PDF 11/25 26 File System Lecture notes: PPT, PDF 11/27 -- No Class: Thanksgiving Holiday 12/02 27 File System Interface Lecture notes: PPT, PDF 12/04 28 Review TBD NA Turn in Final Exam