Operating System Concept Animation Library
(OSCAL)

Processor Scheduling and Real-Time Scheduling: 

Processor Scheduling Algorithms (Harjot Bains)

Processor Scheduling (Aperiodic with Starting deadline) Algorithms (Harjot Bains)

Processor Scheduling (Periodic with Completion deadline) Algorithms (Harjot Bains)

Rate monotonic Scheduling Algorithm (Harjot Bains)

Solutions and Mechanisms for Critical Section Problem:

Eisenberg-McGuire Algorithm (Matt Garber)

Semaphore (Winnie Yuen)

Message Passing (Winnie Yuen)

Monitor (Winnie Yuen)

Solaris RW Lock (Tim Valdepena)

Classic Problems of Concurrency Control and Synchronization:

ProducerConsumer Problem (Jie Zhang)

ReaderWriter Problem (Jie Zhang)

Barbershop Problem (Jie Zhang)

Deadlock Avoidance:

Banker's Algorithm (Jie Zhang)

Virtual Memory:

Page Replacement Algorithms (Harjot Bains)

Clock Page Replacement Algorithm (Matt Garber)

Disk Scheduling and RAID:

Disk Scheduling Algorithms (Harjot Bains)

RAID (Matt Garber)

SMP Cache Coherency Algorithms:

Cache Coherency Algorithms (Charyll Angderson)

Data Link Error Control:

Stop-and-Wait ARQ (Winnie Yuen)

Go-Back-n ARQ (Winnie Yuen)

Selective-Reject ARQ (Winnie Yuen)