Tag: systems
CPU Scheduling & Parallelism Simulator
Inspired by turn-taking in Texas Hold’em, I built a Python scheduling simulator and compared threads with processes on a CPU-bound workload.
- My role
- Student project author and classroom presenter
- Outcome
- Implemented FCFS, Round Robin, and Priority scheduling; explored 1, 2, 4, and 8 workers in concurrency experiments.
2026/11/3
Concurrent Protocol Verification with PRISM
I modeled mutual-exclusion protocols in PRISM and examined safety, progress, waiting rewards, and deliberately faulty variants.
- My role
- Concurrent-protocol modeling and verification within a capstone team
- Outcome
- Verified properties of two 5,738-state Bakery models and exposed a mutual-exclusion failure in a faulty variant.
2026/11/3