UCYLogo
University of Cyprus
Dept. of Computer Science

EPL 222: Operating Systems

Resources: Links to Related Documents and Other Interesting Stuff

Spring 2023

Directory

EPL222 | Course Contract | Schedule & Readings | Assignments | Resources | What's New?

Animations

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)

Eisenberg-McGuire Algorithm Clock Page Replacement Algorithm RAID

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)

Cache Coherency Algorithms    

 

Slides 1

Computer Systems Overview
Operating Systems Overview
Process Discription and Control
Threads SMP and Microkernels
Concurrency: Mutual Exclusion and Synchronization
Concurrency: Deadlock and Starvation
Memory Management
Virtual Memory
Uniprocessor Scheduling
Multiprocessor and Real Time Scheduling
Chapter 11
File Management
Networking and Distributed Processing
Distributed Process Management
Security

Slides 2

Bienvenue!
Computer Systems Overview
Operating Systems Overview
Process Description and Control
Threads
Chapter Five
Concurrency Deadlock and Starvation
Memory Management
Virtual Memory
Uniprocessor Scheduling

Past Mid-terms

Past Finals

[EPL222]

University of Cyprus
Department of Computer Science