Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
502ffeaf12e75af68c1cbd759447fcd7b6cae1e4
[simgrid.git] / src / simix / ActorImpl.cpp
1 /* Copyright (c) 2007-2015. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 #include <exception>
8 #include <functional>
9 #include <string>
10 #include <utility>
11
12 #include <boost/range/algorithm.hpp>
13
14 #include <xbt/functional.hpp>
15 #include <xbt/ex.hpp>
16 #include <xbt/sysdep.h>
17 #include <xbt/log.h>
18 #include <xbt/dict.h>
19
20 #include <simgrid/s4u/host.hpp>
21
22 #include <mc/mc.h>
23
24 #include "smx_private.h"
25 #include "src/kernel/activity/SynchroIo.hpp"
26 #include "src/kernel/activity/SynchroRaw.hpp"
27 #include "src/kernel/activity/SynchroSleep.hpp"
28 #include "src/mc/mc_replay.h"
29 #include "src/mc/remote/Client.hpp"
30 #include "src/msg/msg_private.h"
31 #include "src/surf/cpu_interface.hpp"
32 #include "src/surf/surf_interface.hpp"
33
34 #ifdef HAVE_SMPI
35 #include "src/smpi/private.h"
36 #endif
37
38 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_process, simix, "Logging specific to SIMIX (process)");
39
40 unsigned long simix_process_maxpid = 0;
41
42 /** Increase the refcount for this process */
43 smx_actor_t SIMIX_process_ref(smx_actor_t process)
44 {
45   if (process != nullptr)
46     intrusive_ptr_add_ref(process);
47   return process;
48 }
49
50 /** Decrease the refcount for this process */
51 void SIMIX_process_unref(smx_actor_t process)
52 {
53   if (process != nullptr)
54     intrusive_ptr_release(process);
55 }
56
57 /**
58  * \brief Returns the current agent.
59  *
60  * This functions returns the currently running SIMIX process.
61  *
62  * \return The SIMIX process
63  */
64 smx_actor_t SIMIX_process_self()
65 {
66   smx_context_t self_context = SIMIX_context_self();
67
68   return (self_context != nullptr) ? self_context->process() : nullptr;
69 }
70
71 /**
72  * \brief Returns whether a process has pending asynchronous communications.
73  * \return true if there are asynchronous communications in this process
74  */
75 int SIMIX_process_has_pending_comms(smx_actor_t process) {
76
77   return process->comms.size() > 0;
78 }
79
80 /**
81  * \brief Moves a process to the list of processes to destroy.
82  */
83 void SIMIX_process_cleanup(smx_actor_t process)
84 {
85   XBT_DEBUG("Cleanup process %s (%p), waiting synchro %p",
86       process->name.c_str(), process, process->waiting_synchro);
87
88   process->finished = true;
89   SIMIX_process_on_exit_runall(process);
90
91   /* Unregister from the kill timer if any */
92   if (process->kill_timer != nullptr)
93       SIMIX_timer_remove(process->kill_timer);
94
95   xbt_os_mutex_acquire(simix_global->mutex);
96
97   /* cancel non-blocking communications */
98   smx_activity_t synchro = static_cast<smx_activity_t>(process->comms.front());
99   while (!process->comms.empty()) {
100     simgrid::kernel::activity::Comm *comm = static_cast<simgrid::kernel::activity::Comm*>(synchro);
101
102     /* make sure no one will finish the comm after this process is destroyed,
103      * because src_proc or dst_proc would be an invalid pointer */
104     comm->cancel();
105
106     if (comm->src_proc == process) {
107       XBT_DEBUG("Found an unfinished send comm %p (detached = %d), state %d, src = %p, dst = %p",
108           comm, comm->detached, (int)comm->state, comm->src_proc, comm->dst_proc);
109       comm->src_proc = nullptr;
110
111       /* I'm not supposed to destroy a detached comm from the sender side, */
112       if (comm->detached)
113         XBT_DEBUG("Don't destroy it since it's a detached comm and I'm the sender");
114       else
115         comm->unref();
116
117     }
118     else if (comm->dst_proc == process){
119       XBT_DEBUG("Found an unfinished recv comm %p, state %d, src = %p, dst = %p",
120           comm, (int)comm->state, comm->src_proc, comm->dst_proc);
121       comm->dst_proc = nullptr;
122
123       if (comm->detached && comm->src_proc != nullptr) {
124         /* the comm will be freed right now, remove it from the sender */
125         comm->src_proc->comms.remove(comm);
126       }
127       
128       comm->unref();
129     } else {
130       xbt_die("Communication synchro %p is in my list but I'm not the sender nor the receiver", synchro);
131     }
132     process->comms.pop_front();
133     synchro = static_cast<smx_activity_t>(process->comms.front());
134   }
135
136   XBT_DEBUG("%p should not be run anymore",process);
137   simix_global->process_list.erase(process->pid);
138   if (process->host)
139     xbt_swag_remove(process, process->host->extension<simgrid::simix::Host>()->process_list);
140   xbt_swag_insert(process, simix_global->process_to_destroy);
141   process->context->iwannadie = 0;
142
143   xbt_os_mutex_release(simix_global->mutex);
144 }
145
146 /**
147  * Garbage collection
148  *
149  * Should be called some time to time to free the memory allocated for processes
150  * that have finished (or killed).
151  */
152 void SIMIX_process_empty_trash()
153 {
154   smx_actor_t process = nullptr;
155
156   while ((process = (smx_actor_t) xbt_swag_extract(simix_global->process_to_destroy))) {
157     XBT_DEBUG("Getting rid of %p",process);
158     intrusive_ptr_release(process);
159   }
160 }
161
162 namespace simgrid {
163 namespace simix {
164
165 ActorImpl::~ActorImpl()
166 {
167   delete this->context;
168   xbt_dict_free(&this->properties);
169 }
170
171 static int dying_daemon(void* exit_status, void* data)
172 {
173   std::vector<ActorImpl*>* vect = &simix_global->daemons;
174
175   auto it = std::find(vect->begin(), vect->end(), static_cast<ActorImpl*>(data));
176   xbt_assert(it != vect->end(), "The dying daemon is not a daemon after all. Please report that bug.");
177
178   /* Don't move the whole content since we don't really care about the order */
179   std::swap(*it, vect->back());
180   vect->pop_back();
181
182   return 0;
183 }
184 /** This process will be terminated automatically when the last non-daemon process finishes */
185 void ActorImpl::daemonize()
186 {
187   if (!daemon) {
188     daemon = true;
189     simix_global->daemons.push_back(this);
190     SIMIX_process_on_exit(this, dying_daemon, this);
191   }
192 }
193
194 /** Whether this process is daemonized */
195 bool ActorImpl::isDaemon()
196 {
197   return daemon;
198 }
199
200 void create_maestro(std::function<void()> code)
201 {
202   smx_actor_t maestro = nullptr;
203   /* Create maestro process and initialize it */
204   maestro = new simgrid::simix::ActorImpl();
205   maestro->pid = simix_process_maxpid++;
206   maestro->name = "";
207   maestro->data = nullptr;
208
209   if (!code) {
210     maestro->context = SIMIX_context_new(std::function<void()>(), nullptr, maestro);
211   } else {
212     if (!simix_global)
213       xbt_die("simix is not initialized, please call MSG_init first");
214     maestro->context =
215       simix_global->context_factory->create_maestro(code, maestro);
216   }
217
218   maestro->simcall.issuer = maestro;
219   simix_global->maestro_process = maestro;
220 }
221
222 }
223 }
224
225 /** @brief Creates and runs the maestro process */
226 void SIMIX_maestro_create(void (*code)(void*), void* data)
227 {
228   simgrid::simix::create_maestro(std::bind(code, data));
229 }
230
231 /**
232  * \brief Internal function to create a process.
233  *
234  * This function actually creates the process.
235  * It may be called when a SIMCALL_PROCESS_CREATE simcall occurs,
236  * or directly for SIMIX internal purposes. The sure thing is that it's called from maestro context.
237  *
238  * \return the process created
239  */
240 smx_actor_t SIMIX_process_create(
241                           const char *name,
242                           std::function<void()> code,
243                           void *data,
244                           sg_host_t host,
245                           xbt_dict_t properties,
246                           smx_actor_t parent_process)
247 {
248
249   XBT_DEBUG("Start process %s on host '%s'", name, host->cname());
250
251   if (host->isOff()) {
252     XBT_WARN("Cannot launch process '%s' on failed host '%s'", name, host->cname());
253     return nullptr;
254   }
255
256   smx_actor_t process = new simgrid::simix::ActorImpl();
257
258   xbt_assert(code && host != nullptr, "Invalid parameters");
259   /* Process data */
260   process->pid            = simix_process_maxpid++;
261   process->name           = simgrid::xbt::string(name);
262   process->host           = host;
263   process->data           = data;
264   process->simcall.issuer = process;
265
266   if (parent_process != nullptr) {
267     process->ppid = parent_process->pid;
268 /* SMPI process have their own data segment and each other inherit from their father */
269 #if HAVE_SMPI
270     if (smpi_privatize_global_variables) {
271       if (parent_process->pid != 0) {
272         SIMIX_segment_index_set(process, parent_process->segment_index);
273       } else {
274         SIMIX_segment_index_set(process, process->pid - 1);
275       }
276     }
277 #endif
278   }
279
280   process->code         = code;
281
282   XBT_VERB("Create context %s", process->name.c_str());
283   process->context = SIMIX_context_new(std::move(code), simix_global->cleanup_process_function, process);
284
285   /* Add properties */
286   process->properties = properties;
287
288   /* Add the process to it's host process list */
289   xbt_swag_insert(process, host->extension<simgrid::simix::Host>()->process_list);
290
291   XBT_DEBUG("Start context '%s'", process->name.c_str());
292
293   /* Now insert it in the global process list and in the process to run list */
294   simix_global->process_list[process->pid] = process;
295   XBT_DEBUG("Inserting %s(%s) in the to_run list", process->cname(), host->cname());
296   xbt_dynar_push_as(simix_global->process_to_run, smx_actor_t, process);
297
298   /* Tracing the process creation */
299   TRACE_msg_process_create(process->cname(), process->pid, process->host);
300
301   return process;
302 }
303
304 smx_actor_t SIMIX_process_attach(const char* name, void* data, const char* hostname, xbt_dict_t properties,
305                                  smx_actor_t parent_process)
306 {
307   // This is mostly a copy/paste from SIMIX_process_new(),
308   // it'd be nice to share some code between those two functions.
309
310   sg_host_t host = sg_host_by_name(hostname);
311   XBT_DEBUG("Attach process %s on host '%s'", name, hostname);
312
313   if (host->isOff()) {
314     XBT_WARN("Cannot launch process '%s' on failed host '%s'",
315       name, hostname);
316     return nullptr;
317   }
318
319   smx_actor_t process = new simgrid::simix::ActorImpl();
320   /* Process data */
321   process->pid = simix_process_maxpid++;
322   process->name = std::string(name);
323   process->host = host;
324   process->data = data;
325   process->simcall.issuer = process;
326
327   if (parent_process != nullptr) {
328     process->ppid = parent_process->pid;
329     /* SMPI process have their own data segment and each other inherit from their father */
330 #if HAVE_SMPI
331     if (smpi_privatize_global_variables) {
332       if (parent_process->pid != 0) {
333         SIMIX_segment_index_set(process, parent_process->segment_index);
334       } else {
335         SIMIX_segment_index_set(process, process->pid - 1);
336       }
337     }
338 #endif
339   }
340
341   /* Process data for auto-restart */
342   process->code = nullptr;
343
344   XBT_VERB("Create context %s", process->name.c_str());
345   if (!simix_global)
346     xbt_die("simix is not initialized, please call MSG_init first");
347   process->context = simix_global->context_factory->attach(
348     simix_global->cleanup_process_function, process);
349
350   /* Add properties */
351   process->properties = properties;
352
353   /* Add the process to it's host process list */
354   xbt_swag_insert(process, host->extension<simgrid::simix::Host>()->process_list);
355
356   /* Now insert it in the global process list and in the process to run list */
357   simix_global->process_list[process->pid] = process;
358   XBT_DEBUG("Inserting %s(%s) in the to_run list", process->cname(), host->cname());
359   xbt_dynar_push_as(simix_global->process_to_run, smx_actor_t, process);
360
361   /* Tracing the process creation */
362   TRACE_msg_process_create(process->cname(), process->pid, process->host);
363
364   auto context = dynamic_cast<simgrid::kernel::context::AttachContext*>(process->context);
365   if (!context)
366     xbt_die("Not a suitable context");
367
368   context->attach_start();
369   return process;
370 }
371
372 void SIMIX_process_detach()
373 {
374   auto context = dynamic_cast<simgrid::kernel::context::AttachContext*>(SIMIX_context_self());
375   if (!context)
376     xbt_die("Not a suitable context");
377
378   simix_global->cleanup_process_function(context->process());
379
380   // Let maestro ignore we are still alive:
381   // xbt_swag_remove(context->process(), simix_global->process_list);
382
383   // TODO, Remove from proces list:
384   //   xbt_swag_remove(process, sg_host_simix(host)->process_list);
385
386   context->attach_stop();
387   // delete context;
388 }
389
390 /**
391  * \brief Executes the processes from simix_global->process_to_run.
392  *
393  * The processes of simix_global->process_to_run are run (in parallel if
394  * possible).  On exit, simix_global->process_to_run is empty, and
395  * simix_global->process_that_ran contains the list of processes that just ran.
396  * The two lists are swapped so, be careful when using them before and after a
397  * call to this function.
398  */
399 void SIMIX_process_runall()
400 {
401   SIMIX_context_runall();
402
403   xbt_dynar_t tmp = simix_global->process_that_ran;
404   simix_global->process_that_ran = simix_global->process_to_run;
405   simix_global->process_to_run = tmp;
406   xbt_dynar_reset(simix_global->process_to_run);
407 }
408
409 void simcall_HANDLER_process_kill(smx_simcall_t simcall, smx_actor_t process) {
410   SIMIX_process_kill(process, simcall->issuer);
411 }
412 /**
413  * \brief Internal function to kill a SIMIX process.
414  *
415  * This function may be called when a SIMCALL_PROCESS_KILL simcall occurs,
416  * or directly for SIMIX internal purposes.
417  *
418  * \param process poor victim
419  * \param issuer the process which has sent the PROCESS_KILL. Important to not schedule twice the same process.
420  */
421 void SIMIX_process_kill(smx_actor_t process, smx_actor_t issuer) {
422
423   XBT_DEBUG("Killing process %s@%s", process->cname(), process->host->cname());
424
425   process->context->iwannadie = 1;
426   process->blocked = 0;
427   process->suspended = 0;
428   process->exception = nullptr;
429
430   /* destroy the blocking synchro if any */
431   if (process->waiting_synchro) {
432
433     simgrid::kernel::activity::Exec *exec = dynamic_cast<simgrid::kernel::activity::Exec*>(process->waiting_synchro);
434     simgrid::kernel::activity::Comm *comm = dynamic_cast<simgrid::kernel::activity::Comm*>(process->waiting_synchro);
435     simgrid::kernel::activity::Sleep *sleep = dynamic_cast<simgrid::kernel::activity::Sleep*>(process->waiting_synchro);
436     simgrid::kernel::activity::Raw *raw = dynamic_cast<simgrid::kernel::activity::Raw*>(process->waiting_synchro);
437     simgrid::kernel::activity::Io *io = dynamic_cast<simgrid::kernel::activity::Io*>(process->waiting_synchro);
438
439     if (exec != nullptr) {
440       exec->unref();
441
442     } else if (comm != nullptr) {
443       process->comms.remove(process->waiting_synchro);
444       comm->cancel();
445
446       // Remove first occurrence of &process->simcall:
447       auto i = boost::range::find(
448         process->waiting_synchro->simcalls,
449         &process->simcall);
450       if (i != process->waiting_synchro->simcalls.end())
451         process->waiting_synchro->simcalls.remove(&process->simcall);
452
453       comm->unref();
454
455     } else if (sleep != nullptr) {
456       SIMIX_process_sleep_destroy(process->waiting_synchro);
457
458     } else if (raw != nullptr) {
459       SIMIX_synchro_stop_waiting(process, &process->simcall);
460       delete process->waiting_synchro;
461
462     } else if (io != nullptr) {
463       SIMIX_io_destroy(process->waiting_synchro);
464     }
465
466     /*
467     switch (process->waiting_synchro->type) {
468     case SIMIX_SYNC_JOIN:
469       SIMIX_process_sleep_destroy(process->waiting_synchro);
470       break;
471     } */
472
473     process->waiting_synchro = nullptr;
474   }
475   if(!xbt_dynar_member(simix_global->process_to_run, &(process)) && process != issuer) {
476     XBT_DEBUG("Inserting %s in the to_run list", process->name.c_str());
477     xbt_dynar_push_as(simix_global->process_to_run, smx_actor_t, process);
478   }
479 }
480
481 /** @brief Ask another process to raise the given exception
482  *
483  * @param process The process that should raise that exception
484  * @param cat category of exception
485  * @param value value associated to the exception
486  * @param msg string information associated to the exception
487  */
488 void SIMIX_process_throw(smx_actor_t process, xbt_errcat_t cat, int value, const char *msg) {
489   SMX_EXCEPTION(process, cat, value, msg);
490
491   if (process->suspended)
492     SIMIX_process_resume(process);
493
494   /* cancel the blocking synchro if any */
495   if (process->waiting_synchro) {
496
497     simgrid::kernel::activity::Exec *exec = dynamic_cast<simgrid::kernel::activity::Exec*>(process->waiting_synchro);
498     if (exec != nullptr) {
499       SIMIX_execution_cancel(process->waiting_synchro);
500     }
501
502     simgrid::kernel::activity::Comm *comm = dynamic_cast<simgrid::kernel::activity::Comm*>(process->waiting_synchro);
503     if (comm != nullptr) {
504       process->comms.remove(comm);
505       comm->cancel();
506     }
507
508     simgrid::kernel::activity::Sleep *sleep = dynamic_cast<simgrid::kernel::activity::Sleep*>(process->waiting_synchro);
509     if (sleep != nullptr) {
510       SIMIX_process_sleep_destroy(process->waiting_synchro);
511       if (!xbt_dynar_member(simix_global->process_to_run, &(process)) && process != SIMIX_process_self()) {
512         XBT_DEBUG("Inserting %s in the to_run list", process->name.c_str());
513         xbt_dynar_push_as(simix_global->process_to_run, smx_actor_t, process);
514       }
515     }
516
517     simgrid::kernel::activity::Raw *raw = dynamic_cast<simgrid::kernel::activity::Raw*>(process->waiting_synchro);
518     if (raw != nullptr) {
519       SIMIX_synchro_stop_waiting(process, &process->simcall);
520     }
521
522     simgrid::kernel::activity::Io *io = dynamic_cast<simgrid::kernel::activity::Io*>(process->waiting_synchro);
523     if (io != nullptr) {
524       SIMIX_io_destroy(process->waiting_synchro);
525     }
526   }
527   process->waiting_synchro = nullptr;
528
529 }
530
531 void simcall_HANDLER_process_killall(smx_simcall_t simcall, int reset_pid) {
532   SIMIX_process_killall(simcall->issuer, reset_pid);
533 }
534 /**
535  * \brief Kills all running processes.
536  * \param issuer this one will not be killed
537  */
538 void SIMIX_process_killall(smx_actor_t issuer, int reset_pid)
539 {
540   for (auto kv : simix_global->process_list)
541     if (kv.second != issuer)
542       SIMIX_process_kill(kv.second, issuer);
543
544   if (reset_pid > 0)
545     simix_process_maxpid = reset_pid;
546
547   SIMIX_context_runall();
548
549   SIMIX_process_empty_trash();
550 }
551
552 void simcall_HANDLER_process_set_host(smx_simcall_t simcall, smx_actor_t process, sg_host_t dest)
553 {
554   process->new_host = dest;
555 }
556 void SIMIX_process_change_host(smx_actor_t process, sg_host_t dest)
557 {
558   xbt_assert((process != nullptr), "Invalid parameters");
559   xbt_swag_remove(process, process->host->extension<simgrid::simix::Host>()->process_list);
560   process->host = dest;
561   xbt_swag_insert(process, dest->extension<simgrid::simix::Host>()->process_list);
562 }
563
564
565 void simcall_HANDLER_process_suspend(smx_simcall_t simcall, smx_actor_t process)
566 {
567   smx_activity_t sync_suspend = SIMIX_process_suspend(process, simcall->issuer);
568
569   if (process != simcall->issuer) {
570     SIMIX_simcall_answer(simcall);
571   } else {
572     sync_suspend->simcalls.push_back(simcall);
573     process->waiting_synchro = sync_suspend;
574     process->waiting_synchro->suspend();
575   }
576   /* If we are suspending ourselves, then just do not finish the simcall now */
577 }
578
579 smx_activity_t SIMIX_process_suspend(smx_actor_t process, smx_actor_t issuer)
580 {
581   if (process->suspended) {
582     XBT_DEBUG("Process '%s' is already suspended", process->name.c_str());
583     return nullptr;
584   }
585
586   process->suspended = 1;
587
588   /* If we are suspending another process that is waiting on a sync, suspend its synchronization. */
589   if (process != issuer) {
590
591     if (process->waiting_synchro)
592       process->waiting_synchro->suspend();
593     /* If the other process is not waiting, its suspension is delayed to when the process is rescheduled. */
594
595     return nullptr;
596   } else {
597     return SIMIX_execution_start(process, "suspend", 0.0, 1.0, 0.0);
598   }
599 }
600
601 void SIMIX_process_resume(smx_actor_t process)
602 {
603   XBT_IN("process = %p", process);
604
605   if(process->context->iwannadie) {
606     XBT_VERB("Ignoring request to suspend a process that is currently dying.");
607     return;
608   }
609
610   if(!process->suspended) return;
611   process->suspended = 0;
612
613   /* resume the synchronization that was blocking the resumed process. */
614   if (process->waiting_synchro)
615     process->waiting_synchro->resume();
616
617   XBT_OUT();
618 }
619
620 int SIMIX_process_get_maxpid() {
621   return simix_process_maxpid;
622 }
623
624 int SIMIX_process_count()
625 {
626   return simix_global->process_list.size();
627 }
628
629 int SIMIX_process_get_PID(smx_actor_t self)
630 {
631   if (self == nullptr)
632     return 0;
633   else
634     return self->pid;
635 }
636
637 void* SIMIX_process_self_get_data()
638 {
639   smx_actor_t self = SIMIX_process_self();
640
641   if (!self) {
642     return nullptr;
643   }
644   return self->data;
645 }
646
647 void SIMIX_process_self_set_data(void *data)
648 {
649   smx_actor_t self = SIMIX_process_self();
650
651   SIMIX_process_set_data(self, data);
652 }
653
654 void SIMIX_process_set_data(smx_actor_t process, void *data)
655 {
656   process->data = data;
657 }
658
659 /* needs to be public and without simcall because it is called
660    by exceptions and logging events */
661 const char* SIMIX_process_self_get_name() {
662
663   smx_actor_t process = SIMIX_process_self();
664   if (process == nullptr || process == simix_global->maestro_process)
665     return "maestro";
666
667   return process->name.c_str();
668 }
669
670 smx_actor_t SIMIX_process_get_by_name(const char* name)
671 {
672   for (auto kv : simix_global->process_list)
673     if (kv.second->name == name)
674       return kv.second;
675   return nullptr;
676 }
677
678 int SIMIX_process_is_suspended(smx_actor_t process)
679 {
680   return process->suspended;
681 }
682
683 xbt_dict_t SIMIX_process_get_properties(smx_actor_t process)
684 {
685   return process->properties;
686 }
687
688 void simcall_HANDLER_process_join(smx_simcall_t simcall, smx_actor_t process, double timeout)
689 {
690   if (process->finished) {
691     // The joined process is already finished, just wake up the issuer process right away
692     simcall_process_sleep__set__result(simcall, SIMIX_DONE);
693     SIMIX_simcall_answer(simcall);
694     return;
695   }
696   smx_activity_t sync = SIMIX_process_join(simcall->issuer, process, timeout);
697   sync->simcalls.push_back(simcall);
698   simcall->issuer->waiting_synchro = sync;
699 }
700
701 static int SIMIX_process_join_finish(smx_process_exit_status_t status, smx_activity_t synchro){
702   simgrid::kernel::activity::Sleep *sleep = static_cast<simgrid::kernel::activity::Sleep*>(synchro);
703
704   if (sleep->surf_sleep) {
705     sleep->surf_sleep->cancel();
706
707     while (!sleep->simcalls.empty()) {
708       smx_simcall_t simcall = sleep->simcalls.front();
709       sleep->simcalls.pop_front();
710       simcall_process_sleep__set__result(simcall, SIMIX_DONE);
711       simcall->issuer->waiting_synchro = nullptr;
712       if (simcall->issuer->suspended) {
713         XBT_DEBUG("Wait! This process is suspended and can't wake up now.");
714         simcall->issuer->suspended = 0;
715         simcall_HANDLER_process_suspend(simcall, simcall->issuer);
716       } else {
717         SIMIX_simcall_answer(simcall);
718       }
719     }
720     sleep->surf_sleep->unref();
721     sleep->surf_sleep = nullptr;
722   }
723   sleep->unref();
724   // intrusive_ptr_release(process); // FIXME: We are leaking here. See comment in SIMIX_process_join()
725   return 0;
726 }
727
728 smx_activity_t SIMIX_process_join(smx_actor_t issuer, smx_actor_t process, double timeout)
729 {
730   smx_activity_t res = SIMIX_process_sleep(issuer, timeout);
731   static_cast<simgrid::kernel::activity::ActivityImpl*>(res)->ref();
732   /* We are leaking the process here, but if we don't take the ref, we get a "use after free".
733    * The correct solution would be to derivate the type SynchroSleep into a SynchroProcessJoin,
734    * but the code is not clean enough for now for this.
735    * The C API should first be properly replaced with the C++ one, which is a fair amount of work.
736    */
737   intrusive_ptr_add_ref(process);
738   SIMIX_process_on_exit(process, (int_f_pvoid_pvoid_t)SIMIX_process_join_finish, res);
739   return res;
740 }
741
742 void simcall_HANDLER_process_sleep(smx_simcall_t simcall, double duration)
743 {
744   if (MC_is_active() || MC_record_replay_is_active()) {
745     MC_process_clock_add(simcall->issuer, duration);
746     simcall_process_sleep__set__result(simcall, SIMIX_DONE);
747     SIMIX_simcall_answer(simcall);
748     return;
749   }
750   smx_activity_t sync = SIMIX_process_sleep(simcall->issuer, duration);
751   sync->simcalls.push_back(simcall);
752   simcall->issuer->waiting_synchro = sync;
753 }
754
755 smx_activity_t SIMIX_process_sleep(smx_actor_t process, double duration)
756 {
757   sg_host_t host = process->host;
758
759   if (host->isOff())
760     THROWF(host_error, 0, "Host %s failed, you cannot sleep there.", host->cname());
761
762   simgrid::kernel::activity::Sleep *synchro = new simgrid::kernel::activity::Sleep();
763   synchro->host = host;
764   synchro->surf_sleep                       = host->pimpl_cpu->sleep(duration);
765   synchro->surf_sleep->setData(synchro);
766   XBT_DEBUG("Create sleep synchronization %p", synchro);
767
768   return synchro;
769 }
770
771 void SIMIX_process_sleep_destroy(smx_activity_t synchro)
772 {
773   XBT_DEBUG("Destroy synchro %p", synchro);
774   simgrid::kernel::activity::Sleep *sleep = static_cast<simgrid::kernel::activity::Sleep*>(synchro);
775
776   if (sleep->surf_sleep) {
777     sleep->surf_sleep->unref();
778     sleep->surf_sleep = nullptr;
779     sleep->unref();
780   }
781 }
782
783 /**
784  * \brief Calling this function makes the process to yield.
785  *
786  * Only the current process can call this function, giving back the control to
787  * maestro.
788  *
789  * \param self the current process
790  */
791 void SIMIX_process_yield(smx_actor_t self)
792 {
793   XBT_DEBUG("Yield actor '%s'", self->cname());
794
795   /* Go into sleep and return control to maestro */
796   self->context->suspend();
797
798   /* Ok, maestro returned control to us */
799   XBT_DEBUG("Control returned to me: '%s'", self->name.c_str());
800
801   if (self->new_host) {
802     SIMIX_process_change_host(self, self->new_host);
803     self->new_host = nullptr;
804   }
805
806   if (self->context->iwannadie){
807     XBT_DEBUG("I wanna die!");
808     self->finished = true;
809     /* execute the on_exit functions */
810     SIMIX_process_on_exit_runall(self);
811     /* Add the process to the list of process to restart, only if the host is down */
812     if (self->auto_restart && self->host->isOff()) {
813       SIMIX_host_add_auto_restart_process(self->host, self->cname(),
814                                           self->code, self->data,
815                                           SIMIX_timer_get_date(self->kill_timer),
816                                           self->properties,
817                                           self->auto_restart);
818     }
819     XBT_DEBUG("Process %s@%s is dead", self->cname(), self->host->cname());
820     self->context->stop();
821   }
822
823   if (self->suspended) {
824     XBT_DEBUG("Hey! I'm suspended.");
825     xbt_assert(self->exception != nullptr, "Gasp! This exception may be lost by subsequent calls.");
826     self->suspended = 0;
827     SIMIX_process_suspend(self, self);
828   }
829
830   if (self->exception != nullptr) {
831     XBT_DEBUG("Wait, maestro left me an exception");
832     std::exception_ptr exception = std::move(self->exception);
833     self->exception = nullptr;
834     std::rethrow_exception(std::move(exception));
835   }
836
837   if(SMPI_switch_data_segment && self->segment_index != -1){
838     SMPI_switch_data_segment(self->segment_index);
839   }
840 }
841
842 /* callback: termination */
843 void SIMIX_process_exception_terminate(xbt_ex_t * e)
844 {
845   xbt_ex_display(e);
846   xbt_abort();
847 }
848
849 smx_context_t SIMIX_process_get_context(smx_actor_t p) {
850   return p->context;
851 }
852
853 void SIMIX_process_set_context(smx_actor_t p,smx_context_t c) {
854   p->context = c;
855 }
856
857 /**
858  * \brief Returns the list of processes to run.
859  */
860 xbt_dynar_t SIMIX_process_get_runnable()
861 {
862   return simix_global->process_to_run;
863 }
864
865 /**
866  * \brief Returns the process from PID.
867  */
868 smx_actor_t SIMIX_process_from_PID(int PID)
869 {
870   if (simix_global->process_list.find(PID) == simix_global->process_list.end())
871     return nullptr;
872   return simix_global->process_list.at(PID);
873 }
874
875 /** @brief returns a dynar containing all currently existing processes */
876 xbt_dynar_t SIMIX_processes_as_dynar() {
877   xbt_dynar_t res = xbt_dynar_new(sizeof(smx_actor_t),nullptr);
878   for (auto kv : simix_global->process_list) {
879     smx_actor_t proc = kv.second;
880     xbt_dynar_push(res,&proc);
881   }
882   return res;
883 }
884
885 void SIMIX_process_on_exit_runall(smx_actor_t process) {
886   s_smx_process_exit_fun_t exit_fun;
887   smx_process_exit_status_t exit_status = (process->context->iwannadie) ? SMX_EXIT_FAILURE : SMX_EXIT_SUCCESS;
888   while (!process->on_exit.empty()) {
889     exit_fun = process->on_exit.back();
890     (exit_fun.fun)((void*)exit_status, exit_fun.arg);
891     process->on_exit.pop_back();
892   }
893 }
894
895 void SIMIX_process_on_exit(smx_actor_t process, int_f_pvoid_pvoid_t fun, void *data) {
896   xbt_assert(process, "current process not found: are you in maestro context ?");
897
898   s_smx_process_exit_fun_t exit_fun = {fun, data};
899
900   process->on_exit.push_back(exit_fun);
901 }
902
903 /**
904  * \brief Sets the auto-restart status of the process.
905  * If set to 1, the process will be automatically restarted when its host
906  * comes back.
907  */
908 void SIMIX_process_auto_restart_set(smx_actor_t process, int auto_restart) {
909   process->auto_restart = auto_restart;
910 }
911
912 smx_actor_t simcall_HANDLER_process_restart(smx_simcall_t simcall, smx_actor_t process) {
913   return SIMIX_process_restart(process, simcall->issuer);
914 }
915 /** @brief Restart a process, starting it again from the beginning. */
916 smx_actor_t SIMIX_process_restart(smx_actor_t process, smx_actor_t issuer) {
917   XBT_DEBUG("Restarting process %s on %s", process->cname(), process->host->cname());
918
919   //retrieve the arguments of the old process
920   //FIXME: Factorize this with SIMIX_host_add_auto_restart_process ?
921   simgrid::simix::ProcessArg arg;
922   arg.name = process->name;
923   arg.code = process->code;
924   arg.host = process->host;
925   arg.kill_time = SIMIX_timer_get_date(process->kill_timer);
926   arg.data = process->data;
927   arg.properties = nullptr;
928   arg.auto_restart = process->auto_restart;
929
930   //kill the old process
931   SIMIX_process_kill(process, issuer);
932
933   //start the new process
934   smx_actor_t actor = simix_global->create_process_function(arg.name.c_str(), std::move(arg.code), arg.data, arg.host,
935                                                             arg.properties, nullptr);
936   if (arg.kill_time >= 0)
937     simcall_process_set_kill_time(actor, arg.kill_time);
938   if (arg.auto_restart)
939     simcall_process_auto_restart_set(actor, arg.auto_restart);
940
941   return actor;
942 }
943
944 void SIMIX_segment_index_set(smx_actor_t proc, int index){
945   proc->segment_index = index;
946 }
947
948 /**
949  * \ingroup simix_process_management
950  * \brief Creates and runs a new SIMIX process.
951  *
952  * The structure and the corresponding thread are created and put in the list of ready processes.
953  *
954  * \param name a name for the process. It is for user-level information and can be nullptr.
955  * \param code the main function of the process
956  * \param data a pointer to any data one may want to attach to the new object. It is for user-level information and can be nullptr.
957  * It can be retrieved with the function \ref simcall_process_get_data.
958  * \param host where the new agent is executed.
959  * \param kill_time time when the process is killed
960  * \param argc first argument passed to \a code
961  * \param argv second argument passed to \a code
962  * \param properties the properties of the process
963  * \param auto_restart either it is autorestarting or not.
964  */
965 smx_actor_t simcall_process_create(const char* name, xbt_main_func_t code, void* data, sg_host_t host, int argc,
966                                    char** argv, xbt_dict_t properties)
967 {
968   if (name == nullptr)
969     name = "";
970   auto wrapped_code = simgrid::xbt::wrapMain(code, argc, argv);
971   for (int i = 0; i != argc; ++i)
972     xbt_free(argv[i]);
973   xbt_free(argv);
974   smx_actor_t res = simcall_process_create(name, std::move(wrapped_code), data, host, properties);
975   return res;
976 }
977
978 smx_actor_t simcall_process_create(const char* name, std::function<void()> code, void* data, sg_host_t host,
979                                    xbt_dict_t properties)
980 {
981   if (name == nullptr)
982     name = "";
983   smx_actor_t self = SIMIX_process_self();
984   return simgrid::simix::kernelImmediate([name, code, data, host, properties, self] {
985     return SIMIX_process_create(name, std::move(code), data, host, properties, self);
986   });
987 }