EPL 222: Operating Systems

Resources: Links to Related Documents and Other Interesting Stuff

An example instruction execution cycle	Example process life cycle	Simple solution to the bounded-buffer problem
Implementation of Bounded Buffer problem using a counter variable	Showing problems with atomicity and mutual exclusion using the Bounded Buffer with counter solution	Mutual exclusion with a semaphore
Process synchronization with semaphores

Scheduling Algorithms (by Harjot S. Bains)

Processor Scheduling Algorithms	Processor Scheduling (Aperiodic with Starting deadline) Algorithms	Processor Scheduling (Periodic with Completion deadline) Algorithms
Rate monotonic Scheduling Algorithm	Page Replacement Algorithms	Disk Scheduling Algorithms

Concurrency Control Problems (by Jie Zhang)

ProducerConsumer Problem	ReaderWriter Problem	Barbershop Problem
Banker's Algorithm

EM algorithm, Clock Replacement, RAID (by Matt Garber)

Semaphore, Message, Monitor, Data Link error control (by Winnie Yuen)

Semaphore	Message Passing	Monitor
Stop-andWait ARQ	Go-Back-n ARQ	Selective-Reject ARQ

Solaris RW Lock (by Tim Valdepena)

Solaris RW Lock

SMP Cache Coherency Algorithms (by Charyll Angderson)

Final I	Final II
Final III	Final IV

University of Cyprus
Department of Computer Science