#include "simgrid_config.h"
#include <sys/types.h>
+#include <xbt/base.h>
#include <xbt/mmalloc.h>
#ifdef HAVE_MC
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);
+
private:
void init_memory_map_info();
void refresh_heap();
remote_ptr<void> maestro_stack_start_, maestro_stack_end_;
int memory_file;
std::vector<IgnoredRegion> ignored_regions_;
-
+ int clear_refs_fd_;
+ int pagemap_fd_;
public: // object info
// TODO, make private (first, objectify simgrid::mc::ObjectInformation*)
std::vector<std::shared_ptr<simgrid::mc::ObjectInformation>> object_infos;
/** Open a FD to a remote process memory (`/dev/$pid/mem`)
*/
-int open_vm(pid_t pid, int flags);
+XBT_PRIVATE int open_vm(pid_t pid, int flags);
}
}
SG_BEGIN_DECL()
-XBT_INTERNAL void MC_invalidate_cache(void);
+XBT_PRIVATE void MC_invalidate_cache(void);
SG_END_DECL()