-/* Copyright (c) 2007-2020. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2007-2022. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#ifndef SIMGRID_KERNEL_ACTOR_ACTORIMPL_HPP
#define SIMGRID_KERNEL_ACTOR_ACTORIMPL_HPP
+#include "Simcall.hpp"
+#include "simgrid/kernel/Timer.hpp"
#include "simgrid/s4u/Actor.hpp"
-#include "src/simix/popping_private.hpp"
#include "xbt/PropertyHolder.hpp"
#include <boost/intrusive/list.hpp>
#include <functional>
namespace simgrid {
namespace kernel {
namespace actor {
+class ProcessArg;
-class XBT_PUBLIC ActorImpl : public xbt::PropertyHolder {
- s4u::Host* host_ = nullptr; /* the host on which the actor is running */
- // XBT_DEPRECATED_v329
- void* userdata_ = nullptr; /* kept for compatibility, it should be replaced with moddata */
+/*------------------------- [ ActorIDTrait ] -------------------------*/
+class XBT_PUBLIC ActorIDTrait {
+ xbt::string name_;
aid_t pid_ = 0;
aid_t ppid_ = -1;
- bool daemon_ = false; /* Daemon actors are automatically killed when the last non-daemon leaves */
+
+ static unsigned long maxpid_;
+
+public:
+ explicit ActorIDTrait(const std::string& name, aid_t ppid);
+ const xbt::string& get_name() const { return name_; }
+ const char* get_cname() const { return name_.c_str(); }
+ aid_t get_pid() const { return pid_; }
+ aid_t get_ppid() const { return ppid_; }
+
+ static unsigned long get_maxpid() { return maxpid_; }
+ // In MC mode, the application sends this pointer to the MC
+ static unsigned long* get_maxpid_addr() { return &maxpid_; }
+};
+
+/*------------------------- [ ActorRestartingTrait ] -------------------------*/
+class XBT_PUBLIC ActorRestartingTrait {
bool auto_restart_ = false;
+ int restart_count_ = 0;
+
+ friend ActorImpl;
public:
- xbt::string name_;
- ActorImpl(xbt::string name, s4u::Host* host);
+ bool has_to_auto_restart() const { return auto_restart_; }
+ void set_auto_restart(bool autorestart) { auto_restart_ = autorestart; }
+ int get_restart_count() const { return restart_count_; }
+};
+
+/*------------------------- [ ActorImpl ] -------------------------*/
+class XBT_PUBLIC ActorImpl : public xbt::PropertyHolder, public ActorIDTrait, public ActorRestartingTrait {
+ s4u::Host* host_ = nullptr; /* the host on which the actor is running */
+ bool daemon_ = false; /* Daemon actors are automatically killed when the last non-daemon leaves */
+ unsigned stacksize_; // set to default value in constructor
+ bool iwannadie_ = false; // True if we need to do some cleanups in actor mode.
+ bool to_be_freed_ = false; // True if cleanups in actor mode done, but cleanups in kernel mode pending
+
+ std::vector<activity::MailboxImpl*> mailboxes_;
+ friend activity::MailboxImpl;
+
+public:
+ ActorImpl(xbt::string name, s4u::Host* host, aid_t ppid);
ActorImpl(const ActorImpl&) = delete;
ActorImpl& operator=(const ActorImpl&) = delete;
~ActorImpl();
static ActorImpl* self();
- double get_kill_time();
+ double get_kill_time() const;
void set_kill_time(double kill_time);
- boost::intrusive::list_member_hook<> host_actor_list_hook; /* simgrid::simix::Host::process_list */
- boost::intrusive::list_member_hook<> smx_destroy_list_hook; /* simix_global->actors_to_destroy */
+ boost::intrusive::list_member_hook<> host_actor_list_hook; /* resource::HostImpl::actor_list_ */
+ boost::intrusive::list_member_hook<> kernel_destroy_list_hook; /* EngineImpl actors_to_destroy */
boost::intrusive::list_member_hook<> smx_synchro_hook; /* {mutex,cond,sem}->sleeping */
- const xbt::string& get_name() const { return name_; }
- const char* get_cname() const { return name_.c_str(); }
+
+ // Life-cycle
+ bool wannadie() const { return iwannadie_; }
+ void set_wannadie(bool value = true);
+ bool to_be_freed() const { return to_be_freed_; }
+ void set_to_be_freed() { to_be_freed_ = true; }
// Accessors to private fields
- s4u::Host* get_host() { return host_; }
+ s4u::Host* get_host() const { return host_; }
void set_host(s4u::Host* dest);
- // XBT_DEPRECATED_v329
- void* get_user_data() { return userdata_; }
- // XBT_DEPRECATED_v329
- void set_user_data(void* data) { userdata_ = data; }
- aid_t get_pid() const { return pid_; }
- aid_t get_ppid() const { return ppid_; }
- void set_ppid(aid_t ppid) { ppid_ = ppid; }
- bool is_daemon() { return daemon_; } /** Whether this actor has been daemonized */
- bool has_to_auto_restart() { return auto_restart_; }
- void set_auto_restart(bool autorestart) { auto_restart_ = autorestart; }
+ bool is_maestro() const; /** Whether this actor is actually maestro (cheap call but may segfault before actor creation
+ / after terminaison) */
+ void set_stacksize(unsigned stacksize) { stacksize_ = stacksize; }
+ unsigned get_stacksize() const { return stacksize_; }
+
+ // Daemonize
+ bool is_daemon() const { return daemon_; } /** Whether this actor has been daemonized */
+ void daemonize();
+ void undaemonize();
std::unique_ptr<context::Context> context_; /* the context (uctx/raw/thread) that executes the user function */
std::exception_ptr exception_;
- bool finished_ = false;
bool suspended_ = false;
- activity::ActivityImplPtr waiting_synchro = nullptr; /* the current blocking synchro if any */
- std::list<activity::ActivityImplPtr> comms; /* the current non-blocking communication synchros */
- s_smx_simcall simcall;
- /* list of functions executed when the process dies */
+ activity::ActivityImplPtr waiting_synchro_ = nullptr; /* the current blocking synchro if any */
+ std::list<activity::ActivityImplPtr> activities_; /* the current non-blocking synchros */
+ Simcall simcall_;
+ /* list of functions executed when the actor dies */
std::shared_ptr<std::vector<std::function<void(bool)>>> on_exit =
std::make_shared<std::vector<std::function<void(bool)>>>();
- std::function<void()> code_;
- simix::Timer* kill_timer = nullptr;
+ std::function<void()> code_; // to restart the actor on host reboot
+ timer::Timer* kill_timer_ = nullptr;
private:
/* Refcounting */
std::atomic_int_fast32_t refcount_{0};
public:
- int get_refcount() { return refcount_; }
+ int get_refcount() const { return static_cast<int>(refcount_); }
friend void intrusive_ptr_add_ref(ActorImpl* actor)
{
// This whole memory consistency semantic drives me nuts.
private:
s4u::Actor piface_; // Our interface is part of ourselves
- void cleanup_from_simix();
- void undaemonize();
public:
- s4u::ActorPtr iface() { return s4u::ActorPtr(&piface_); }
- s4u::Actor* ciface() { return &piface_; }
+ s4u::ActorPtr get_iface() { return s4u::ActorPtr(&piface_); }
+ s4u::Actor* get_ciface() { return &piface_; }
- ActorImplPtr init(const std::string& name, s4u::Host* host);
- ActorImpl* start(const simix::ActorCode& code);
+ ActorImplPtr init(const std::string& name, s4u::Host* host) const;
+ ActorImpl* start(const ActorCode& code);
- static ActorImplPtr create(const std::string& name, const simix::ActorCode& code, void* data, s4u::Host* host,
- const std::unordered_map<std::string, std::string>* properties, ActorImpl* parent_actor);
- static ActorImplPtr attach(const std::string& name, void* data, s4u::Host* host,
- const std::unordered_map<std::string, std::string>* properties);
+ static ActorImplPtr create(const std::string& name, const ActorCode& code, void* data, s4u::Host* host,
+ const ActorImpl* parent_actor);
+ static ActorImplPtr create(ProcessArg* args);
+ static ActorImplPtr attach(const std::string& name, void* data, s4u::Host* host);
static void detach();
- void cleanup();
+ void cleanup_from_self();
+ void cleanup_from_kernel();
void exit();
- void kill(ActorImpl* actor);
- void kill_all();
+ void kill(ActorImpl* actor) const;
+ void kill_all() const;
void yield();
- void daemonize();
- bool is_suspended() { return suspended_; }
+ bool is_suspended() const { return suspended_; }
s4u::Actor* restart();
void suspend();
void resume();
void* data = nullptr;
s4u::Host* host = nullptr;
double kill_time = 0.0;
- std::shared_ptr<const std::unordered_map<std::string, std::string>> properties = nullptr;
+ const std::unordered_map<std::string, std::string> properties{};
bool auto_restart = false;
- bool daemon_ = false;
- /* list of functions executed when the process dies */
+ bool daemon_;
+ /* list of functions executed when the actor dies */
const std::shared_ptr<std::vector<std::function<void(bool)>>> on_exit;
+ int restart_count_ = 0;
- ProcessArg() = default;
+ ProcessArg() = delete;
+ ProcessArg(const ProcessArg&) = delete;
+ ProcessArg& operator=(const ProcessArg&) = delete;
explicit ProcessArg(const std::string& name, const std::function<void()>& code, void* data, s4u::Host* host,
- double kill_time, std::shared_ptr<std::unordered_map<std::string, std::string>> properties,
- bool auto_restart)
+ double kill_time, const std::unordered_map<std::string, std::string>& properties,
+ bool auto_restart, bool daemon, int restart_count)
: name(name)
, code(code)
, data(data)
, kill_time(kill_time)
, properties(properties)
, auto_restart(auto_restart)
+ , daemon_(daemon)
+ , restart_count_(restart_count)
{
}
explicit ProcessArg(s4u::Host* host, ActorImpl* actor)
: name(actor->get_name())
, code(actor->code_)
- , data(actor->get_user_data())
+ , data(actor->get_ciface()->get_data<void>())
, host(host)
, kill_time(actor->get_kill_time())
, auto_restart(actor->has_to_auto_restart())
, daemon_(actor->is_daemon())
, on_exit(actor->on_exit)
+ , restart_count_(actor->get_restart_count() + 1)
{
- properties.reset(actor->get_properties(), [](decltype(actor->get_properties())) {});
}
};
/* Used to keep the list of actors blocked on a synchro */
-typedef boost::intrusive::list<ActorImpl, boost::intrusive::member_hook<ActorImpl, boost::intrusive::list_member_hook<>,
- &ActorImpl::smx_synchro_hook>>
- SynchroList;
+using SynchroList =
+ boost::intrusive::list<ActorImpl, boost::intrusive::member_hook<ActorImpl, boost::intrusive::list_member_hook<>,
+ &ActorImpl::smx_synchro_hook>>;
XBT_PUBLIC void create_maestro(const std::function<void()>& code);
-XBT_PUBLIC int get_maxpid();
+
} // namespace actor
} // namespace kernel
} // namespace simgrid
-extern void (*SMPI_switch_data_segment)(simgrid::s4u::ActorPtr actor);
-
#endif