-static void smpi_check_options()
-{
-#if SIMGRID_HAVE_MC
- if (MC_is_active()) {
- if (_sg_mc_buffering == "zero")
- simgrid::config::set_value<int>("smpi/send-is-detached-thresh", 0);
- else if (_sg_mc_buffering == "infty")
- simgrid::config::set_value<int>("smpi/send-is-detached-thresh", INT_MAX);
- else
- THROW_IMPOSSIBLE;
- }
-#endif
-
- xbt_assert(simgrid::config::get_value<int>("smpi/async-small-thresh") <=
- simgrid::config::get_value<int>("smpi/send-is-detached-thresh"),
- "smpi/async-small-thresh (=%d) should be smaller or equal to smpi/send-is-detached-thresh (=%d)",
- simgrid::config::get_value<int>("smpi/async-small-thresh"),
- simgrid::config::get_value<int>("smpi/send-is-detached-thresh"));
-
- if (simgrid::config::is_default("smpi/host-speed") && not MC_is_active()) {
- XBT_INFO("You did not set the power of the host running the simulation. "
- "The timings will certainly not be accurate. "
- "Use the option \"--cfg=smpi/host-speed:<flops>\" to set its value. "
- "Check "
- "https://simgrid.org/doc/latest/Configuring_SimGrid.html#automatic-benchmarking-of-smpi-code for more "
- "information.");
- }
-
- xbt_assert(simgrid::config::get_value<double>("smpi/cpu-threshold") >= 0,
- "The 'smpi/cpu-threshold' option cannot have negative values [anymore]. If you want to discard "
- "the simulation of any computation, please use 'smpi/simulate-computation:no' instead.");
-}
-
-int smpi_enabled() {
- return MPI_COMM_WORLD != MPI_COMM_UNINITIALIZED;
-}
-