From 8b3a964a05100f371bc65e4bdad591d06cb09165 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 18 Aug 2019 23:29:10 +0200 Subject: [PATCH] switch to infty buffering for now as some tests are broken in zero-buffering mode --- docs/source/Configuring_SimGrid.rst | 2 +- src/mc/mc_config.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/source/Configuring_SimGrid.rst b/docs/source/Configuring_SimGrid.rst index 0959b78d35..5c296c5732 100644 --- a/docs/source/Configuring_SimGrid.rst +++ b/docs/source/Configuring_SimGrid.rst @@ -490,7 +490,7 @@ Safety properties are expressed as assertions using the function Specifying the MPI buffering behavior ..................................... -**Option** ``smpi/buffering`` **Default:** zero +**Option** ``smpi/buffering`` **Default:** infty Buffering in MPI has a huge impact on the communication semantic. For example, standard blocking sends are synchronous calls when the system buffers are full diff --git a/src/mc/mc_config.cpp b/src/mc/mc_config.cpp index 265601dcfc..bd2963d7c7 100644 --- a/src/mc/mc_config.cpp +++ b/src/mc/mc_config.cpp @@ -76,7 +76,7 @@ simgrid::config::Flag _sg_mc_send_determinism{ simgrid::config::Flag _sg_mc_buffering{ "smpi/buffering", "Buffering semantic to use for MPI (only used in MC)", - "zero", + "infty", {{"zero", "No system buffering: MPI_Send is blocking"}, {"infty", "Infinite system buffering: MPI_Send returns immediately"}}, [](const std::string& value) { _mc_cfg_cb_check("buffering mode"); }}; -- 2.20.1