private:
Channel channel_;
static std::unique_ptr<AppSide> instance_;
- bool need_memory_info_ = false; /* by default we don't send memory info, unless we got a NEED_MEMINFO */
std::unordered_map<int, int> child_statuses_;
public:
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_need_meminfo();
void handle_actors_status() const;
void handle_actors_maxpid() const;
Channel& get_channel() { return channel_; }
XBT_ATTRIB_NORETURN void main_loop();
void report_assertion_failure();
- void ignore_memory(void* addr, std::size_t size) const;
- void unignore_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
// TODO, remove the singleton antipattern.
static AppSide* get();