🤖 AI Summary
This work addresses the challenge of non-reproducible simulation results caused by scheduling dependencies inherent in browser asynchronous runtimes—such as the event loop, Web Workers, and rendering callbacks. To resolve this, the authors propose a logical state visibility stabilization mechanism that decouples asynchronous execution from externally observable state, exposing outputs only after logical state stabilization. This approach ensures consistency between serial and parallel executions without requiring execution replay or explicit scheduler control. Building upon this mechanism, the authors implement a deterministic parallel simulation framework within a real browser environment, effectively restricting asynchronous tasks and rendering callbacks from accessing intermediate states. The framework achieves bit-identical output across varying Worker configurations, scheduling policies, and rendering frequencies, demonstrating both effectiveness and scalability.
📝 Abstract
Browser-based simulations execute over asynchronous runtime mechanisms including event loops, rendering callbacks, and independently scheduled Web Workers, causing simulation progression to depend on runtime timing and callback scheduling behavior. RepliCore addresses this problem by separating asynchronous runtime progression from externally observable logical-state visibility. Runtime-visible simulation states are exposed only after logical-state progression becomes externally stable, preventing asynchronous runtime activities from observing partially updated simulation progression. The framework prevents rendering callbacks and asynchronous runtime tasks from observing transient intermediate logical states during parallel progression. This organization maintains consistency between parallel and sequential execution. Based on this model, we implement RepliCore, a browser-oriented deterministic parallel simulation framework for reproducible large-scale simulation under asynchronous browser runtimes. Experiments in real browser environments produce bitwise-identical outputs across varying worker configurations, scheduling conditions, and rendering frequencies while remaining practical for large-scale browser-oriented workloads. Additional ablation experiments show systematic state divergence after relaxing key execution constraints. These results indicate that reproducible asynchronous parallel simulation can be achieved through controlled logical-state visibility stabilization without relying on execution replay or explicit schedule control.