A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Move handle_message from ModelChecker to RemoteProcessMemory
[simgrid.git]
/
src
/
mc
/
sosp
/
RemoteProcessMemory.hpp
diff --git
a/src/mc/sosp/RemoteProcessMemory.hpp
b/src/mc/sosp/RemoteProcessMemory.hpp
index
51e477d
..
b0eaeb6
100644
(file)
--- a/
src/mc/sosp/RemoteProcessMemory.hpp
+++ b/
src/mc/sosp/RemoteProcessMemory.hpp
@@
-59,6
+59,12
@@
public:
RemoteProcessMemory& operator=(RemoteProcessMemory const&) = delete;
RemoteProcessMemory& operator=(RemoteProcessMemory&&) = delete;
RemoteProcessMemory& operator=(RemoteProcessMemory const&) = delete;
RemoteProcessMemory& operator=(RemoteProcessMemory&&) = delete;
+ pid_t pid() const { return pid_; }
+ bool running() const { return running_; }
+ void terminate() { running_ = false; }
+ void handle_waitpid();
+ bool handle_message(const char* buffer, ssize_t size);
+
/* ************* */
/* Low-level API */
/* ************* */
/* ************* */
/* Low-level API */
/* ************* */
@@
-114,17
+120,11
@@
public:
std::vector<IgnoredRegion> const& ignored_regions() const { return ignored_regions_; }
void ignore_region(std::uint64_t address, std::size_t size);
std::vector<IgnoredRegion> const& ignored_regions() const { return ignored_regions_; }
void ignore_region(std::uint64_t address, std::size_t size);
- pid_t pid() const { return pid_; }
-
bool in_maestro_stack(RemotePtr<void> p) const
{
return p >= this->maestro_stack_start_ && p < this->maestro_stack_end_;
}
bool in_maestro_stack(RemotePtr<void> p) const
{
return p >= this->maestro_stack_start_ && p < this->maestro_stack_end_;
}
- bool running() const { return running_; }
-
- void terminate() { running_ = false; }
-
void ignore_global_variable(const char* name) const
{
for (std::shared_ptr<ObjectInformation> const& info : this->object_infos)
void ignore_global_variable(const char* name) const
{
for (std::shared_ptr<ObjectInformation> const& info : this->object_infos)