X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2d2995483b57463581ffdc4365fe1999ddc306c2..84402e8e2ee2a2d0bef25fdceb0a263ed8b471f6:/src/mc/sosp/ChunkedData.cpp diff --git a/src/mc/sosp/ChunkedData.cpp b/src/mc/sosp/ChunkedData.cpp index fcf51797b1..ef35495c2c 100644 --- a/src/mc/sosp/ChunkedData.cpp +++ b/src/mc/sosp/ChunkedData.cpp @@ -1,19 +1,10 @@ -/* Copyright (c) 2007-2018. 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. */ -#include -#include - -#include - -#include "xbt/asserts.h" -#include "xbt/misc.h" - #include "src/mc/AddressSpace.hpp" #include "src/mc/sosp/ChunkedData.hpp" -#include "src/mc/sosp/PageStore.hpp" namespace simgrid { namespace mc { @@ -24,9 +15,9 @@ 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); @@ -43,7 +34,7 @@ ChunkedData::ChunkedData(PageStore& store, AddressSpace& as, RemotePtr add - move the segments in shared memory (this will break `fork` however) */ - as.read_bytes(buffer.data(), xbt_pagesize, page, simgrid::mc::ProcessIndexDisabled); + as.read_bytes(buffer.data(), xbt_pagesize, page); pagenos_[i] = store_->store_page(buffer.data()); }