-RegionDense::RegionDense(RegionType region_type, void* start_addr, void* permanent_addr, size_t size)
- : RegionSnapshot(region_type, start_addr, permanent_addr, size)
-{
- flat_data_ = Buffer::malloc(size);
-
- mc_model_checker->process().read_bytes(flat_data_.get(), size, remote(permanent_addr),
- simgrid::mc::ProcessIndexDisabled);
-
- storage_type_ = StorageType::Flat;
- page_numbers_.clear();
- privatized_regions_.clear();
-
- XBT_DEBUG("New region : type : %s, data : %p (real addr %p), size : %zu",
- (region_type == RegionType::Heap ? "Heap" : (region_type == RegionType::Data ? "Data" : "?")),
- flat_data().get(), permanent_addr, size);
-}
-