arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

RepliCore:异步浏览器运行时环境下的可重现并行模拟

RepliCore: Reproducible Parallel Simulation under Asynchronous Browser Runtimes

Anqing Chen

arXiv 2607.02529首次发表:更新:

AI 中文总结

研究异步浏览器运行时模拟问题,通过分离异步运行时进程与逻辑状态可见性解决,实现可重现并行模拟,框架保持并行与顺序执行一致性,实验验证其有效性。

AI 中文摘要

基于浏览器的模拟通过异步运行时机制执行,导致模拟进程依赖运行时定时和回调调度行为。RepliCore通过将异步运行时进程与外部可观察的逻辑状态可见性分离来解决此问题。运行时可见的模拟状态仅在逻辑状态进程外部稳定后才暴露,防止异步运行时活动观察到部分更新的模拟进程。该框架可防止渲染回调和异步运行时任务在并行进程中观察到瞬态中间逻辑状态。这种组织方式保持了并行和顺序执行之间的一致性。基于此模型,我们实现了RepliCore,这是一个面向浏览器的确定性并行模拟框架,用于在异步浏览器运行时环境下进行可重现的大规模模拟。在真实浏览器环境中的实验在不同的工作线程配置、调度条件和渲染频率下产生了逐位相同的输出,同时对于面向浏览器的大规模工作负载仍然实用。额外的消融实验表明,在放宽关键执行约束后会出现系统状态差异。这些结果表明,可通过控制逻辑状态可见性稳定来实现可重现的异步并行模拟,而无需依赖执行重放或显式调度控制。

英文摘要

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.

Comments14 pages, 2 figures, 5 tables

论文原文

arXiv 摘要页 · PDF 原文 · HTML 原文

↑