src/simix/popping_generated.cpp

   1 /**********************************************************************/
   2 /* File generated by src/simix/simcalls.py from src/simix/simcalls.in */
   3 /*                                                                    */
   4 /*                    DO NOT EVER CHANGE THIS FILE                    */
   5 /*                                                                    */
   6 /* change simcalls specification in src/simix/simcalls.in             */
   7 /* Copyright (c) 2014-2021. The SimGrid Team. All rights reserved.    */
   8 /**********************************************************************/
   9
  10 /*
  11  * Note that the name comes from http://en.wikipedia.org/wiki/Popping
  12  * Indeed, the control flow is doing a strange dance in there.
  13  *
  14  * That's not about http://en.wikipedia.org/wiki/Poop, despite the odor :)
  15  */
  16
  17 #include "smx_private.hpp"
  18 #include <simgrid/host.h>
  19 #include <xbt/base.h>
  20 #if SIMGRID_HAVE_MC
  21 #include "src/mc/mc_forward.hpp"
  22 #endif
  23 #include "src/kernel/activity/ConditionVariableImpl.hpp"
  24 #include "src/mc/checker/SimcallInspector.hpp"
  25
  26 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_popping);
  27
  28 using simgrid::simix::Simcall;
  29 /** @brief Simcalls' names (generated from src/simix/simcalls.in) */
  30 constexpr std::array<const char*, simgrid::simix::NUM_SIMCALLS> simcall_names{{
  31     "Simcall::NONE",
  32     "Simcall::EXECUTION_WAITANY_FOR",
  33     "Simcall::COMM_SEND",
  34     "Simcall::COMM_ISEND",
  35     "Simcall::COMM_RECV",
  36     "Simcall::COMM_IRECV",
  37     "Simcall::COMM_WAITANY",
  38     "Simcall::COMM_WAIT",
  39     "Simcall::COMM_TEST",
  40     "Simcall::COMM_TESTANY",
  41     "Simcall::MUTEX_LOCK",
  42     "Simcall::MUTEX_TRYLOCK",
  43     "Simcall::MUTEX_UNLOCK",
  44     "Simcall::COND_WAIT",
  45     "Simcall::COND_WAIT_TIMEOUT",
  46     "Simcall::SEM_ACQUIRE",
  47     "Simcall::SEM_ACQUIRE_TIMEOUT",
  48     "Simcall::RUN_KERNEL",
  49     "Simcall::RUN_BLOCKING",
  50 }};
  51
  52 /** @private
  53  * @brief (in kernel mode) unpack the simcall and activate the handler
  54  *
  55  * This function is generated from src/simix/simcalls.in
  56  */
  57 void simgrid::kernel::actor::ActorImpl::simcall_handle(int times_considered_)
  58 {
  59   XBT_DEBUG("Handling simcall %p: %s", &simcall_, SIMIX_simcall_name(simcall_.call_));
  60   SIMCALL_SET_MC_VALUE(simcall_, times_considered_);
  61   if (simcall_.inspector_ != nullptr)
  62     simcall_.inspector_->prepare(times_considered_);
  63   if (context_->wannadie())
  64     return;
  65   switch (simcall_.call_) {
  66     case Simcall::EXECUTION_WAITANY_FOR:
  67       simcall_HANDLER_execution_waitany_for(&simcall_, simgrid::simix::unmarshal<simgrid::kernel::activity::ExecImpl**>(simcall_.args_[0]), simgrid::simix::unmarshal<size_t>(simcall_.args_[1]), simgrid::simix::unmarshal<double>(simcall_.args_[2]));
  68       break;
  69
  70     case Simcall::COMM_SEND:
  71       simcall_HANDLER_comm_send(&simcall_, simgrid::simix::unmarshal<smx_actor_t>(simcall_.args_[0]), simgrid::simix::unmarshal<smx_mailbox_t>(simcall_.args_[1]), simgrid::simix::unmarshal<double>(simcall_.args_[2]), simgrid::simix::unmarshal<double>(simcall_.args_[3]), simgrid::simix::unmarshal<unsigned char*>(simcall_.args_[4]), simgrid::simix::unmarshal<size_t>(simcall_.args_[5]), simgrid::simix::unmarshal<simix_match_func_t>(simcall_.args_[6]), simgrid::simix::unmarshal<simix_copy_data_func_t>(simcall_.args_[7]), simgrid::simix::unmarshal<void*>(simcall_.args_[8]), simgrid::simix::unmarshal<double>(simcall_.args_[9]));
  72       break;
  73
  74     case Simcall::COMM_ISEND:
  75       simgrid::simix::marshal<boost::intrusive_ptr<simgrid::kernel::activity::ActivityImpl>>(simcall_.result_, simcall_HANDLER_comm_isend(&simcall_, simgrid::simix::unmarshal<smx_actor_t>(simcall_.args_[0]), simgrid::simix::unmarshal<smx_mailbox_t>(simcall_.args_[1]), simgrid::simix::unmarshal<double>(simcall_.args_[2]), simgrid::simix::unmarshal<double>(simcall_.args_[3]), simgrid::simix::unmarshal<unsigned char*>(simcall_.args_[4]), simgrid::simix::unmarshal<size_t>(simcall_.args_[5]), simgrid::simix::unmarshal<simix_match_func_t>(simcall_.args_[6]), simgrid::simix::unmarshal<simix_clean_func_t>(simcall_.args_[7]), simgrid::simix::unmarshal<simix_copy_data_func_t>(simcall_.args_[8]), simgrid::simix::unmarshal<void*>(simcall_.args_[9]), simgrid::simix::unmarshal<bool>(simcall_.args_[10])));
  76       simcall_answer();
  77       break;
  78
  79     case Simcall::COMM_RECV:
  80       simcall_HANDLER_comm_recv(&simcall_, simgrid::simix::unmarshal<smx_actor_t>(simcall_.args_[0]), simgrid::simix::unmarshal<smx_mailbox_t>(simcall_.args_[1]), simgrid::simix::unmarshal<unsigned char*>(simcall_.args_[2]), simgrid::simix::unmarshal<size_t*>(simcall_.args_[3]), simgrid::simix::unmarshal<simix_match_func_t>(simcall_.args_[4]), simgrid::simix::unmarshal<simix_copy_data_func_t>(simcall_.args_[5]), simgrid::simix::unmarshal<void*>(simcall_.args_[6]), simgrid::simix::unmarshal<double>(simcall_.args_[7]), simgrid::simix::unmarshal<double>(simcall_.args_[8]));
  81       break;
  82
  83     case Simcall::COMM_IRECV:
  84       simgrid::simix::marshal<boost::intrusive_ptr<simgrid::kernel::activity::ActivityImpl>>(simcall_.result_, simcall_HANDLER_comm_irecv(&simcall_, simgrid::simix::unmarshal<smx_actor_t>(simcall_.args_[0]), simgrid::simix::unmarshal<smx_mailbox_t>(simcall_.args_[1]), simgrid::simix::unmarshal<unsigned char*>(simcall_.args_[2]), simgrid::simix::unmarshal<size_t*>(simcall_.args_[3]), simgrid::simix::unmarshal<simix_match_func_t>(simcall_.args_[4]), simgrid::simix::unmarshal<simix_copy_data_func_t>(simcall_.args_[5]), simgrid::simix::unmarshal<void*>(simcall_.args_[6]), simgrid::simix::unmarshal<double>(simcall_.args_[7])));
  85       simcall_answer();
  86       break;
  87
  88     case Simcall::COMM_WAITANY:
  89       simcall_HANDLER_comm_waitany(&simcall_, simgrid::simix::unmarshal<simgrid::kernel::activity::CommImpl**>(simcall_.args_[0]), simgrid::simix::unmarshal<size_t>(simcall_.args_[1]), simgrid::simix::unmarshal<double>(simcall_.args_[2]));
  90       break;
  91
  92     case Simcall::COMM_WAIT:
  93       simcall_HANDLER_comm_wait(&simcall_, simgrid::simix::unmarshal<simgrid::kernel::activity::CommImpl*>(simcall_.args_[0]), simgrid::simix::unmarshal<double>(simcall_.args_[1]));
  94       break;
  95
  96     case Simcall::COMM_TEST:
  97       simcall_HANDLER_comm_test(&simcall_, simgrid::simix::unmarshal<simgrid::kernel::activity::CommImpl*>(simcall_.args_[0]));
  98       break;
  99
 100     case Simcall::COMM_TESTANY:
 101       simcall_HANDLER_comm_testany(&simcall_, simgrid::simix::unmarshal<simgrid::kernel::activity::CommImpl**>(simcall_.args_[0]), simgrid::simix::unmarshal<size_t>(simcall_.args_[1]));
 102       break;
 103
 104     case Simcall::MUTEX_LOCK:
 105       simcall_HANDLER_mutex_lock(&simcall_, simgrid::simix::unmarshal<smx_mutex_t>(simcall_.args_[0]));
 106       break;
 107
 108     case Simcall::MUTEX_TRYLOCK:
 109       simgrid::simix::marshal<int>(simcall_.result_, simcall_HANDLER_mutex_trylock(&simcall_, simgrid::simix::unmarshal<smx_mutex_t>(simcall_.args_[0])));
 110       simcall_answer();
 111       break;
 112
 113     case Simcall::MUTEX_UNLOCK:
 114       simcall_HANDLER_mutex_unlock(&simcall_, simgrid::simix::unmarshal<smx_mutex_t>(simcall_.args_[0]));
 115       simcall_answer();
 116       break;
 117
 118     case Simcall::COND_WAIT:
 119       simcall_HANDLER_cond_wait(&simcall_, simgrid::simix::unmarshal<smx_cond_t>(simcall_.args_[0]), simgrid::simix::unmarshal<smx_mutex_t>(simcall_.args_[1]));
 120       break;
 121
 122     case Simcall::COND_WAIT_TIMEOUT:
 123       simcall_HANDLER_cond_wait_timeout(&simcall_, simgrid::simix::unmarshal<smx_cond_t>(simcall_.args_[0]), simgrid::simix::unmarshal<smx_mutex_t>(simcall_.args_[1]), simgrid::simix::unmarshal<double>(simcall_.args_[2]));
 124       break;
 125
 126     case Simcall::SEM_ACQUIRE:
 127       simcall_HANDLER_sem_acquire(&simcall_, simgrid::simix::unmarshal<smx_sem_t>(simcall_.args_[0]));
 128       break;
 129
 130     case Simcall::SEM_ACQUIRE_TIMEOUT:
 131       simcall_HANDLER_sem_acquire_timeout(&simcall_, simgrid::simix::unmarshal<smx_sem_t>(simcall_.args_[0]), simgrid::simix::unmarshal<double>(simcall_.args_[1]));
 132       break;
 133
 134     case Simcall::RUN_KERNEL:
 135       SIMIX_run_kernel(simgrid::simix::unmarshal<std::function<void()> const*>(simcall_.args_[0]));
 136       simcall_answer();
 137       break;
 138
 139     case Simcall::RUN_BLOCKING:
 140       SIMIX_run_blocking(simgrid::simix::unmarshal<std::function<void()> const*>(simcall_.args_[0]));
 141       break;
 142
 143     case Simcall::NONE:
 144       throw std::invalid_argument(simgrid::xbt::string_printf("Asked to do the noop syscall on %s@%s",
 145                                                               get_cname(),
 146                                                               sg_host_get_name(get_host())));
 147     default:
 148       THROW_IMPOSSIBLE;
 149   }
 150 }