X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a8117ad0492ce7b4a42d963915fdd05e6d6a7a9f..5f5a10db6fc4552782638abb4817041223e17775:/src/mc/remote/AppSide.hpp diff --git a/src/mc/remote/AppSide.hpp b/src/mc/remote/AppSide.hpp index 137c19e261..03250e901b 100644 --- a/src/mc/remote/AppSide.hpp +++ b/src/mc/remote/AppSide.hpp @@ -22,38 +22,30 @@ class XBT_PUBLIC AppSide { private: Channel channel_; static std::unique_ptr instance_; - bool need_memory_info_ = false; /* by default we don't send memory info, unless we got a INITIAL_ADDRESSES */ + std::unordered_map child_statuses_; public: AppSide(); explicit AppSide(int fd) : channel_(fd) {} - void handle_messages() const; + void handle_messages(); private: void handle_deadlock_check(const s_mc_message_t* msg) const; void handle_simcall_execute(const s_mc_message_simcall_execute_t* message) const; void handle_finalize(const s_mc_message_int_t* msg) const; - void handle_initial_addresses() const; + void handle_fork(const s_mc_message_fork_t* msg); + void handle_wait_child(const s_mc_message_int_t* msg); void handle_actors_status() const; void handle_actors_maxpid() const; public: Channel const& get_channel() const { return channel_; } Channel& get_channel() { return channel_; } - XBT_ATTRIB_NORETURN void main_loop() const; - void report_assertion_failure() const; - void ignore_memory(void* addr, std::size_t size) const; - void ignore_heap(void* addr, std::size_t size) const; - void unignore_heap(void* addr, std::size_t size) const; - void declare_symbol(const char* name, int* value) const; -#if HAVE_UCONTEXT_H - void declare_stack(void* stack, size_t size, ucontext_t* context) const; -#endif + XBT_ATTRIB_NORETURN void main_loop(); + void report_assertion_failure(); - // Singleton :/ // TODO, remove the singleton antipattern. - static AppSide* initialize(); - static AppSide* get() { return instance_.get(); } + static AppSide* get(); }; } // namespace simgrid::mc