RemoteApp::RemoteApp(const std::vector<char*>& args)
{
-
checker_side_ = std::make_unique<simgrid::mc::CheckerSide>(args);
- /* Take the initial snapshot */
initial_snapshot_ = std::make_shared<simgrid::mc::Snapshot>(0, page_store_, checker_side_->get_remote_memory());
}
pid_t pid_;
void setup_events(); // Part of the initialization
+ void clear_memory_cache();
+ void handle_waitpid();
public:
explicit CheckerSide(const std::vector<char*>& args);
pid_t get_pid() const { return pid_; }
bool running() const { return running_; }
void terminate() { running_ = false; }
- void handle_waitpid();
RemoteProcessMemory& get_remote_memory() { return *remote_memory_.get(); }
- void clear_memory_cache();
};
} // namespace simgrid::mc