Pintos Operating System

The complete manual for the Pintos Exercise (adapted for Imperial College London’s Operating Systems course) can be found online.

Worked in a group of four to implement:

• Priority scheduling for threads, in accordance with synchronisation primitives, and cross-thread priority donation for locks.
• An additional multilevel feedback queue scheduler.
• Support for user programs, including argument passing and system call implementations.
• Virtual memory, including page table and frame management, on-demand paging, page eviction, and memory-mapped files.

This project is associated with Imperial College London; the repository is available on request.