simgrid::mc::RegionSnapshot privatized_region(
RegionType region_type, void *start_addr, void* permanent_addr, size_t size
)
simgrid::mc::RegionSnapshot privatized_region(
RegionType region_type, void *start_addr, void* permanent_addr, size_t size
)
else if (type == simgrid::mc::RegionType::Heap)
xbt_assert(!object_info, "Unexpected object info for heap region.");
else if (type == simgrid::mc::RegionType::Heap)
xbt_assert(!object_info, "Unexpected object info for heap region.");
if (privatization_aware && MC_smpi_process_count())
region = simgrid::mc::privatized_region(type, start_addr, permanent_addr, size);
else
if (privatization_aware && MC_smpi_process_count())
region = simgrid::mc::privatized_region(type, start_addr, permanent_addr, size);
else
region = simgrid::mc::region(type, start_addr, permanent_addr, size);
region.object_info(object_info);
region = simgrid::mc::region(type, start_addr, permanent_addr, size);
region.object_info(object_info);
// This is (probably) the DIR* we are reading:
// TODO, read all the file entries at once and close the DIR.*
// This is (probably) the DIR* we are reading:
// TODO, read all the file entries at once and close the DIR.*