A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
mc: create RegionSparse, RegionDense and RegionPrivatized (WIP)
[simgrid.git]
/
src
/
mc
/
sosp
/
mc_snapshot.cpp
diff --git
a/src/mc/sosp/mc_snapshot.cpp
b/src/mc/sosp/mc_snapshot.cpp
index
4b58752
..
e8d20cf
100644
(file)
--- a/
src/mc/sosp/mc_snapshot.cpp
+++ b/
src/mc/sosp/mc_snapshot.cpp
@@
-118,17
+118,17
@@
void Snapshot::add_region(RegionType type, ObjectInformation* object_info, void*
else if (type == simgrid::mc::RegionType::Heap)
xbt_assert(not object_info, "Unexpected object info for heap region.");
else if (type == simgrid::mc::RegionType::Heap)
xbt_assert(not object_info, "Unexpected object info for heap region.");
- simgrid::mc::RegionSnapshot region;
+ simgrid::mc::RegionSnapshot
*
region;
#if HAVE_SMPI
const bool privatization_aware = object_info && mc_model_checker->process().privatized(*object_info);
if (privatization_aware && MC_smpi_process_count())
#if HAVE_SMPI
const bool privatization_aware = object_info && mc_model_checker->process().privatized(*object_info);
if (privatization_aware && MC_smpi_process_count())
- region =
simgrid::mc::privatized_region
(type, start_addr, permanent_addr, size);
+ region =
new RegionPrivatized
(type, start_addr, permanent_addr, size);
else
#endif
region = simgrid::mc::region(type, start_addr, permanent_addr, size);
else
#endif
region = simgrid::mc::region(type, start_addr, permanent_addr, size);
- region
.
object_info(object_info);
- snapshot_regions_.push_back(std::unique_ptr<simgrid::mc::RegionSnapshot>(
new RegionSnapshot(std::move(region)
)));
+ region
->
object_info(object_info);
+ snapshot_regions_.push_back(std::unique_ptr<simgrid::mc::RegionSnapshot>(
std::move(region
)));
}
const void* Snapshot::read_bytes(void* buffer, std::size_t size, RemotePtr<void> address, int process_index,
}
const void* Snapshot::read_bytes(void* buffer, std::size_t size, RemotePtr<void> address, int process_index,