void Node::randomLookup()
{
int res = id_;
- // std::uniform_int_distribution<int> dist(0, nb_bits - 1);
- // int random_index = dist(generator);
- int random_index = generator() % nb_bits; // ensure reproducibility across platforms
+ int random_index = simgrid::xbt::random::uniform_int(0, nb_bits - 1);
int random_id = fingers_[random_index];
XBT_DEBUG("Making a lookup request for id %d", random_id);
if (random_id != id_)
#ifndef S4U_CHORD_HPP
#define S4U_CHORD_HPP
#include "simgrid/s4u.hpp"
-#include <random>
#include <string>
+#include <xbt/random.hpp>
#include <xbt/str.h>
constexpr double MAX_SIMULATION_TIME = 1000;
extern int nb_keys;
extern int timeout;
-extern std::mt19937 generator;
-
/* Types of tasks exchanged between nodes. */
enum e_message_type_t {
FIND_SUCCESSOR,