FSU COP4610 / CGS 5765
Principles of Operating Systems (Spring 2024)

Instructor
Andy Wang (awang@cs.fsu.edu)

Teaching Assistants
Michael Nguyen and Bing Jiao (cop4610t@cs.fsu.edu, subject: cop4610)

Textbook
Silberschatz, Galvin, and Gagne, Operating System Concepts, 10th Edition


Announcements

[Jan 1] Welcome to COP4610!


Lecture Slides

Lecture 1 (1/9/2024) Class canceled due to inclement weather

Lecture 2 (1/11/2024)
Course Syllabus (PDF)
Course Information (PPT)
Introduction and History (PPT)
Homework 1 (posted on Canvas)
Reading: Chapter 1

Lecture 3 (1/16/2024)
Concurrency: Threads, Address Spaces, and Processes (PPT)
Genesis: From Raw Hardware to Processes (PPTX)
Reading: Chapter 2

Lecture 4 (1/18/2024)
CPU Scheduling (PPT)
Round robin example (PPT)
Reading: Chapter 5
Homework 2 (posted on Canvas)

Lecture 5 (1/23/2024)
Cooperating Threads (PPT)
Synchronization (PPT)
Project 1 Hints (PPT)
Applying for Graduate Schools (PPTX)
Reading: Sections 4.1

Lecture 6 (1/25/2024)
Implementing Mutal Exclusion (PPT)
Reading: Sections 6.4 - 6.5
Homework 3 (posted on Canvas)

Lecture 7 (1/30/2024)
Semaphores and Bounded Buffer (PPT)
More on Semaphores (PPT)
Reading: Section 7.1.1
Homework 4 (posted on Canvas)

Lecture 8 (2/1/2024)
Exam review (PPT)

Lecture 9 (2/6/2024)
Exam 1 in class (please bring your ID)

Lecture 10 (2/8/2024)
Project 2 release

Lecture 11 (2/13/2024)
Exam 1 Debrief

Lecture 12 (2/15/2024)
Monitors, Condition Variables, and Readers-Writers (PPT)
Homework 5 (posted on Canvas)

Lecture 13 (2/20/2024)
Deadlocks (PPT)
Reading: Chapter 8

Lecture 14 (2/22/2024)
Concurrency Conclusion (PPT)
Memory Protection (PPT)
Homework 6 (posted on Canvas)
Reading: Sections 9.1 - 9.4
Optional: Why threads are a bad idea, by John Ousterhout (PPTX)

Lecture 15 (2/27/2024)
Address Translation (PPT)
Homework 6 (posted on Canvas)

Lecture 16 (2/29/2024)
Caching and TLBs (PPT)
Reading: Sections 10.1 - 10.6

Lecture 17 (3/5/2024)
Virtual Memory (PPT)
Homework 7 (posted on Canvas)
Reading: Sections 11.1-11.2, 12.1-12.4

Lecture 18 (3/7/2024)
Device Management and Disk Management (PPT)

Lecture 19 (3/19/2024)
Exam review (PPT)

Lecture 20 (3/21/2024)
Exam 2 in class (please bring your ID)

Lecture 21 (3/26/2024)
Project 3 release

Lecture 22 (3/28/2024)
Exam 2 Debrief

Lecture 23 (4/2/2024)
File Systems (PPT)
Naming and Directories (PPT)
Reading: Sections 12.1 - 12.3, 13.1 - 13.4

Lecture 24 (4/4/2024)
Transactions and Reliability (PPT)
Protection and Security (PPT)
Reading: Sections 16, 17.5 - 17.7
Homework 8 (posted on Canvas)

Lecture 25 (4/9/2024)
TrueErase (PPTX)

Lecture 26 (4/11/2024)
Network Protocols (PPT)
Network and Distributed Systems (PowerPoint XP)
Reading: Sections 19.3 - 19.6
Homework 9 (posted on Canvas)
10-million-passwords.txt (right click on the link and click 'save as')
wordlist.10000.txt

Lecture 27 (4/16/2024)
Remote Procedure Call (PPT)
Distributed File Systems (PPT)

Lecture 28 (4/18/2024)
Final review (PPT)
Homework 10 (posted on Canvas)
Lecture 29 (4/23/2024)
Automated Worm Fingerprinting (PPTX)

Lecture 30 (4/25/2024)
Finding Bugs in Persistent Memory File Systems


Useful Resources

Discussion board

Lab resources
Lab Web page
Cross-Referecing Linux

Books
Gary Nutt, Kernel Projects for Linux
Kernighan, Ritchie, The C Programming Language (2nd Edition)
Corbet, Rubini, and Kroah-Hartman, Linux Device Drivers
Arpaci-Dusseau, Arpaci-Dusseau, Operating Systems: Three Easy Pieces
Tanenbaum and Woodhull, Operating Systems Design and Implementation (3rd Edition)
Maxwell, Linux Core Kernel Commentary
Tanenbaum, Modern Operating Systems (3rd Edition)


awang@cs.fsu.edu
Last modified on: January 1, 2024