X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/48296e83ce3ba1fa3658a3a74d10a536e33b3849..244ffce80a9e2390e24b9788114de037e4ccc0ae:/src/mc/remote/AppSide.hpp diff --git a/src/mc/remote/AppSide.hpp b/src/mc/remote/AppSide.hpp index b63a836b1b..03250e901b 100644 --- a/src/mc/remote/AppSide.hpp +++ b/src/mc/remote/AppSide.hpp @@ -1,6 +1,6 @@ /* mc::remote::AppSide: the Application-side of the channel */ -/* Copyright (c) 2015-2022. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2015-2023. 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. */ @@ -22,35 +22,30 @@ class XBT_PUBLIC AppSide { private: Channel channel_; static std::unique_ptr instance_; + 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_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