X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f754aabeea56ded8bc234a5ffc7dda03428d6b88..61ab70f5ec5869d57fb0712101280e304d38dcbc:/src/mc/AddressSpace.hpp diff --git a/src/mc/AddressSpace.hpp b/src/mc/AddressSpace.hpp index 18969aaa0a..2fc18eab35 100644 --- a/src/mc/AddressSpace.hpp +++ b/src/mc/AddressSpace.hpp @@ -13,6 +13,9 @@ #include #include +#include +#include + #include "src/mc/mc_forward.hpp" #include "src/mc/RemotePtr.hpp" @@ -21,7 +24,7 @@ namespace mc { /** Process index used when no process is available * - * The expected behaviour is that if a process index is needed it will fail. + * The expected behavior is that if a process index is needed it will fail. * */ const int ProcessIndexMissing = -1; @@ -92,49 +95,6 @@ public: static constexpr ReadOptions lazy() { return ReadOptions(1); } }; -/** A value from another process - * - * This represents a value from another process: - * - * * constructor/destructor are disabled; - * - * * raw memory copy (std::memcpy) is used to copy Remote; - * - * * raw memory comparison is used to compare them; - * - * * when T is a trivial type, Remote is convertible to a T. - * - * We currently only handle the case where the type has the same layout - * in the current process and in the target process: we don't handle - * cross-architecture (such as 32-bit/64-bit access). - */ -template -class Remote { -private: - // If we use a union, it won't work with abstract types: - char buffer[sizeof(T)]; -public: - // HACK, some code currently cast this to T* which is **not** legal. - void* data() { return buffer; } - const void* data() const { return buffer; } - constexpr std::size_t size() const { return sizeof(T); } - operator T() const { - static_assert(std::is_trivial::value, "Cannot convert non trivial type"); - T res; - std::memcpy(&res, buffer, sizeof(T)); - return res; - } - Remote() {} - Remote(T const& x) - { - std::memcpy(&x, buffer, sizeof(T)); - } - Remote& operator=(T const& x) - { - std::memcpy(&x, buffer, sizeof(T)); - } -}; - /** A given state of a given process (abstract base class) * * Currently, this might either be: @@ -166,25 +126,35 @@ public: /** Read a given data structure from the address space */ template inline - void read(T *buffer, RemotePtr ptr, int process_index = ProcessIndexAny) + void read(T *buffer, RemotePtr ptr, int process_index = ProcessIndexAny) const { this->read_bytes(buffer, sizeof(T), ptr, process_index); } template inline - void read(Remote& buffer, RemotePtr ptr, int process_index = ProcessIndexAny) + void read(Remote& buffer, RemotePtr ptr, int process_index = ProcessIndexAny) const { - this->read_bytes(buffer.data(), sizeof(T), ptr, process_index); + this->read_bytes(buffer.getBuffer(), sizeof(T), ptr, process_index); } /** Read a given data structure from the address space */ template inline - Remote read(RemotePtr ptr, int process_index = ProcessIndexMissing) + Remote read(RemotePtr ptr, int process_index = ProcessIndexMissing) const { Remote res; this->read_bytes(&res, sizeof(T), ptr, process_index); return res; } + + std::string read_string(RemotePtr address, std::size_t len) const + { + // TODO, use std::vector with .data() in C++17 to avoid useless copies + std::vector buffer(len); + buffer[len] = '\0'; + this->read_bytes(buffer.data(), len, address); + return std::string(buffer.data(), buffer.size()); + } + }; }