Days

介紹

Days: a Performant Discrete-Event Simulator for Network Simulations

翻譯準備中

取自儲存庫 README

README

正在載入完整 README。 以下為已儲存的摘錄。

Days: A Fast and Exact Discrete-Event Network Simulator on CPUs and GPUs Days simulates packet networks exactly and in parallel. Its executor, Days AGO, compiles a TOML scenario into a simulation image, splits the network into logical processes, and advances them concurrently in rounds bounded by a safe horizon. Lean proofs (lean/DaysExecutor/) show that this round execution reaches the same result as serial execution, and every backend that runs a scenario produces byte-identical complete state.