3 #include "simgrid/s4u/Mailbox.hpp"
4 #include "src/kernel/activity/SynchroComm.hpp"
5 #include "src/mc/mc_record.h"
6 #include "src/mc/mc_replay.h"
7 #include "src/msg/msg_private.h"
8 #include "src/simix/smx_private.h"
10 #include "xbt/replay.hpp"
12 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_process, smpi, "Logging specific to SMPI (kernel)");
15 extern simgrid::smpi::Process **process_data;
16 extern int* index_to_process_data;
18 #define MAILBOX_NAME_MAXLEN (5 + sizeof(int) * 2 + 1)
20 static char *get_mailbox_name(char *str, int index)
22 snprintf(str, MAILBOX_NAME_MAXLEN, "SMPI-%0*x", static_cast<int> (sizeof(int) * 2), index);
26 static char *get_mailbox_name_small(char *str, int index)
28 snprintf(str, MAILBOX_NAME_MAXLEN, "small%0*x", static_cast<int> (sizeof(int) * 2), index);
35 Process::Process(int index)
37 char name[MAILBOX_NAME_MAXLEN];
38 index_ = MPI_UNDEFINED;
41 mailbox_ = simgrid::s4u::Mailbox::byName(get_mailbox_name(name, index));
42 mailbox_small_ = simgrid::s4u::Mailbox::byName(get_mailbox_name_small(name, index));
43 mailboxes_mutex_ = xbt_mutex_init();
44 timer_ = xbt_os_timer_new();
46 MC_ignore_heap(timer_, xbt_os_timer_size());
47 comm_self_ = MPI_COMM_NULL;
48 comm_intra_ = MPI_COMM_NULL;
49 comm_world_ = nullptr;
50 state_ = SMPI_UNINITIALIZED;
52 finalization_barrier_ = nullptr;
56 if (xbt_cfg_get_string("smpi/papi-events")[0] != '\0') {
57 // TODO: Implement host/process/thread based counters. This implementation
58 // just always takes the values passed via "default", like this:
59 // "default:COUNTER1:COUNTER2:COUNTER3;".
60 auto it = units2papi_setup.find(papi_default_config_name);
61 if (it != units2papi_setup.end()) {
62 papi_event_set_ = it->second.event_set;
63 papi_counter_data_ = it->second.counter_data;
64 XBT_DEBUG("Setting PAPI set for process %i", i);
66 papi_event_set_ = PAPI_NULL;
67 XBT_DEBUG("No PAPI set for process %i", i);
73 void Process::set_data(int index, int *argc, char ***argv)
76 char* instance_id = (*argv)[1];
77 comm_world_ = smpi_deployment_comm_world(instance_id);
78 msg_bar_t bar = smpi_deployment_finalization_barrier(instance_id);
79 if (bar!=nullptr) // don't overwrite the default one
80 finalization_barrier_ = bar;
82 instance_id_ = instance_id;
85 static_cast<simgrid::MsgActorExt*>(SIMIX_process_self()->data)->data = this;
88 memmove(&(*argv)[0], &(*argv)[2], sizeof(char *) * (*argc - 2));
89 (*argv)[(*argc) - 1] = nullptr;
90 (*argv)[(*argc) - 2] = nullptr;
95 // set the process attached to the mailbox
96 mailbox_small_->setReceiver(simgrid::s4u::Actor::self());
97 process_ = SIMIX_process_self();
98 XBT_DEBUG("<%d> New process in the game: %p", index, SIMIX_process_self());
101 void Process::destroy()
103 if(smpi_privatize_global_variables){
104 smpi_switch_data_segment(index_);
106 state_ = SMPI_FINALIZED;
107 XBT_DEBUG("<%d> Process left the game", index_);
110 /** @brief Prepares the current process for termination. */
111 void Process::finalize()
113 // This leads to an explosion of the search graph which cannot be reduced:
114 if(MC_is_active() || MC_record_replay_is_active())
116 // wait for all pending asynchronous comms to finish
117 MSG_barrier_wait(finalization_barrier_);
120 /** @brief Check if a process is finalized */
121 int Process::finalized()
123 if (index_ != MPI_UNDEFINED)
124 return (state_ == SMPI_FINALIZED);
129 /** @brief Check if a process is initialized */
130 int Process::initialized()
132 if (index_to_process_data == nullptr){
135 return ((index_ != MPI_UNDEFINED) && (state_ == SMPI_INITIALIZED));
139 /** @brief Mark a process as initialized (=MPI_Init called) */
140 void Process::mark_as_initialized()
142 if ((index_ != MPI_UNDEFINED) && (state_ != SMPI_FINALIZED))
143 state_ = SMPI_INITIALIZED;
146 void Process::set_replaying(bool value){
147 if ((index_ != MPI_UNDEFINED) && (state_ != SMPI_FINALIZED))
151 bool Process::replaying(){
152 if (index_ != MPI_UNDEFINED)
158 void Process::set_user_data(void *data)
163 void *Process::get_user_data()
168 smx_actor_t Process::process(){
174 * \brief Returns a structure that stores the location (filename + linenumber)
175 * of the last calls to MPI_* functions.
177 * \see smpi_trace_set_call_location
179 smpi_trace_call_location_t* Process::call_location()
181 return &trace_call_loc_;
189 MPI_Comm Process::comm_world()
191 return comm_world_==nullptr ? MPI_COMM_NULL : *comm_world_;
194 smx_mailbox_t Process::mailbox()
196 return mailbox_->getImpl();
199 smx_mailbox_t Process::mailbox_small()
201 return mailbox_small_->getImpl();
204 xbt_mutex_t Process::mailboxes_mutex()
206 return mailboxes_mutex_;
210 int Process::papi_event_set(void)
212 return papi_event_set_;
215 papi_counter_t& smpi_process_papi_counters(void)
217 return papi_counter_data_;
221 xbt_os_timer_t Process::timer()
226 void Process::simulated_start()
228 simulated_ = SIMIX_get_clock();
231 double Process::simulated_elapsed()
233 return SIMIX_get_clock() - simulated_;
236 MPI_Comm Process::comm_self()
238 if(comm_self_==MPI_COMM_NULL){
239 MPI_Group group = new Group(1);
240 comm_self_ = new Comm(group, nullptr);
241 group->set_mapping(index_, 0);
246 MPI_Comm Process::comm_intra()
251 void Process::set_comm_intra(MPI_Comm comm)
256 void Process::set_sampling(int s)
261 int Process::sampling()
266 void Process::set_finalization_barrier(msg_bar_t bar){
267 finalization_barrier_=bar;
270 msg_bar_t Process::finalization_barrier(){
271 return finalization_barrier_;
274 int Process::return_value(){
275 return return_value_;
278 void Process::set_return_value(int val){
282 void Process::init(int *argc, char ***argv){
284 if (process_data == nullptr){
285 printf("SimGrid was not initialized properly before entering MPI_Init. Aborting, please check compilation process and use smpirun\n");
288 if (argc != nullptr && argv != nullptr) {
289 smx_actor_t proc = SIMIX_process_self();
290 proc->context->set_cleanup(&MSG_process_cleanup_from_SIMIX);
292 int index = smpi_process_index_of_smx_process(proc);
294 if(index_to_process_data == nullptr){
295 index_to_process_data=static_cast<int*>(xbt_malloc(SIMIX_process_count()*sizeof(int)));
298 char* instance_id = (*argv)[1];
299 int rank = xbt_str_parse_int((*argv)[2], "Invalid rank: %s");
300 smpi_deployment_register_process(instance_id, rank, index);
302 if(smpi_privatize_global_variables){
303 /* Now using segment index of the process */
304 index = proc->segment_index;
305 /* Done at the process's creation */
306 SMPI_switch_data_segment(index);
309 Process* process = smpi_process_remote(index);
310 process->set_data(index, argc, argv);
312 xbt_assert(smpi_process(),
313 "smpi_process() returned nullptr. You probably gave a nullptr parameter to MPI_Init. "
314 "Although it's required by MPI-2, this is currently not supported by SMPI.");