teshsuite/s4u/monkey-masterworkers/monkey-masterworkers.cpp

   1 /* Copyright (c) 2007-2023. The SimGrid Team. All rights reserved.          */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 /* This is a version of the masterworkers that (hopefully) survives to the chaos monkey.
   7  * It tests synchronous send/receive as well as synchronous computations.
   8  *
   9  * It is not written to be pleasant to read, but instead to resist the aggressions of the monkey:
  10  * - Workers keep going until after a global variable `todo` reaches 0.
  11  * - The master is a daemon that just sends infinitely tasks
  12  *   (simgrid simulations stop as soon as all non-daemon actors are done).
  13  * - The platform is created programmatically to remove path issues and control the problem size.
  14  *
  15  * Command-line configuration items:
  16  * - host-count: how many actors to start (including the master
  17  * - task-count: initial value of the `todo` global
  18  * - deadline: time at which the simulation is known to be failed (to detect infinite loops).
  19  *
  20  * See the simgrid-monkey script for more information.
  21  */
  22
  23 #include <simgrid/s4u.hpp>
  24 #include <xbt/config.hpp>
  25 #include <xbt/string.hpp>
  26
  27 namespace sg4 = simgrid::s4u;
  28
  29 XBT_LOG_NEW_DEFAULT_CATEGORY(s4u_test, "Messages specific for this s4u example");
  30
  31 static simgrid::config::Flag<int> cfg_host_count{"host-count", "Host count (master on one, workers on the others)", 3};
  32 static simgrid::config::Flag<double> cfg_deadline{"deadline", "When to fail the simulation (infinite loop detection)",
  33                                                   120};
  34 static simgrid::config::Flag<int> cfg_task_count{"task-count", "Amount of tasks that must be executed to succeed", 1};
  35
  36 int todo; // remaining amount of tasks to execute, a global variable
  37 sg4::Mailbox* mailbox; // as a global to reduce the amount of simcalls during actor reboot
  38
  39 XBT_ATTRIB_NORETURN static void master()
  40 {
  41   double comp_size = 1e6;
  42   long comm_size   = 1e6;
  43   bool rebooting   = sg4::Actor::self()->get_restart_count() > 0;
  44
  45   XBT_INFO("Master %s", rebooting ? "rebooting" : "booting");
  46   if (not rebooting) // Starting for the first time
  47     sg4::this_actor::on_exit(
  48         [](bool forcefully) { XBT_INFO("Master dying %s.", forcefully ? "forcefully" : "peacefully"); });
  49
  50   while (true) { // This is a daemon
  51     xbt_assert(sg4::Engine::get_clock() < cfg_deadline,
  52                "Failed to run all tasks in less than %d seconds. Is this an infinite loop?", (int)cfg_deadline);
  53
  54     auto payload = std::make_unique<double>(comp_size);
  55     try {
  56       XBT_INFO("Try to send a message");
  57       mailbox->put(payload.get(), comm_size, 10.0);
  58       payload.release();
  59     } catch (const simgrid::TimeoutException&) {
  60       XBT_INFO("Timeouted while sending a task");
  61     } catch (const simgrid::NetworkFailureException&) {
  62       XBT_INFO("Got a NetworkFailureException. Wait a second before starting again.");
  63       sg4::this_actor::sleep_for(1);
  64     }
  65   }
  66   THROW_IMPOSSIBLE;
  67 }
  68
  69 static void worker(int id)
  70 {
  71   bool rebooting = sg4::Actor::self()->get_restart_count() > 0;
  72
  73   XBT_INFO("Worker %s", rebooting ? "rebooting" : "booting");
  74   if (not rebooting) // Starting for the first time
  75     sg4::this_actor::on_exit(
  76         [id](bool forcefully) { XBT_INFO("worker %d dying %s.", id, forcefully ? "forcefully" : "peacefully"); });
  77
  78   while (todo > 0) {
  79     xbt_assert(sg4::Engine::get_clock() < cfg_deadline,
  80                "Failed to run all tasks in less than %d seconds. Is this an infinite loop?", (int)cfg_deadline);
  81     try {
  82       XBT_INFO("Waiting a message on %s", mailbox->get_cname());
  83       auto payload = mailbox->get_unique<double>(10);
  84       xbt_assert(payload != nullptr, "mailbox->get() failed");
  85       double comp_size = *payload;
  86
  87       XBT_INFO("Start execution...");
  88       sg4::this_actor::execute(comp_size);
  89       XBT_INFO("Execution complete.");
  90       todo--;
  91     } catch (const simgrid::TimeoutException&) {
  92       XBT_INFO("Timeouted while getting a task.");
  93     } catch (const simgrid::NetworkFailureException&) {
  94       XBT_INFO("Got a NetworkFailureException. Wait a second before starting again.");
  95       sg4::this_actor::sleep_for(1);
  96     }
  97   }
  98 }
  99
 100 int main(int argc, char* argv[])
 101 {
 102   sg4::Engine e(&argc, argv);
 103
 104   auto* rootzone = sg4::create_full_zone("root");
 105   std::vector<sg4::Host*> worker_hosts;
 106
 107   xbt_assert(cfg_host_count > 2, "You need at least 2 workers (i.e., 3 hosts) or the master will be auto-killed when "
 108                                  "the only worker gets killed.");
 109   sg4::Host* master_host = rootzone->create_host("lilibeth 0", 1e9); // Host where the master will stay
 110   for (int i = 1; i < cfg_host_count; i++) {
 111     auto hostname = "lilibeth " + std::to_string(i);
 112     auto* host    = rootzone->create_host(hostname, 1e9);
 113     sg4::LinkInRoute link(rootzone->create_link(hostname, "1MBps")->set_latency("24us")->seal());
 114     rootzone->add_route(master_host->get_netpoint(), host->get_netpoint(), nullptr, nullptr, {link}, true);
 115     worker_hosts.push_back(host);
 116   }
 117   rootzone->seal();
 118
 119   sg4::Actor::create("master", master_host, master)->daemonize()->set_auto_restart(true);
 120   int id = 0;
 121   for (auto* h : worker_hosts) {
 122     sg4::Actor::create("worker", h, worker, id)->set_auto_restart(true);
 123     id++;
 124   }
 125
 126   todo = cfg_task_count;
 127   xbt_assert(todo > 0, "Please give more than %d tasks to run", todo);
 128   mailbox = sg4::Mailbox::by_name("mailbox");
 129
 130   e.run();
 131
 132   XBT_INFO("WE SURVIVED!");
 133   return 0;
 134 }