X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c587485ee2aae6b2c54ed80656cbdc4e3ba8d157..4b0fa756ae6e58a74c374a519389ecb9e8b6a4d9:/src/mc/sosp/ChunkedData.cpp diff --git a/src/mc/sosp/ChunkedData.cpp b/src/mc/sosp/ChunkedData.cpp index 14796c4120..f93c4e2e07 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-2020. 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. */ @@ -15,14 +15,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) { 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");