X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/cdf6a962eb4e88efbed3df9c41343adabcf09e6c..28b9e83a90c238b71d27f5cb3c6596906a3d4641:/src/mc/sosp/ChunkedData.cpp diff --git a/src/mc/sosp/ChunkedData.cpp b/src/mc/sosp/ChunkedData.cpp index 808fc60501..75c53416d4 100644 --- a/src/mc/sosp/ChunkedData.cpp +++ b/src/mc/sosp/ChunkedData.cpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2007-2019. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2007-2023. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -6,8 +6,7 @@ #include "src/mc/AddressSpace.hpp" #include "src/mc/sosp/ChunkedData.hpp" -namespace simgrid { -namespace mc { +namespace simgrid::mc { /** Take a per-page snapshot of a region * @@ -15,14 +14,13 @@ namespace mc { * @param page_count Number of pages of the region * @return Snapshot page numbers of this new snapshot */ -ChunkedData::ChunkedData(PageStore& store, AddressSpace& as, RemotePtr addr, std::size_t page_count) +ChunkedData::ChunkedData(PageStore& store, const AddressSpace& as, RemotePtr addr, std::size_t page_count) + : store_(&store) { - store_ = &store; this->pagenos_.resize(page_count); std::vector buffer(xbt_pagesize); for (size_t i = 0; i != page_count; ++i) { - RemotePtr page = remote((void*)simgrid::mc::mmu::join(i, addr.address())); xbt_assert(simgrid::mc::mmu::split(page.address()).second == 0, "Not at the beginning of a page"); @@ -40,5 +38,4 @@ ChunkedData::ChunkedData(PageStore& store, AddressSpace& as, RemotePtr add } } -} // namespace mc -} // namespace simgrid +} // namespace simgrid::mc