A Virtual Memory Foundation for Scalable Deterministic Parallelism

Recent deterministic execution environments promise efficient program replay and bug reproduction, but their scalability is currently limited by strictly hierarchical synchronization models or serialized thread scheduling mechanisms. To address these issues, the authors introduce a Single-Producer Multiple-Consumer (SPMC) virtual memory foundation for deterministic parallelism, which supports non-hierarchical synchronization without serialized thread scheduling. An extension to the Determinator microkernel, supporting SPMC memory regions, offers threads and processes scalable "Peer-to-peer" communication while preserving the kernel's existing guarantee of system-enforced determinism.