mv examples/s4u examples/cpp

[simgrid.git] / examples / s4u / mc-bugged2 / s4u-mc-bugged2.cpp

diff --git a/examples/s4u/mc-bugged2/s4u-mc-bugged2.cpp b/examples/s4u/mc-bugged2/s4u-mc-bugged2.cpp
deleted file mode 100644 (file)
index 33cb1b3..0000000
--- a/examples/s4u/mc-bugged2/s4u-mc-bugged2.cpp
+++ /dev/null
@@ -1,68 +0,0 @@
-/* Copyright (c) 2010-2021. 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. */
-
-/******************** Non-deterministic message ordering  *********************/
-/* Server assumes a fixed order in the reception of messages from its clients */
-/* which is incorrect because the message ordering is non-deterministic       */
-/******************************************************************************/
-
-#include <simgrid/modelchecker.h>
-#include <simgrid/s4u.hpp>
-
-XBT_LOG_NEW_DEFAULT_CATEGORY(example, "this example");
-
-static void server()
-{
-  const int* received1 = nullptr;
-  const int* received2 = nullptr;
-
-  received1 = simgrid::s4u::Mailbox::by_name("mymailbox")->get<int>();
-  long val1 = *received1;
-  received1 = nullptr;
-  XBT_INFO("Received %ld", val1);
-
-  received2 = simgrid::s4u::Mailbox::by_name("mymailbox")->get<int>();
-  long val2 = *received2;
-  received2 = nullptr;
-  XBT_INFO("Received %ld", val2);
-
-  MC_assert(std::min(val1, val2) == 1);
-
-  received1 = simgrid::s4u::Mailbox::by_name("mymailbox")->get<int>();
-  val1      = *received1;
-  XBT_INFO("Received %ld", val1);
-
-  received2 = simgrid::s4u::Mailbox::by_name("mymailbox")->get<int>();
-  val2      = *received2;
-  XBT_INFO("Received %ld", val2);
-
-  XBT_INFO("OK");
-}
-
-static void client(int id)
-{
-  auto* payload1 = new int(id);
-  auto* payload2 = new int(id);
-
-  XBT_INFO("Send %d", id);
-  simgrid::s4u::Mailbox::by_name("mymailbox")->put(payload1, 10000);
-
-  XBT_INFO("Send %d", id);
-  simgrid::s4u::Mailbox::by_name("mymailbox")->put(payload2, 10000);
-}
-
-int main(int argc, char* argv[])
-{
-  simgrid::s4u::Engine e(&argc, argv);
-
-  e.load_platform(argv[1]);
-
-  simgrid::s4u::Actor::create("server", simgrid::s4u::Host::by_name("HostA"), server);
-  simgrid::s4u::Actor::create("client", simgrid::s4u::Host::by_name("HostB"), client, 1);
-  simgrid::s4u::Actor::create("client", simgrid::s4u::Host::by_name("HostC"), client, 2);
-
-  e.run();
-  return 0;
-}