Operating Systems - Binghamton University

[Syllabus] [Course Material] [Policies]

Syllabus

Course Description: Advanced topics in operating systems. including process and threads, concurrency, deadlocks, race conditions, synchronization, scheduling, virtual memory, file systems, storage systems, virtualization, security, and kernel programming.

Credit hours and course expectations: This course is a 3-credit course, which means that students are expected to do at least 9 to 9.5 hours of course-related work or activity each week during the semester. This includes scheduled class lecture/discussion meeting times as well as time spent completing assigned readings, studying for tests and examinations, participating in lab sessions, preparing written assignments, and other course-related tasks.

Learning Objectives: In this course, you will learn classical and advanced concepts in Operating Systems. Topics include:

• Processes, Threads, and Events
• Concurrency
• Scheduling
• Virtual Memory
• Storage and File Systems
• Virtualization
• Security
• Introduction to Linux Kernel Programming

Prerequisites:

• CS350 -- Undergraduate OS.
• You must be proficient with C programming.
• Proficiency in the use of a debugger (such as gdb) is expected.
• You must be comfortable working and programming in the Linux environment.

Textbooks:

• There is no required textbook for this course.
• A good reference book is Modern Operating Systems, by Andrew Tanenbaum, Prentice Hall; 4th edition.

Other Recommended Books:

• Kernighan, Ritchie, The C Programming Language.
• Linux Device Drivers, 3rd Edition by Jonathan Corbet, Alessandro Rubini, and Greg Kroah-Hartman. (This book is also available online at http://lwn.net/Kernel/LDD3/).
• Unix Network programming, Vol 1: The Socket Networking API (3rd edition), by W. Richard Stevens, Bill Fenner, Andrew M. Rudoff, Addison-Wesley Professional.
• Operating Systems: Three Easy Pieces (a.k.a. the OSTEP book)
  Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau
• Silberschatz, Galvin, Gagne, Operating System Concepts; 7th or 8th edition
• Virtual Machines: Versatile Platforms for Systems and Processes, By James E. Smith Jim, Jr. Smith, Ravi Nair.

[Syllabus] [Course Material] [Policies]

Lecture Slides and Supplemental Materials

• Please clear your browser's cache and reload this page to see the latest listing of slides below.
  

1. Course Information
2. Introduction
   • Pre-recorded Lecture
   • Chapter 1 of Tanenbaum's book.
   • Chapter 1 of OSTEP book.
3. Processes
   • Pre-recorded Lecture
   • Not recorded: Definition of processes, process states. Please refer to the pre-recorded lecture link above.
   • References: Chapter 2, Sections 10.2, and 10.3 of Tanenbaum's book
4. Inter Process Communication
   • Pre-recorded lecture
   • Chapters 7 to 10, and 14, Advanced Programming in Unix Environment, by Richard Stevens.
   • Unix man pages
5. Threads
   • Pre-recorded Lecture
   • Chapter 2 (Section 2.2), Modern Operating Systems, Andrew Tanenbaum
   • Chapter 11: Advanced Programming in Unix Environment, by Richard Stevens
6. Race Conditions and Deadlocks
   • Pre-recorded Lecture
   • Chapters 2 (2.3) and 6, Tanenbaum's Modern OS
7. Semaphores, Monitors and Condition Variables, Producer-Consumer Problem
   • Pre-recorded Lecture
   • Chapters 2 (2.3) and 6, Tanenbaum's Modern OS
8. Events vs Threads
9. Kernel Modules
10. System Calls
    • Pre-recorded Lecture - Kernel Modules
    • Pre-recorded Lecture - System Calls
    • Example Code - Kernel Modules
11. Virtual Memory Management
    • Pre-recorded lecture
    • Chapter 3, Tanenbaum's book
12. TLB Coverage and Superpages
    • Pre-recorded Lecture
    • Rest of the superpage lecture: Demotions, Fragmentation control, Performance
    • Paper: Practical, Transparent, Operating System Support for Superpages
13. "The UNIX time-sharing system", Dennis M. Ritchie and Ken Thompson, 1974
    • Pre-recorded Lecture: Introduction to File Systems
    • Paper
    • Chapter 4 Tanenbaum's book
14. RAID
    • Pre-recorded Lecture
    • Paper
    • Chapter 5, Tanenbaum's book
15. Introduction to Virtual Machines
    • Pre-recorded Lecture
    • Chapter 1, "Virtual Machines - Versatile platforms for Systems and Processes", Smith and Nair.
    • Chapter 7 Tanenbaum's book
16. Live Migration
    • Pre-recorded Lecture
    • C. Clark et. al, "Live migration of virtual machines", NSDI 2005
    • M. Hines, U. Deshpande, K. Gopalan, "Post-copy live migration of virtual machines", Operating Systems Review 2009.
17. System Security
    • Pre-recorded Lecture
    • Chapter 9 Tanenbaum's book
18. Operating-System-Level Virtualization (Containers)
    • Pre-recorded Lecture
    • Various sources on the internet
19. I/O Models
    • Pre-recorded Lecture
    • Chapter 6, Unix Network Programming, 3rd Edition, by Richard Stevens
20. Segmentation
    • Pre-recorded Lecture
    • Chapter 3 Tanenbaum's book
21. Principles of System Design
    • Pre-recorded Lecture
    • Hints for Computer System Design
    • Chapter 6 from Srinivasan Keshav's book.

[Syllabus] [Course Materials] [Policies]