X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3db47603316610f1878cb48634c357b75bbbed9d..c0afa7c6bc6b4f8a6e31fc6e1c6ca57a701ebe4b:/src/mc/Process.hpp diff --git a/src/mc/Process.hpp b/src/mc/Process.hpp index a2cef8542e..5a9e3068f7 100644 --- a/src/mc/Process.hpp +++ b/src/mc/Process.hpp @@ -19,12 +19,10 @@ #include #include -#include #include -#if HAVE_MC #include "src/xbt/mmalloc/mmprivate.h" -#endif +#include "src/mc/Channel.hpp" #include #include "src/simix/popping_private.h" @@ -38,13 +36,6 @@ #include "src/mc/mc_protocol.h" #include "src/mc/ObjectInformation.hpp" -// Those flags are used to track down which cached information -// is still up to date and which information needs to be updated. -typedef int mc_process_cache_flags_t; -#define MC_PROCESS_CACHE_FLAG_NONE 0 -#define MC_PROCESS_CACHE_FLAG_HEAP 1 -#define MC_PROCESS_CACHE_FLAG_MALLOC_INFO 2 -#define MC_PROCESS_CACHE_FLAG_SIMIX_PROCESSES 4 namespace simgrid { namespace mc { @@ -97,6 +88,13 @@ struct IgnoredHeapRegion { * - etc. */ class Process final : public AddressSpace { +private: + // Those flags are used to track down which cached information + // is still up to date and which information needs to be updated. + static constexpr int cache_none = 0; + static constexpr int cache_heap = 1; + static constexpr int cache_malloc = 2; + static constexpr int cache_simix_processes = 4; public: Process(pid_t pid, int sockfd); ~Process(); @@ -136,16 +134,24 @@ public: // Heap access: xbt_mheap_t get_heap() { - if (!(this->cache_flags & MC_PROCESS_CACHE_FLAG_HEAP)) + if (!(this->cache_flags_ & Process::cache_heap)) this->refresh_heap(); return this->heap.get(); } malloc_info* get_malloc_info() { - if (!(this->cache_flags & MC_PROCESS_CACHE_FLAG_MALLOC_INFO)) + if (!(this->cache_flags_ & Process::cache_malloc)) this->refresh_malloc_info(); return this->heap_info.data(); } + + void clear_cache() + { + this->cache_flags_ = Process::cache_none; + } + + Channel const& getChannel() const { return channel_; } + Channel& getChannel() { return channel_; } std::vector const& ignored_regions() const { @@ -170,25 +176,6 @@ public: running_ = false; } - template - typename std::enable_if< std::is_class::value && std::is_trivial::value, int >::type - send_message(M const& m) - { - return MC_protocol_send(this->socket_, &m, sizeof(M)); - } - - int send_message(e_mc_message_type message_id) - { - return MC_protocol_send_simple_message(this->socket_, message_id); - } - - template - typename std::enable_if< std::is_class::value && std::is_trivial::value, ssize_t >::type - receive_message(M& m) - { - return MC_receive_message(this->socket_, &m, sizeof(M), 0); - } - void reset_soft_dirty(); void read_pagemap(uint64_t* pagemap, size_t start_page, size_t page_count); @@ -226,7 +213,6 @@ public: void unignore_heap(void *address, size_t size); void ignore_local_variable(const char *var_name, const char *frame_name); - int socket() { return socket_; } std::vector& simix_processes(); std::vector& old_simix_processes(); @@ -238,7 +224,7 @@ private: private: pid_t pid_ = -1; - int socket_ = -1; + Channel channel_; bool running_ = false; std::vector memory_map_; RemotePtr maestro_stack_start_, maestro_stack_end_; @@ -269,9 +255,11 @@ public: // Copies of MCed SMX data structures */ std::vector smx_old_process_infos; +private: /** State of the cache (which variables are up to date) */ - mc_process_cache_flags_t cache_flags = MC_PROCESS_CACHE_FLAG_NONE; + int cache_flags_ = Process::cache_none; +public: /** Address of the heap structure in the MCed process. */ void* heap_address; @@ -295,7 +283,7 @@ public: // Libunwind-data /** Full-featured MC-aware libunwind address space for the process * - * This address space is using a mc_unw_context_t + * This address space is using a simgrid::mc::UnwindContext* * (with simgrid::mc::Process* / simgrid::mc::AddressSpace* * and unw_context_t). */