</>DevThesis
HomeCurriculumOperating Systems

Operating Systems

Process concurrency, kernel interrupt handling, CPU scheduling algorithms, virtual memory paging, and POSIX file system internals.

1Process Abstractions, Threads & System Call Contexts

Process Control Blocks (PCB), context switching overhead, fork/exec semantics, and user vs kernel modes.

Process Abstractions, Threads & System Call Contexts

Process Control Blocks (PCB), context switching overhead, fork/exec semantics, and user vs kernel modes.

Process Abstractions, Threads & System Call Contexts

Process Control Blocks (PCB), context switching overhead, fork/exec semantics, and user vs kernel modes.

2Concurrency, Synchronization & Deadlock Prevention

Critical sections, mutex locks, counting semaphores, condition variables, and Coffman deadlock prevention.

Critical Sections, Semaphores & Coffman Deadlock Conditions

Hardware synchronization primitives, mutexes, counting semaphores, and Banker's deadlock avoidance.

Critical Section Invariants, Counting Semaphores & Banker's Deadlock Avoidance

Master concurrent race conditions, critical section guarantees, hardware atomic test-and-set and compare-and-swap primitives, counting semaphores, and the four Coffman conditions resolved via Banker's algorithm.

3Memory Management: Paging, Demand Paging & Page Replacement

Multi-level page table walking, TLB shootdowns, and LRU/Clock page replacement algorithms.

Demand Paging, Working Set Model & Clock Page Replacement

Demand paging, page fault service routines, thrashing and working sets, and Second-Chance Clock replacement algorithms.

Demand Paging, Translation Faults & Second-Chance Clock Page Replacement

Master demand paging mechanics, page fault exception handling routines, thrashing mitigation via the working set model, and page replacement algorithms from Belady's optimal anomaly to the Second-Chance Clock algorithm.

4File Systems, I/O Subsystems & Disk Scheduling

Inodes, directory blocks, ext4 journaling, POSIX file descriptors, and asynchronous Linux io_uring.

Unix Inodes, Ext4 Journaling & Asynchronous Linux io_uring

Inode indexing, multi-level indirect block pointers, journaling consistency modes, and zero-syscall io_uring ring buffers.

Unix Inode Topologies, Journaling Consistency & Asynchronous io_uring Architecture

Master Unix file system architecture, inode metadata topologies and multi-level indirect blocks, crash consistency via journaling write-ahead logs, and asynchronous kernel I/O using Linux io_uring submission and completion queues.