#ifndef SIMGRID_MC_PROCESS_H
#define SIMGRID_MC_PROCESS_H
+#include "src/mc/AddressSpace.hpp"
#include "src/mc/inspect/ObjectInformation.hpp"
#include "src/mc/remote/Channel.hpp"
+#include "src/mc/remote/RemotePtr.hpp"
#include "src/xbt/mmalloc/mmprivate.h"
#include <vector>
RemoteClient& operator=(RemoteClient&&) = delete;
// Read memory:
- const void* read_bytes(void* buffer, std::size_t size, RemotePtr<void> address,
- ReadOptions options = ReadOptions::none()) const override;
+ void* read_bytes(void* buffer, std::size_t size, RemotePtr<void> address,
+ ReadOptions options = ReadOptions::none()) const override;
void read_variable(const char* name, void* target, size_t size) const;
template <class T> void read_variable(const char* name, T* target) const
template <class T> Remote<T> read_variable(const char* name) const
{
Remote<T> res;
- read_variable(name, res.getBuffer(), sizeof(T));
+ read_variable(name, res.get_buffer(), sizeof(T));
return res;
}
void clear_cache() { this->cache_flags_ = RemoteClient::cache_none; }
- Channel const& getChannel() const { return channel_; }
- Channel& getChannel() { return channel_; }
+ Channel const& get_channel() const { return channel_; }
+ Channel& get_channel() { return channel_; }
std::vector<IgnoredRegion> const& ignored_regions() const { return ignored_regions_; }
void ignore_region(std::uint64_t address, std::size_t size);
std::vector<simgrid::mc::ActorInformation>& dead_actors();
/** Get a local description of a remote SIMIX actor */
- simgrid::mc::ActorInformation* resolveActorInfo(simgrid::mc::RemotePtr<simgrid::kernel::actor::ActorImpl> actor)
+ simgrid::mc::ActorInformation* resolve_actor_info(simgrid::mc::RemotePtr<simgrid::kernel::actor::ActorImpl> actor)
{
xbt_assert(mc_model_checker != nullptr);
if (not actor)
}
/** Get a local copy of the SIMIX actor structure */
- simgrid::kernel::actor::ActorImpl* resolveActor(simgrid::mc::RemotePtr<simgrid::kernel::actor::ActorImpl> process)
+ simgrid::kernel::actor::ActorImpl* resolve_actor(simgrid::mc::RemotePtr<simgrid::kernel::actor::ActorImpl> process)
{
- simgrid::mc::ActorInformation* actor_info = this->resolveActorInfo(process);
+ simgrid::mc::ActorInformation* actor_info = this->resolve_actor_info(process);
if (actor_info)
- return actor_info->copy.getBuffer();
+ return actor_info->copy.get_buffer();
else
return nullptr;
}
- void dumpStack();
+ void dump_stack();
private:
void init_memory_map_info();