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: Further renamings
[simgrid.git]
/
src
/
mc
/
sosp
/
Region.cpp
diff --git
a/src/mc/sosp/Region.cpp
b/src/mc/sosp/Region.cpp
index
dd9541e
..
a770cd3
100644
(file)
--- a/
src/mc/sosp/Region.cpp
+++ b/
src/mc/sosp/Region.cpp
@@
-24,8
+24,8
@@
Region::Region(RegionType region_type, void* start_addr, size_t size)
{
xbt_assert((((uintptr_t)start_addr) & (xbt_pagesize - 1)) == 0, "Start address not at the beginning of a page");
- chunks_ = ChunkedData(mc_model_checker->page_store(), mc_model_checker->
process(), RemotePtr<void>(start_addr
),
- mmu::chunk_count(size));
+ chunks_ = ChunkedData(mc_model_checker->page_store(), mc_model_checker->
get_remote_simulation(
),
+
RemotePtr<void>(start_addr),
mmu::chunk_count(size));
}
/** @brief Restore a region from a snapshot
@@
-40,7
+40,7
@@
void Region::restore()
for (size_t i = 0; i != get_chunks().page_count(); ++i) {
void* target_page = (void*)simgrid::mc::mmu::join(i, (std::uintptr_t)(void*)start().address());
const void* source_page = get_chunks().page(i);
- mc_model_checker->
process
().write_bytes(source_page, xbt_pagesize, remote(target_page));
+ mc_model_checker->
get_remote_simulation
().write_bytes(source_page, xbt_pagesize, remote(target_page));
}
}