#include <type_traits>
#include <vector>
#include <memory>
+#include <string>
#include <sys/types.h>
#include "src/mc/mc_forward.hpp"
#include "src/mc/mc_base.h"
+#include "src/mc/RemotePtr.hpp"
#include "src/mc/AddressSpace.hpp"
#include "src/mc/mc_protocol.h"
#include "src/mc/ObjectInformation.hpp"
class SimixProcessInformation {
public:
/** MCed address of the process */
- void* address = nullptr;
+ RemotePtr<s_smx_process_t> address = nullptr;
union {
/** (Flat) Copy of the process data structure */
struct s_smx_process copy;
/** Representation of a process
*
- * This class is mixing a lot of differents responsabilities and is tied
- * to SIMIX. It should probably split into different classes.
+ * This class is mixing a lot of different responsabilities and is tied
+ * to SIMIX. It should probably be split into different classes.
*
* Responsabilities:
*
read_variable(name, &res, sizeof(T));
return res;
}
- char* read_string(RemotePtr<void> address) const;
+ std::string read_string(RemotePtr<void> address) const;
// Write memory:
void write_bytes(const void* buffer, size_t len, RemotePtr<void> address);
running_ = false;
}
- void reset_soft_dirty();
- void read_pagemap(uint64_t* pagemap, size_t start_page, size_t page_count);
-
bool privatized(ObjectInformation const& info) const
{
return privatized_ && info.executable();
std::vector<simgrid::mc::SimixProcessInformation>& simix_processes();
std::vector<simgrid::mc::SimixProcessInformation>& old_simix_processes();
+ /** Get a local description of a remote SIMIX process */
+ simgrid::mc::SimixProcessInformation* resolveProcessInfo(
+ simgrid::mc::RemotePtr<s_smx_process_t> process)
+ {
+ xbt_assert(mc_mode == MC_MODE_SERVER);
+ if (!process)
+ return nullptr;
+ this->refresh_simix();
+ for (auto& process_info : this->smx_process_infos)
+ if (process_info.address == process)
+ return &process_info;
+ for (auto& process_info : this->smx_old_process_infos)
+ if (process_info.address == process)
+ return &process_info;
+ return nullptr;
+ }
+
+ /** Get a local copy of the SIMIX process structure */
+ smx_process_t resolveProcess(simgrid::mc::RemotePtr<s_smx_process_t> process)
+ {
+ simgrid::mc::SimixProcessInformation* process_info =
+ this->resolveProcessInfo(process);
+ if (process_info)
+ return &process_info->copy;
+ else
+ return nullptr;
+ }
+
+ void dumpStack();
+
private:
void init_memory_map_info();
void refresh_heap();
RemotePtr<void> maestro_stack_start_, maestro_stack_end_;
int memory_file = -1;
std::vector<IgnoredRegion> ignored_regions_;
- int clear_refs_fd_ = -1;
- int pagemap_fd_ = -1;
bool privatized_ = false;
std::vector<s_stack_region_t> stack_areas_;
std::vector<IgnoredHeapRegion> ignored_heap_;