HANDS-ON SIMULATION · LEARN BY DOING
Interactive Laboratories & Visualizers
Step-by-step interactive concept simulators embedded directly into the course curriculum. Experiment with scheduling parameters, memory allocations, precedence graphs, and indexing trees in real time.
Banker's Algorithm Safe State & Sequence Finder
Interactive multi-resource matrix calculator. Dynamically adjust Allocation, Max, and Available vectors to trace safe sequences and detect deadlock-prone unsafe states step-by-step.
CPU Scheduling Gantt Chart & Metrics Simulator
Simulate FCFS, SJF (Preemptive/Non-preemptive), and Round Robin with adjustable time quanta. Visualizes the Gantt chart, ready queue, and computes exact average Waiting Time (WT) and Turnaround Time (TAT).
5-State vs 7-State Process Lifecycle Machine
Explore process transitions between New, Ready, Running, Waiting, Terminated, Suspend-Ready, and Suspend-Blocked. Traces memory swapping between RAM and swap space.
Dual-Mode Execution & System Call Boundary Visualizer
Step through the hardware mode bit transition (0 for kernel mode, 1 for user mode), trap instruction issuance, interrupt vector table (IVT) indexing, and safe return to user space.
Page Replacement Simulator (FIFO, LRU, Optimal)
Simulate page fault rates across FIFO, Least Recently Used (LRU), and Optimal algorithms on custom reference strings. Directly verify Belady's Anomaly by changing frame counts.
Disk Head Trajectory & Seek Distance Simulator
Trace mechanical arm movement across disk cylinders for FCFS, SSTF, SCAN, C-SCAN, and LOOK algorithms. Calculates total cylinder seek distance and boundary turnaround points.
Counting & Binary Semaphore Resource Tracker
Visualizes the wait queue and value changes for P(S) and V(S) operations. Demonstrates how semaphores maintain mutual exclusion and prevent race conditions in critical sections.
Context Switching PCB Snapshot Visualizer
Shows how the operating system saves process registers, program counter, and stack pointers into the Process Control Block (PCB) before restoring the next ready process.
Precedence Graph & Conflict Serializability Checker
Interactive conflict serializability analyzer. Detects conflicting read/write pairs across concurrent transactions, builds the directed precedence graph, spots cycles, and computes the equivalent topological serial schedule.
B+ Tree Node Order, Capacity & Height Calculator
Solve the exact algebraic inequalities for internal node order p and leaf node order m based on block, key, and pointer sizes. Estimates tree height and disk block I/O accesses for tables.
Functional Dependency, Candidate Key & Normalization Engine
Interactive relational schema evaluator. Compute live attribute closures (X+), derive all minimal candidate keys, and check relations against 1NF, 2NF, 3NF, and BCNF with violation callouts.