MemoryOrder Visualizer
An interactive web simulator that shows CS students, step by step, how CPU and compiler reordering can break naive lock-free code — and why preemption acts as a free barrier.
Undergraduate and early-graduate CS students studying concurrency and memory models
- Animated, step-by-step execution of producer/consumer examples with reorder points highlighted
- Toggleable preemption interrupts that show how barriers get injected for free
- Annotated code snippets tied to each diagram (e.g., event counts, hazard pointers)
- Quiz mode with broken lock-free snippets to diagnose and fix
Memory-model topics are increasingly on tech-interview and OS-curriculum syllabi; the surfaced 2019 post gives a clean hook to teach preemption-as-implicit-barrier, which most textbooks bury.
Niche within a niche: only CS students studying memory models care, and the surfaced HN post had only 22 points / 5 comments; existing free tools already serve the few who do.Concurrency Demo (race conditions, deadlocks, sync primitives) ↗
CppMem (Cambridge, cited in PLDI/POPL papers) is a direct, established, free competitor covering C/C++ memory models for ~15 years; only mild whitespace around preemption-as-barrier framing.CppMem: an interactive C/C++ memory model explorer ↗
Closest paid comparables (Educative, Codecademy, TopHat) monetize broad curricula; niche memory-model simulators (CppMem) are free academic artifacts and students/instructors rarely pay for single-topic CS tools.Educative: AI-Powered Interactive Courses for Developers ↗
Memory models are stable, evergreen academic content (C11/C++11 model hasn't materially shifted), but not a growth market — CppMem's longevity shows the niche persists without expanding.CppMem: Interactive C/C++ memory model ↗
Buildable as a web app, but faithfully modeling CPU/compiler reordering is non-trivial — CppMem required serious formal-methods work (Batty et al. POPL 2011); preemption-as-barrier narrative is the tractable wedge.CppMem: an interactive C/C++ memory model explorer ↗