* - stack unwinding;
* - etc.
*/
-class RemoteSimulation final : public AddressSpace {
+class RemoteProcess final : public AddressSpace {
private:
// Those flags are used to track down which cached information
// is still up to date and which information needs to be updated.
static constexpr int cache_simix_processes = 4;
public:
- explicit RemoteSimulation(pid_t pid);
- ~RemoteSimulation() override;
+ explicit RemoteProcess(pid_t pid);
+ ~RemoteProcess() override;
void init();
- RemoteSimulation(RemoteSimulation const&) = delete;
- RemoteSimulation(RemoteSimulation&&) = delete;
- RemoteSimulation& operator=(RemoteSimulation const&) = delete;
- RemoteSimulation& operator=(RemoteSimulation&&) = delete;
+ RemoteProcess(RemoteProcess const&) = delete;
+ RemoteProcess(RemoteProcess&&) = delete;
+ RemoteProcess& operator=(RemoteProcess const&) = delete;
+ RemoteProcess& operator=(RemoteProcess&&) = delete;
// Read memory:
void* read_bytes(void* buffer, std::size_t size, RemotePtr<void> address,
// Heap access:
xbt_mheap_t get_heap()
{
- if (not(this->cache_flags_ & RemoteSimulation::cache_heap))
+ if (not(this->cache_flags_ & RemoteProcess::cache_heap))
this->refresh_heap();
return this->heap.get();
}
const malloc_info* get_malloc_info()
{
- if (not(this->cache_flags_ & RemoteSimulation::cache_malloc))
+ if (not(this->cache_flags_ & RemoteProcess::cache_malloc))
this->refresh_malloc_info();
return this->heap_info.data();
}
- void clear_cache() { this->cache_flags_ = RemoteSimulation::cache_none; }
+ void clear_cache() { this->cache_flags_ = RemoteProcess::cache_none; }
std::vector<IgnoredRegion> const& ignored_regions() const { return ignored_regions_; }
void ignore_region(std::uint64_t address, std::size_t size);
private:
/** State of the cache (which variables are up to date) */
- int cache_flags_ = RemoteSimulation::cache_none;
+ int cache_flags_ = RemoteProcess::cache_none;
public:
/** Address of the heap structure in the MCed process. */