X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e25984db80c73093c3e6ecf7cf4034f27e9b026c..2b4c4cf7533ad4a7405c807132943c6139233cb2:/src/mc/mc_snapshot.cpp diff --git a/src/mc/mc_snapshot.cpp b/src/mc/mc_snapshot.cpp index 89122a387e..bfc3d89236 100644 --- a/src/mc/mc_snapshot.cpp +++ b/src/mc/mc_snapshot.cpp @@ -26,10 +26,10 @@ extern "C" { mc_mem_region_t mc_get_snapshot_region( const void* addr, const s_mc_snapshot_t* snapshot, int process_index) { - size_t n = snapshot->snapshot_regions_count; + size_t n = snapshot->snapshot_regions.size(); for (size_t i = 0; i != n; ++i) { - mc_mem_region_t region = snapshot->snapshot_regions[i]; - if (!(region && mc_region_contain(region, addr))) + mc_mem_region_t region = snapshot->snapshot_regions[i].get(); + if (!(region && region->contain(simgrid::mc::remote(addr)))) continue; if (region->storage_type() == simgrid::mc::StorageType::Privatized) { @@ -45,7 +45,7 @@ mc_mem_region_t mc_get_snapshot_region( xbt_die("Invalid process index"); } simgrid::mc::RegionSnapshot& priv_region = region->privatized_data()[process_index]; - xbt_assert(mc_region_contain(&priv_region, addr)); + xbt_assert(priv_region.contain(simgrid::mc::remote(addr))); return &priv_region; #else xbt_die("Privatized region in a non SMPI build (this should not happen)"); @@ -157,30 +157,16 @@ Snapshot::Snapshot() : process(nullptr), num_state(0), heap_bytes_used(0), - snapshot_regions(nullptr), - snapshot_regions_count(0), - enabled_processes(0), + enabled_processes(), privatization_index(0), - stack_sizes(nullptr), - stacks(nullptr), - to_ignore(nullptr), - hash(0), - ignored_data(nullptr), - total_fd(0), - current_fd(nullptr) + hash(0) { } + Snapshot::~Snapshot() { - for (size_t i = 0; i < this->snapshot_regions_count; i++) { - delete this->snapshot_regions[i]; - } - xbt_free(this->snapshot_regions); - xbt_free(this->stack_sizes); - xbt_dynar_free(&(this->stacks)); - xbt_dynar_free(&(this->to_ignore)); - xbt_dynar_free(&this->ignored_data); + } const void* Snapshot::read_bytes(void* buffer, std::size_t size,