From 71dcba331ef3c39e216aa2358a996f9905647ac1 Mon Sep 17 00:00:00 2001 From: Tyler Neely Date: Mon, 21 Nov 2022 10:10:45 +0000 Subject: [PATCH] Increment simulator time by up to 30ms in ticks --- src/io/simulator/simulator_handle.hpp | 2 +- tests/simulation/raft.cpp | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/io/simulator/simulator_handle.hpp b/src/io/simulator/simulator_handle.hpp index 1ef0b3dfb..2fbc74c4d 100644 --- a/src/io/simulator/simulator_handle.hpp +++ b/src/io/simulator/simulator_handle.hpp @@ -52,7 +52,7 @@ class SimulatorHandle { std::set
blocked_on_receive_; std::set
server_addresses_; std::mt19937 rng_; - std::uniform_int_distribution time_distrib_{0, 1000}; + std::uniform_int_distribution time_distrib_{0, 30000}; std::uniform_int_distribution drop_distrib_{0, 99}; SimulatorConfig config_; MessageHistogramCollector histograms_; diff --git a/tests/simulation/raft.cpp b/tests/simulation/raft.cpp index 648814667..6e7b345f9 100644 --- a/tests/simulation/raft.cpp +++ b/tests/simulation/raft.cpp @@ -253,8 +253,8 @@ void RunWithSeed(uint64_t seed) { .abort_time = Time::max(), }; - spdlog::info("========================== NEW SIMULATION, replay with RunWithSeed({}) ==========================", - seed); + spdlog::error("========================== NEW SIMULATION, replay with RunWithSeed({}) ==========================", + seed); spdlog::info("\tTime\t\tTerm\tPort\tRole\t\tMessage\n"); auto [sim_stats_1, latency_stats_1] = RunSimulation(config);