CS 474 Lecture Notes

Some Example OSes

Minix Source Code

Linux v. 1.0 Source Code

• Page Fault Handling

Some Topics

History

Making a System Call

Processes
Unix(Linux)-specific process control system calls

Mutual Exclusion

• Semaphores
• Monitors

Dining Philosophers

Deadlocks

Memory Management

Intel Paged Virtual Memory

Replacement Strategies

Inverted and Software Page Tables

Schedulers

Realtime Scheduling

Linux Scheduler

Review of IO techniques

Usin TCP With Unix (including Linux)
Some sample segv handling code

Device Drivers (incomplete)

Unix-like Filesystems

FAT Filesystems