X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8bc85164acb335cf909052b966b2ee4932e06cd7..873e5ee63a46ed55fa5901c9140247810b45b6bc:/src/xbt/random.cpp diff --git a/src/xbt/random.cpp b/src/xbt/random.cpp index 7deb41e704..449207c9bb 100644 --- a/src/xbt/random.cpp +++ b/src/xbt/random.cpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2019-2020. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2019-2022. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -65,14 +65,22 @@ double StdRandom::normal(double mean, double sd) int XbtRandom::uniform_int(int min, int max) { - unsigned long range = max - min + 1; + // The casts to unsigned are here to ensure that the value of range is correctly calculated, even when greater than + // INT_MAX. See the corresponding unit tests for examples. + unsigned long range = static_cast(max) - static_cast(min); xbt_assert(min <= max, "The minimum value for the uniform integer distribution must not be greater than the maximum value"); - xbt_assert(range > 0, "Overflow in the uniform integer distribution, please use a smaller range."); + xbt_assert(range <= decltype(mt19937_gen)::max(), + "Overflow in the uniform integer distribution, please use a smaller range."); + if (range == decltype(mt19937_gen)::max()) + return static_cast(mt19937_gen() + min); + + ++range; + unsigned long limit = decltype(mt19937_gen)::max() - decltype(mt19937_gen)::max() % range; unsigned long value; do { value = mt19937_gen(); - } while (value >= decltype(mt19937_gen)::max() - decltype(mt19937_gen)::max() % range); + } while (value >= limit); return static_cast(value % range + min); } @@ -103,15 +111,15 @@ double XbtRandom::normal(double mean, double sd) return z0 * sd + mean; } -static std::unique_ptr default_random(new XbtRandom); +static std::unique_ptr default_random = std::make_unique(); void set_implem_xbt() { - default_random.reset(new XbtRandom); + default_random = std::make_unique(); } void set_implem_std() { - default_random.reset(new StdRandom); + default_random = std::make_unique(); } void set_mersenne_seed(int seed)