src/smpi/smpi_replay_main.cpp

   1 #include "simgrid/s4u.hpp"
   2 #include "smpi/smpi.h"
   3 #include "xbt/asserts.h"
   4 #include "xbt/replay.hpp"
   5 #include "xbt/str.h"
   6
   7 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(smpi_replay);
   8
   9 int main(int argc, char* argv[])
  10 {
  11   if (simgrid::s4u::Actor::self() == nullptr) {
  12     XBT_ERROR("smpireplaymain should not be called directly. Please use smpirun -replay instead.");
  13     return 1;
  14   }
  15
  16   auto properties = simgrid::s4u::Actor::self()->get_properties();
  17   if (properties->find("smpi_replay") == properties->end()) {
  18     XBT_ERROR("invalid smpireplaymain execution. Please use smpirun -replay instead.");
  19     return 1;
  20   }
  21
  22   const char* instance_id = properties->at("instance_id").c_str();
  23   const int rank          = xbt_str_parse_int(properties->at("rank").c_str(), "Cannot parse rank");
  24   const char* shared_trace =
  25       simgrid::s4u::Actor::self()->get_property("tracefile"); // Cannot use properties because this can be nullptr
  26   const char* private_trace = argv[1];
  27   double start_delay_flops  = 0;
  28
  29   if (argc > 2) {
  30     start_delay_flops = xbt_str_parse_double(argv[2], "Cannot parse start_delay_flops");
  31   }
  32
  33   /* Setup things and register default actions */
  34   smpi_replay_init(instance_id, rank, start_delay_flops);
  35
  36   /* A small check, just to make sure SMPI ranks are consistent with input arguments */
  37   int new_rank;
  38   MPI_Comm_rank(MPI_COMM_WORLD, &new_rank);
  39   xbt_assert(new_rank == rank, "Rank inconsistency. Got %d, expected %d", new_rank, rank);
  40
  41   /* The regular run of the replayer */
  42   if (shared_trace)
  43     xbt_replay_set_tracefile(shared_trace);
  44   smpi_replay_main(rank, private_trace);
  45   return 0;
  46 }