1 /* Copyright (c) 2006-2020. The SimGrid Team. All rights reserved. */
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. */
6 #include "simgrid/Exception.hpp"
7 #include "simgrid/actor.h"
8 #include "simgrid/modelchecker.h"
9 #include "simgrid/s4u/Actor.hpp"
10 #include "simgrid/s4u/Exec.hpp"
11 #include "simgrid/s4u/Host.hpp"
12 #include "simgrid/s4u/VirtualMachine.hpp"
13 #include "src/include/mc/mc.h"
14 #include "src/kernel/EngineImpl.hpp"
15 #include "src/kernel/activity/ExecImpl.hpp"
16 #include "src/mc/mc_replay.hpp"
17 #include "src/surf/HostImpl.hpp"
22 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(s4u_actor, s4u, "S4U actors");
26 template class xbt::Extendable<s4u::Actor>;
30 xbt::signal<void(Actor&)> s4u::Actor::on_creation;
31 xbt::signal<void(Actor const&)> s4u::Actor::on_suspend;
32 xbt::signal<void(Actor const&)> s4u::Actor::on_resume;
33 xbt::signal<void(Actor const&)> s4u::Actor::on_sleep;
34 xbt::signal<void(Actor const&)> s4u::Actor::on_wake_up;
35 xbt::signal<void(Actor const&)> s4u::Actor::on_migration_start; // deprecated
36 xbt::signal<void(Actor const&)> s4u::Actor::on_migration_end; // deprecated
37 xbt::signal<void(Actor const&, Host const& previous_location)> s4u::Actor::on_host_change;
38 xbt::signal<void(Actor const&)> s4u::Actor::on_termination;
39 xbt::signal<void(Actor const&)> s4u::Actor::on_destruction;
41 // ***** Actor creation *****
44 kernel::context::Context* self_context = kernel::context::Context::self();
45 if (self_context == nullptr)
48 return self_context->get_actor()->ciface();
51 ActorPtr Actor::init(const std::string& name, s4u::Host* host)
53 kernel::actor::ActorImpl* self = kernel::actor::ActorImpl::self();
54 kernel::actor::ActorImpl* actor =
55 kernel::actor::simcall([self, &name, host] { return self->init(name, host).get(); });
56 return actor->iface();
59 ActorPtr Actor::start(const std::function<void()>& code)
61 simgrid::kernel::actor::simcall([this, &code] { pimpl_->start(code); });
65 ActorPtr Actor::create(const std::string& name, s4u::Host* host, const std::function<void()>& code)
67 kernel::actor::ActorImpl* self = kernel::actor::ActorImpl::self();
68 kernel::actor::ActorImpl* actor =
69 kernel::actor::simcall([self, &name, host, &code] { return self->init(name, host)->start(code); });
71 return actor->iface();
74 ActorPtr Actor::create(const std::string& name, s4u::Host* host, const std::string& function,
75 std::vector<std::string> args)
77 const simgrid::kernel::actor::ActorCodeFactory& factory =
78 simgrid::kernel::EngineImpl::get_instance()->get_function(function);
79 return create(name, host, factory(std::move(args)));
82 void intrusive_ptr_add_ref(const Actor* actor)
84 intrusive_ptr_add_ref(actor->pimpl_);
86 void intrusive_ptr_release(const Actor* actor)
88 intrusive_ptr_release(actor->pimpl_);
90 int Actor::get_refcount()
92 return pimpl_->get_refcount();
95 // ***** Actor methods *****
102 void Actor::join(double timeout)
104 kernel::actor::ActorImpl* issuer = kernel::actor::ActorImpl::self();
105 kernel::actor::ActorImpl* target = pimpl_;
106 kernel::actor::simcall_blocking<void>([issuer, target, timeout] {
107 if (target->finished_) {
108 // The joined process is already finished, just wake up the issuer right away
109 issuer->simcall_answer();
111 kernel::activity::ActivityImplPtr sync = issuer->join(target, timeout);
112 sync->register_simcall(&issuer->simcall);
117 void Actor::set_auto_restart(bool autorestart)
119 kernel::actor::simcall([this, autorestart]() {
120 xbt_assert(autorestart && not pimpl_->has_to_auto_restart()); // FIXME: handle all cases
121 pimpl_->set_auto_restart(autorestart);
123 kernel::actor::ProcessArg* arg = new kernel::actor::ProcessArg(pimpl_->get_host(), pimpl_);
124 XBT_DEBUG("Adding %s to the actors_at_boot_ list of Host %s", arg->name.c_str(), arg->host->get_cname());
125 pimpl_->get_host()->pimpl_->add_actor_at_boot(arg);
129 void Actor::on_exit(const std::function<void(bool /*failed*/)>& fun) const
131 kernel::actor::simcall([this, &fun] { pimpl_->on_exit->emplace_back(fun); });
134 void Actor::set_host(Host* new_host)
136 if (s4u::Actor::on_migration_start.get_slot_count() > 0) { // XBT_ATTRIB_DEPRECATED_v329
137 static bool already_warned = false;
138 if (not already_warned) {
139 XBT_INFO("Please use s4u::Actor::on_host_change instead of s4u::Actor::on_migration_start. This will be removed "
141 already_warned = true;
143 s4u::Actor::on_migration_start(*this);
146 const s4u::Host* previous_location = get_host();
148 kernel::actor::simcall([this, new_host]() {
149 if (pimpl_->waiting_synchro != nullptr) {
150 // The actor is blocked on an activity. If it's an exec, migrate it too.
151 // FIXME: implement the migration of other kinds of activities
152 kernel::activity::ExecImplPtr exec =
153 boost::dynamic_pointer_cast<kernel::activity::ExecImpl>(pimpl_->waiting_synchro);
154 xbt_assert(exec.get() != nullptr, "We can only migrate blocked actors when they are blocked on executions.");
155 exec->migrate(new_host);
157 this->pimpl_->set_host(new_host);
160 if (s4u::Actor::on_migration_end.get_slot_count() > 0) { // XBT_ATTRIB_DEPRECATED_v329
161 static bool already_warned = false;
162 if (not already_warned) {
163 XBT_INFO("Please use s4u::Actor::on_host_change instead of s4u::Actor::on_migration_end. This will be removed in "
165 already_warned = true;
167 s4u::Actor::on_migration_end(*this);
170 s4u::Actor::on_host_change(*this, *previous_location);
173 s4u::Host* Actor::get_host() const
175 return this->pimpl_->get_host();
178 void Actor::daemonize()
180 kernel::actor::simcall([this]() { pimpl_->daemonize(); });
183 bool Actor::is_daemon() const
185 return this->pimpl_->is_daemon();
188 const simgrid::xbt::string& Actor::get_name() const
190 return this->pimpl_->get_name();
193 const char* Actor::get_cname() const
195 return this->pimpl_->get_cname();
198 aid_t Actor::get_pid() const
200 return this->pimpl_->get_pid();
203 aid_t Actor::get_ppid() const
205 return this->pimpl_->get_ppid();
208 void Actor::suspend()
210 kernel::actor::ActorImpl* issuer = kernel::actor::ActorImpl::self();
211 kernel::actor::ActorImpl* target = pimpl_;
212 s4u::Actor::on_suspend(*this);
213 kernel::actor::simcall_blocking<void>([issuer, target]() {
215 if (target != issuer) {
216 /* If we are suspending ourselves, then just do not finish the simcall now */
217 issuer->simcall_answer();
224 kernel::actor::simcall([this] { pimpl_->resume(); });
225 s4u::Actor::on_resume(*this);
228 bool Actor::is_suspended()
230 return pimpl_->is_suspended();
233 void Actor::set_kill_time(double kill_time)
235 kernel::actor::simcall([this, kill_time] { pimpl_->set_kill_time(kill_time); });
238 /** @brief Get the kill time of an actor(or 0 if unset). */
239 double Actor::get_kill_time()
241 return pimpl_->get_kill_time();
246 kernel::actor::ActorImpl* self = kernel::actor::ActorImpl::self();
247 kernel::actor::simcall([this, self] { self->kill(pimpl_); });
250 // ***** Static functions *****
252 ActorPtr Actor::by_pid(aid_t pid)
254 kernel::actor::ActorImpl* actor = SIMIX_process_from_PID(pid);
255 if (actor != nullptr)
256 return actor->iface();
261 void Actor::kill_all()
263 kernel::actor::ActorImpl* self = kernel::actor::ActorImpl::self();
264 kernel::actor::simcall([self] { self->kill_all(); });
267 const std::unordered_map<std::string, std::string>* Actor::get_properties() const
269 return pimpl_->get_properties();
272 /** Retrieve the property value (or nullptr if not set) */
273 const char* Actor::get_property(const std::string& key) const
275 return pimpl_->get_property(key);
278 void Actor::set_property(const std::string& key, const std::string& value)
280 kernel::actor::simcall([this, &key, &value] { pimpl_->set_property(key, value); });
283 Actor* Actor::restart()
285 return kernel::actor::simcall([this]() { return pimpl_->restart(); });
288 // ***** this_actor *****
290 namespace this_actor {
292 /** Returns true if run from the kernel mode, and false if run from a real actor
294 * Everything that is run out of any actor (simulation setup before the engine is run,
295 * computing the model evolutions as a result to the actors' action, etc) is run in
296 * kernel mode, just as in any operating systems.
298 * In SimGrid, the actor in charge of doing the stuff in kernel mode is called Maestro,
299 * because it is the one scheduling when the others should move or wait.
303 return SIMIX_is_maestro();
306 void sleep_for(double duration)
308 xbt_assert(std::isfinite(duration), "duration is not finite!");
311 kernel::actor::ActorImpl* issuer = kernel::actor::ActorImpl::self();
312 Actor::on_sleep(*issuer->ciface());
314 kernel::actor::simcall_blocking<void>([issuer, duration]() {
315 if (MC_is_active() || MC_record_replay_is_active()) {
316 MC_process_clock_add(issuer, duration);
317 issuer->simcall_answer();
320 kernel::activity::ActivityImplPtr sync = issuer->sleep(duration);
321 sync->register_simcall(&issuer->simcall);
324 Actor::on_wake_up(*issuer->ciface());
330 kernel::actor::simcall([] { /* do nothing*/ });
333 XBT_PUBLIC void sleep_until(double wakeup_time)
335 double now = SIMIX_get_clock();
336 if (wakeup_time > now)
337 sleep_for(wakeup_time - now);
340 void execute(double flops)
342 execute(flops, 1.0 /* priority */);
345 void execute(double flops, double priority)
347 exec_init(flops)->set_priority(priority)->start()->wait();
350 void parallel_execute(const std::vector<s4u::Host*>& hosts, const std::vector<double>& flops_amounts,
351 const std::vector<double>& bytes_amounts)
353 exec_init(hosts, flops_amounts, bytes_amounts)->wait();
356 void parallel_execute(const std::vector<s4u::Host*>& hosts, const std::vector<double>& flops_amounts,
357 const std::vector<double>& bytes_amounts, double timeout) // XBT_ATTRIB_DEPRECATED_v329
359 exec_init(hosts, flops_amounts, bytes_amounts)->wait_for(timeout);
362 ExecPtr exec_init(double flops_amount)
364 ExecPtr exec = ExecPtr(new Exec());
365 exec->set_flops_amount(flops_amount)->set_host(get_host());
369 ExecPtr exec_init(const std::vector<s4u::Host*>& hosts, const std::vector<double>& flops_amounts,
370 const std::vector<double>& bytes_amounts)
372 xbt_assert(hosts.size() > 0, "Your parallel executions must span over at least one host.");
373 xbt_assert(hosts.size() == flops_amounts.size() || flops_amounts.empty(),
374 "Host count (%zu) does not match flops_amount count (%zu).", hosts.size(), flops_amounts.size());
375 xbt_assert(hosts.size() * hosts.size() == bytes_amounts.size() || bytes_amounts.empty(),
376 "bytes_amounts must be a matrix of size host_count * host_count (%zu*%zu), but it's of size %zu.",
377 hosts.size(), hosts.size(), flops_amounts.size());
378 /* Check that we are not mixing VMs and PMs in the parallel task */
379 bool is_a_vm = (nullptr != dynamic_cast<VirtualMachine*>(hosts.front()));
380 xbt_assert(std::all_of(hosts.begin(), hosts.end(),
381 [is_a_vm](s4u::Host* elm) {
382 bool tmp_is_a_vm = (nullptr != dynamic_cast<VirtualMachine*>(elm));
383 return is_a_vm == tmp_is_a_vm;
385 "parallel_execute: mixing VMs and PMs is not supported (yet).");
386 /* checking for infinite values */
387 xbt_assert(std::all_of(flops_amounts.begin(), flops_amounts.end(), [](double elm) { return std::isfinite(elm); }),
388 "flops_amounts comprises infinite values!");
389 xbt_assert(std::all_of(bytes_amounts.begin(), bytes_amounts.end(), [](double elm) { return std::isfinite(elm); }),
390 "flops_amounts comprises infinite values!");
392 ExecPtr exec = ExecPtr(new Exec());
393 exec->set_flops_amounts(flops_amounts)->set_bytes_amounts(bytes_amounts)->set_hosts(hosts);
397 ExecPtr exec_async(double flops)
399 ExecPtr res = exec_init(flops);
406 return simgrid::kernel::actor::ActorImpl::self()->get_pid();
411 return simgrid::kernel::actor::ActorImpl::self()->get_ppid();
414 std::string get_name()
416 return simgrid::kernel::actor::ActorImpl::self()->get_name();
419 const char* get_cname()
421 return simgrid::kernel::actor::ActorImpl::self()->get_cname();
426 return simgrid::kernel::actor::ActorImpl::self()->get_host();
431 kernel::actor::ActorImpl* self = simgrid::kernel::actor::ActorImpl::self();
432 s4u::Actor::on_suspend(*self->ciface());
433 kernel::actor::simcall_blocking<void>([self] { self->suspend(); });
438 kernel::actor::ActorImpl* self = simgrid::kernel::actor::ActorImpl::self();
439 simgrid::kernel::actor::simcall([self] { self->exit(); });
442 void on_exit(const std::function<void(bool)>& fun)
444 simgrid::kernel::actor::ActorImpl::self()->iface()->on_exit(fun);
447 /** @brief Moves the current actor to another host
449 * @see simgrid::s4u::Actor::migrate() for more information
451 void set_host(Host* new_host)
453 simgrid::kernel::actor::ActorImpl::self()->iface()->set_host(new_host);
455 void migrate(Host* new_host) // deprecated
460 } // namespace this_actor
462 } // namespace simgrid
464 /* **************************** Public C interface *************************** */
466 sg_actor_t sg_actor_init(const char* name, sg_host_t host)
468 return simgrid::s4u::Actor::init(name, host).get();
471 void sg_actor_start(sg_actor_t actor, xbt_main_func_t code, int argc, const char* const* argv)
473 simgrid::kernel::actor::ActorCode function;
475 function = simgrid::xbt::wrap_main(code, argc, argv);
476 actor->start(std::move(function));
481 simgrid::s4u::this_actor::exit();
485 * @brief Returns the process ID of @a actor.
487 * This function checks whether @a actor is a valid pointer and return its PID (or 0 in case of problem).
490 aid_t sg_actor_get_PID(const_sg_actor_t actor)
492 /* Do not raise an exception here: this function is called by the logs
493 * and the exceptions, so it would be called back again and again */
494 if (actor == nullptr || actor->get_impl() == nullptr)
496 return actor->get_pid();
500 * @brief Returns the process ID of the parent of @a actor.
502 * This function checks whether @a actor is a valid pointer and return its parent's PID.
503 * Returns -1 if the actor has not been created by any other actor.
505 aid_t sg_actor_get_PPID(const_sg_actor_t actor)
507 return actor->get_ppid();
511 * @brief Return a #sg_actor_t given its PID.
513 * This function search in the list of all the created sg_actor_t for a sg_actor_t whose PID is equal to @a PID.
514 * If none is found, @c nullptr is returned.
515 Note that the PID are unique in the whole simulation, not only on a given host.
517 sg_actor_t sg_actor_by_PID(aid_t pid)
519 return simgrid::s4u::Actor::by_pid(pid).get();
522 /** @brief Return the name of an actor. */
523 const char* sg_actor_get_name(const_sg_actor_t actor)
525 return actor->get_cname();
528 sg_host_t sg_actor_get_host(const_sg_actor_t actor)
530 return actor->get_host();
534 * @brief Returns the value of a given actor property
536 * @param actor an actor
537 * @param name a property name
538 * @return value of a property (or nullptr if the property is not set)
540 const char* sg_actor_get_property_value(const_sg_actor_t actor, const char* name)
542 return actor->get_property(name);
546 * @brief Return the list of properties
548 * This function returns all the parameters associated with an actor
550 xbt_dict_t sg_actor_get_properties(const_sg_actor_t actor)
552 xbt_assert(actor != nullptr, "Invalid parameter: First argument must not be nullptr");
553 xbt_dict_t as_dict = xbt_dict_new_homogeneous(xbt_free_f);
554 const std::unordered_map<std::string, std::string>* props = actor->get_properties();
555 if (props == nullptr)
557 for (auto const& kv : *props) {
558 xbt_dict_set(as_dict, kv.first.c_str(), xbt_strdup(kv.second.c_str()));
564 * @brief Suspend the actor.
566 * This function suspends the actor by suspending the task on which it was waiting for the completion.
568 void sg_actor_suspend(sg_actor_t actor)
570 xbt_assert(actor != nullptr, "Invalid parameter: First argument must not be nullptr");
575 * @brief Resume a suspended actor.
577 * This function resumes a suspended actor by resuming the task on which it was waiting for the completion.
579 void sg_actor_resume(sg_actor_t actor)
581 xbt_assert(actor != nullptr, "Invalid parameter: First argument must not be nullptr");
586 * @brief Returns true if the actor is suspended .
588 * This checks whether an actor is suspended or not by inspecting the task on which it was waiting for the completion.
590 int sg_actor_is_suspended(sg_actor_t actor)
592 return actor->is_suspended();
595 /** @brief Restarts an actor from the beginning. */
596 sg_actor_t sg_actor_restart(sg_actor_t actor)
598 return actor->restart();
602 * @brief Sets the "auto-restart" flag of the actor.
603 * If the flag is set to 1, the actor will be automatically restarted when its host comes back up.
605 void sg_actor_set_auto_restart(sg_actor_t actor, int auto_restart)
607 actor->set_auto_restart(auto_restart);
610 /** @brief This actor will be terminated automatically when the last non-daemon actor finishes */
611 void sg_actor_daemonize(sg_actor_t actor)
616 /** Returns whether or not this actor has been daemonized or not */
617 int sg_actor_is_daemon(const_sg_actor_t actor)
619 return actor->is_daemon();
623 * @brief Migrates an actor to another location.
625 * This function changes the value of the #sg_host_t on which @a actor is running.
627 void sg_actor_set_host(sg_actor_t actor, sg_host_t host)
629 actor->set_host(host);
631 void sg_actor_migrate(sg_actor_t process, sg_host_t host) // deprecated
633 process->set_host(host);
637 * @brief Wait for the completion of a #sg_actor_t.
639 * @param actor the actor to wait for
640 * @param timeout wait until the actor is over, or the timeout expires
642 void sg_actor_join(sg_actor_t actor, double timeout)
644 actor->join(timeout);
647 void sg_actor_kill(sg_actor_t actor)
652 void sg_actor_kill_all()
654 simgrid::s4u::Actor::kill_all();
658 * @brief Set the kill time of an actor.
660 * @param actor an actor
661 * @param kill_time the time when the actor is killed.
663 void sg_actor_set_kill_time(sg_actor_t actor, double kill_time)
665 actor->set_kill_time(kill_time);
668 /** Yield the current actor; let the other actors execute first */
669 void sg_actor_yield()
671 simgrid::s4u::this_actor::yield();
674 void sg_actor_sleep_for(double duration)
676 simgrid::s4u::this_actor::sleep_for(duration);
679 void sg_actor_sleep_until(double wakeup_time)
681 simgrid::s4u::this_actor::sleep_until(wakeup_time);
684 sg_actor_t sg_actor_attach(const char* name, void* data, sg_host_t host, xbt_dict_t properties)
686 xbt_assert(host != nullptr, "Invalid parameters: host and code params must not be nullptr");
687 std::unordered_map<std::string, std::string> props;
688 xbt_dict_cursor_t cursor = nullptr;
691 xbt_dict_foreach (properties, cursor, key, value)
693 xbt_dict_free(&properties);
695 /* Let's create the process: SIMIX may decide to start it right now, even before returning the flow control to us */
696 smx_actor_t actor = nullptr;
698 actor = simgrid::kernel::actor::ActorImpl::attach(name, data, host, &props).get();
699 } catch (simgrid::HostFailureException const&) {
700 xbt_die("Could not attach");
703 simgrid::s4u::this_actor::yield();
704 return actor->ciface();
707 void sg_actor_detach()
709 simgrid::kernel::actor::ActorImpl::detach();
712 aid_t sg_actor_self_get_pid()
714 return simgrid::s4u::this_actor::get_pid();
717 aid_t sg_actor_self_get_ppid()
719 return simgrid::s4u::this_actor::get_ppid();
722 const char* sg_actor_self_get_name()
724 return simgrid::s4u::this_actor::get_cname();
727 void* sg_actor_self_data()
729 return simgrid::s4u::Actor::self()->get_data();
732 void sg_actor_self_data_set(void* userdata)
734 simgrid::s4u::Actor::self()->set_data(userdata);
737 sg_actor_t sg_actor_self()
739 return simgrid::s4u::Actor::self();
742 void sg_actor_self_execute(double flops) // XBT_DEPRECATED_v330
744 simgrid::s4u::this_actor::execute(flops);
747 void sg_actor_execute(double flops)
749 simgrid::s4u::this_actor::execute(flops);
752 void sg_actor_parallel_execute(int host_nb, sg_host_t* host_list, double* flops_amount, double* bytes_amount)
754 std::vector<simgrid::s4u::Host*> hosts(host_list, host_list + host_nb);
755 std::vector<double> flops;
756 std::vector<double> bytes;
757 if (flops_amount != nullptr)
758 flops = std::vector<double>(flops_amount, flops_amount + host_nb);
759 if (bytes_amount != nullptr)
760 bytes = std::vector<double>(bytes_amount, bytes_amount + host_nb * host_nb);
762 simgrid::s4u::this_actor::parallel_execute(hosts, flops, bytes);
765 /** @brief Take an extra reference on that actor to prevent it to be garbage-collected */
766 void sg_actor_ref(const_sg_actor_t actor)
768 intrusive_ptr_add_ref(actor);
770 /** @brief Release a reference on that actor so that it can get be garbage-collected */
771 void sg_actor_unref(const_sg_actor_t actor)
773 intrusive_ptr_release(actor);
776 /** @brief Return the user data of a #sg_actor_t */
777 void* sg_actor_data(const_sg_actor_t actor)
779 return actor->get_data();
781 /** @brief Set the user data of a #sg_actor_t */
782 void sg_actor_data_set(sg_actor_t actor, void* userdata)
784 actor->set_data(userdata);
786 /** @brief Add a function to the list of "on_exit" functions for the current process.
787 * The on_exit functions are the functions executed when your process is killed.
788 * You should use them to free the data used by your process.
790 void sg_actor_on_exit(int_f_int_pvoid_t fun, void* data)
792 simgrid::s4u::this_actor::on_exit([fun, data](bool failed) { fun(failed ? 1 /*FAILURE*/ : 0 /*SUCCESS*/, data); });
795 sg_exec_t sg_actor_exec_init(double computation_amount)
797 simgrid::s4u::ExecPtr exec = simgrid::s4u::this_actor::exec_init(computation_amount);
802 sg_exec_t sg_actor_parallel_exec_init(int host_nb, const sg_host_t* host_list, double* flops_amount,
803 double* bytes_amount)
805 std::vector<simgrid::s4u::Host*> hosts(host_list, host_list + host_nb);
806 std::vector<double> flops;
807 std::vector<double> bytes;
808 if (flops_amount != nullptr)
809 flops = std::vector<double>(flops_amount, flops_amount + host_nb);
810 if (bytes_amount != nullptr)
811 bytes = std::vector<double>(bytes_amount, bytes_amount + host_nb * host_nb);
813 simgrid::s4u::ExecPtr exec = simgrid::s4u::ExecPtr(new simgrid::s4u::Exec());
814 exec->set_flops_amounts(flops)->set_bytes_amounts(bytes)->set_hosts(hosts);
819 sg_exec_t sg_actor_exec_async(double computation_amount)
821 simgrid::s4u::ExecPtr exec = simgrid::s4u::this_actor::exec_async(computation_amount);