X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b9945098e2ba4e7b639e0c2245835d44800c1b29..5089a0a98b27f5eeee62321dff4f025f1648f025:/src/kernel/actor/ActorImpl.hpp diff --git a/src/kernel/actor/ActorImpl.hpp b/src/kernel/actor/ActorImpl.hpp index 3dc922455b..423debc9a0 100644 --- a/src/kernel/actor/ActorImpl.hpp +++ b/src/kernel/actor/ActorImpl.hpp @@ -15,17 +15,13 @@ #include #include -struct s_smx_process_exit_fun_t { - std::function fun; - void* arg; -}; - namespace simgrid { namespace kernel { namespace actor { class XBT_PUBLIC ActorImpl : public surf::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 */ aid_t pid_ = 0; aid_t ppid_ = -1; @@ -34,14 +30,14 @@ class XBT_PUBLIC ActorImpl : public surf::PropertyHolder { public: xbt::string name_; - ActorImpl(const xbt::string& name, s4u::Host* host); + ActorImpl(xbt::string name, s4u::Host* host); ActorImpl(const ActorImpl&) = delete; ActorImpl& operator=(const ActorImpl&) = delete; ~ActorImpl(); double get_kill_time(); void set_kill_time(double kill_time); - boost::intrusive::list_member_hook<> host_process_list_hook; /* simgrid::simix::Host::process_list */ + 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<> smx_synchro_hook; /* {mutex,cond,sem}->sleeping */ @@ -51,7 +47,9 @@ public: // Accessors to private fields s4u::Host* get_host() { 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_; } @@ -64,15 +62,16 @@ public: std::exception_ptr exception_; bool finished_ = false; - bool blocked_ = false; /* FIXME this field is never set to true. Either use it or remove it. */ bool suspended_ = false; activity::ActivityImplPtr waiting_synchro = nullptr; /* the current blocking synchro if any */ std::list comms; /* the current non-blocking communication synchros */ s_smx_simcall simcall; - std::vector on_exit; /* list of functions executed when the process dies */ + /* list of functions executed when the process dies */ + std::shared_ptr>> on_exit = + std::make_shared>>(); - std::function code; + std::function code_; simix::Timer* kill_timer = nullptr; private: @@ -80,13 +79,17 @@ private: std::atomic_int_fast32_t refcount_{0}; public: + int get_refcount() { return refcount_; } friend void intrusive_ptr_add_ref(ActorImpl* actor) { - // std::memory_order_relaxed ought to be enough here instead of std::memory_order_seq_cst - // But then, we have a threading issue when an actor commits a suicide: - // it seems that in this case, the worker thread kills the last occurrence of the actor - // while usually, the maestro does so. FIXME: we should change how actors suicide - actor->refcount_.fetch_add(1, std::memory_order_seq_cst); + // This whole memory consistency semantic drives me nuts. + // std::memory_order_relaxed proves to not be enough: There is a threading issue when actors commit suicide. + // My guess is that the maestro context wants to propagate changes to the actor's fields after the + // actor context frees that memory area or something. But I'm not 100% certain of what's going on. + // std::memory_order_seq_cst works but that's rather demanding. + // AFAIK, std::memory_order_acq_rel works on all tested platforms, so let's stick to it. + // Reducing the requirements to _relaxed would require to fix our suicide procedure, which is a messy piece of code. + actor->refcount_.fetch_add(1, std::memory_order_acq_rel); } friend void intrusive_ptr_release(ActorImpl* actor) { @@ -102,6 +105,9 @@ public: /* S4U/implem interfaces */ private: s4u::Actor piface_; // Our interface is part of ourselves + + void undaemonize(); + public: s4u::ActorPtr iface() { return s4u::ActorPtr(&piface_); } s4u::Actor* ciface() { return &piface_; } @@ -110,9 +116,9 @@ public: ActorImpl* start(const simix::ActorCode& code); static ActorImplPtr create(const std::string& name, const simix::ActorCode& code, void* data, s4u::Host* host, - std::unordered_map* properties, ActorImpl* parent_actor); + const std::unordered_map* properties, ActorImpl* parent_actor); static ActorImplPtr attach(const std::string& name, void* data, s4u::Host* host, - std::unordered_map* properties); + const std::unordered_map* properties); static void detach(); void cleanup(); void exit(); @@ -123,12 +129,18 @@ public: void daemonize(); bool is_suspended() { return suspended_; } s4u::Actor* restart(); - activity::ActivityImplPtr suspend(ActorImpl* issuer); + void suspend(); void resume(); activity::ActivityImplPtr join(ActorImpl* actor, double timeout); activity::ActivityImplPtr sleep(double duration); /** Ask the actor to throw an exception right away */ void throw_exception(std::exception_ptr e); + + /** execute the pending simcall -- must be called from the maestro context */ + void simcall_handle(int value); + /** Terminates a simcall currently executed in maestro context. The actor will be restarted in the next scheduling + * round */ + void simcall_answer(); }; class ProcessArg { @@ -138,9 +150,12 @@ public: void* data = nullptr; s4u::Host* host = nullptr; double kill_time = 0.0; - std::shared_ptr> properties = nullptr; + std::shared_ptr> properties = nullptr; bool auto_restart = false; bool daemon_ = false; + /* list of functions executed when the process dies */ + const std::shared_ptr>> on_exit; + ProcessArg() = default; explicit ProcessArg(const std::string& name, const std::function& code, void* data, s4u::Host* host, @@ -158,12 +173,13 @@ public: explicit ProcessArg(s4u::Host* host, ActorImpl* actor) : name(actor->get_name()) - , code(actor->code) + , code(actor->code_) , data(actor->get_user_data()) , host(host) , kill_time(actor->get_kill_time()) , auto_restart(actor->has_to_auto_restart()) , daemon_(actor->is_daemon()) + , on_exit(actor->on_exit) { properties.reset(actor->get_properties(), [](decltype(actor->get_properties())) {}); } @@ -175,12 +191,11 @@ typedef boost::intrusive::list& code); +XBT_PUBLIC int get_maxpid(); } // namespace actor } // namespace kernel } // namespace simgrid extern void (*SMPI_switch_data_segment)(simgrid::s4u::ActorPtr actor); -XBT_PRIVATE void SIMIX_process_sleep_destroy(smx_activity_t synchro); - #endif