X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d6eb772e45cc853fc204bb5aebeb411cdfa7c929..df9f711468e4a9eb4a387acac8859003a7177bcf:/src/mc/remote/CheckerSide.hpp?ds=sidebyside diff --git a/src/mc/remote/CheckerSide.hpp b/src/mc/remote/CheckerSide.hpp index 17fb33c3c4..d89f7121f6 100644 --- a/src/mc/remote/CheckerSide.hpp +++ b/src/mc/remote/CheckerSide.hpp @@ -21,17 +21,24 @@ class CheckerSide { event* socket_event_; event* signal_event_; std::unique_ptr base_{nullptr, &event_base_free}; +#if SIMGRID_HAVE_STATEFUL_MC std::unique_ptr remote_memory_; +#endif Channel channel_; bool running_ = false; pid_t pid_; + // When forking (no meminfo), the real app is our grandchild. In this case, + // child_checker_ is a CheckerSide to our child that can waitpid our grandchild on our behalf + CheckerSide* child_checker_ = nullptr; - void setup_events(); // Part of the initialization + void setup_events(bool socket_only); // Part of the initialization void clear_memory_cache(); - void handle_waitpid(); + void handle_dead_child(int status); // Launched when the dying child is the PID we follow + void handle_waitpid(); // Launched when receiving a sigchild public: + explicit CheckerSide(int socket, CheckerSide* child_checker); explicit CheckerSide(const std::vector& args, bool need_memory_introspection); ~CheckerSide(); @@ -49,6 +56,9 @@ public: void break_loop() const; void wait_for_requests(); + /* Create a new CheckerSide by forking the currently existing one, and connect it through the master_socket */ + std::unique_ptr clone(int master_socket, const std::string& master_socket_name); + /** Ask the application to run post-mortem analysis, and maybe to stop ASAP */ void finalize(bool terminate_asap = false); @@ -56,7 +66,9 @@ public: pid_t get_pid() const { return pid_; } bool running() const { return running_; } void terminate() { running_ = false; } +#if SIMGRID_HAVE_STATEFUL_MC RemoteProcessMemory* get_remote_memory() { return remote_memory_.get(); } +#endif }; } // namespace simgrid::mc