A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'klement/simgrid-klement' into master
[simgrid.git]
/
teshsuite
/
mc
/
mutex-handling
/
mutex-handling.cpp
diff --git
a/teshsuite/mc/mutex-handling/mutex-handling.cpp
b/teshsuite/mc/mutex-handling/mutex-handling.cpp
index
ed591b9
..
c248790
100644
(file)
--- a/
teshsuite/mc/mutex-handling/mutex-handling.cpp
+++ b/
teshsuite/mc/mutex-handling/mutex-handling.cpp
@@
-23,14
+23,13
@@
#include "simgrid/s4u/Host.hpp"
#include "simgrid/s4u/Mailbox.hpp"
#include "simgrid/s4u/Mutex.hpp"
#include "simgrid/s4u/Host.hpp"
#include "simgrid/s4u/Mailbox.hpp"
#include "simgrid/s4u/Mutex.hpp"
-#include <xbt/synchro.h>
XBT_LOG_NEW_DEFAULT_CATEGORY(msg_test, "Messages specific for this msg example");
static int receiver(const char* box_name)
{
XBT_LOG_NEW_DEFAULT_CATEGORY(msg_test, "Messages specific for this msg example");
static int receiver(const char* box_name)
{
- int* payload;
auto mb = simgrid::s4u::Mailbox::by_name(box_name);
auto mb = simgrid::s4u::Mailbox::by_name(box_name);
+ const int* payload;
payload = static_cast<int*>(mb->get());
MC_assert(*payload == 1);
payload = static_cast<int*>(mb->get());
MC_assert(*payload == 1);
@@
-45,7
+44,7
@@
static int receiver(const char* box_name)
static int sender(const char* box_name, simgrid::s4u::MutexPtr mutex, int value)
{
static int sender(const char* box_name, simgrid::s4u::MutexPtr mutex, int value)
{
-
int
* payload = new int(value);
+
auto
* payload = new int(value);
auto mb = simgrid::s4u::Mailbox::by_name(box_name);
if (mutex)
auto mb = simgrid::s4u::Mailbox::by_name(box_name);
if (mutex)