FSU COP4610 / CGS 5765
Principles of Operating Systems (Fall 2007)

Instructors

Sara Stoecklin (Panama City Campus)

Teaching Assistant

Cory Fox (fox@cs.fsu.edu , subject: cop4610)

Textbook

Silberschatz, Galvin, and Gagne, Operating System Concepts, 7th Edition, ISBN: 0-471-69466-5

Announcements

[Aug 24] Welcome to COP4610!

[Nov 6] This Thursday's office hour (11/8/2007) is cancelled.

[Dec 10] The final exam will be held this Thursday (12/13/2007) at 7:30am.

Lecture Slides

Lecture 1 (8/27/2007)

Experience Survey (Word XP)

Course Syllabus (Word XP)

Course Information (PowerPoint XP)

Introduction and History (PowerPoint XP)

Homework 1 (Word XP)

Reading: Chapter 1

Suggested Reading: The Emperor's Old Clothes, by Tony Hoare

Lecture 2 (8/29/2007)

Concurrency: Threads, Address Spaces, and Processes (PowerPoint XP)

Applying for Graduate Schools (PowerPoint XP)

Lecture 3 (8/31/2007)

Genesis: From Raw Hardware to Processes (PowerPoint XP)

Reading: Chapter 2

Lecture 4 (9/5/2007)

CPU Scheduling (PowerPoint XP)

Homework 2 (Word XP)

Reading: Chapter 5

Lecture 5 (9/7/2007)

Cooperating Threads (PowerPoint XP)

Synchronization (PowerPoint XP)

Reading: Sections 6.1 - 6.2

Lecture 6 (9/10/2007)

Implementing Mutal Exclusion (PowerPoint XP)

Reading: Sections 6.3 - 6.5

Lecture 7 (9/12/2007)

Semaphores and Bounded Buffer (PowerPoint XP)

More on Semaphores (PowerPoint XP)

Homework 3 (Word XP)

Lecture 8 (9/14/2007)

Monitors, Condition Variables, and Readers-Writers (PowerPoint XP)

Lecture 9 (9/17/2007)

Deadlocks (PowerPoint XP)

Reading: Chapter 7

Lecture 10 (9/19/2007)

Concurrency Conclusion (PowerPoint XP)

Why threads are a bad idea, by John Ousterhout (PowerPoint XP)

Homework 4 (Word XP)

Lecture 11 (9/21/2007)

Memory Protection (PowerPoint XP)

Reading: Sections 8.3 - 8.6

Lecture 12 (9/24/2007)

Address Translation (PowerPoint XP)

Lecture 13 (9/26/2007)

Exam review (PowerPoint XP)

Lecture 14 (9/28/2007)

Exam 1

Lecture 15 (10/1/2007)

Recitation

Lecture 16 (10/3/2007)

Exam 1 Debrief

Caching and TLBs (PowerPoint XP)

Homework 5 (Word XP)

Lecture 17 (10/5/2007)

Virtual Memory (PowerPoint XP)

Reading: Sections 9.1 - 9.7

Lecture 18 (10/8/2007)

Device Management and Disk Management (PowerPoint XP)

Reading: Sections 12.1 - 12.4, 13.1 - 13.3.1

Lecture 19 (10/10/2007)

File Systems (PowerPoint XP)

Homework 6 (Word XP)

Reading: Sections 10.1-10.3, 11.4

Lecture 20 (10/12/2007)

Naming and Directories (PowerPoint XP)

Lecture 21 (10/15/2007)

Storage: From Atoms to People, by Robert Morris (MPEG)

Lecture 22 (10/17/2007)

Storage Bricks, by Jim Gray (MPEG)

Homework 7 (Word XP)

Lecture 23 (10/19/2007)

Transactions and Reliability (PowerPoint XP)

Reading: Sections 6.9 - 6.9.2, 11.8, 12.7

Lecture 24 (10/22/2007)

Some Research Frontiers in Storage Systems

Lectures 25/26 (10/24/2007, 10/26/2007)

Conquest: Preparing for Life After Disks (PowerPoint XP)

Homework 8 (Word XP)

Lecture 27 (10/29/2007)

PARAID: A Gear-Shifting Power-Aware RAID (PowerPoint XP)

Lecture 28 (10/31/2007)

Exam review (PowerPoint XP)

Lecture 29 (11/2/2007)

Exam 2 (please bring your IDs)

Lecture 30 (11/5/2007)

Recitation

Lecture 31 (11/7/2007)

Protection and Security (PowerPoint XP)

Homework 9 (Word XP)

Reading: Sections 15, 14.4 - 14.7

Lecture 32 (11/9/2007)

Recitation

Lecture 33 (11/14/2007)

Network Protocols (PowerPoint XP)

Reading: Sections 16.3 - 16.6

Lecture 34 (11/16/2007)

Network and Distributed Systems (PowerPoint XP)

Remote Procedure Call (PowerPoint XP)

Lecture 35 (11/19/2007)

Distributed File Systems (PowerPoint XP)

Lecture 36 (11/21/2007)

GPFS: A Shared-Disk File System for Large Computing Clusters (PowerPoint XP)

Lecture 37 (11/26/2007)

ZFS: The Last Word in File Systems (PDF)

Lecture 38 (11/28/2007)

Automated Worm Fingerprinting (PowerPoint XP)

Homework 10 (Word XP)

Lecture 39 (11/30/2007)

Pastiche: Making Backup Cheap and Easy (PowerPoint XP)

Lecture 40 (12/3/2007)

Rethink the Sync (PowerPoint XP)

Lecture 41 (12/5/2007)

Recovery-Oriented Computing (PowerPoint XP)

Lecture 42 (12/7/2007)

Exam review (PowerPoint XP)

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

Tanenbaum and Woodhull, Operating Systems Design and Implementation (3rd Edition)

Maxwell, Linux Core Kernel Commentary

Tanenbaum, Modern Operating Systems (2nd Edition)

awang@cs.fsu.edu

Last modified on: July 22, 2006

FSU COP4610 / CGS 5765 Principles of Operating Systems (Fall 2007)

Announcements

Lecture Slides

Useful Resources

FSU COP4610 / CGS 5765
Principles of Operating Systems (Fall 2007)