From b5a8516245b708fe2e96453136c7337bbfa79d3f Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Mon, 30 Nov 2020 17:22:12 +0100 Subject: [PATCH] mc_api::get_comm_wait_raw_addr() defined --- src/mc/mc_api.cpp | 5 +++++ src/mc/mc_api.hpp | 1 + 2 files changed, 6 insertions(+) diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp index bb70bacf0f..918c8be27b 100644 --- a/src/mc/mc_api.cpp +++ b/src/mc/mc_api.cpp @@ -234,6 +234,11 @@ kernel::activity::CommImpl* mc_api::get_comm_isend_raw_addr(smx_simcall_t reques return static_cast(comm_addr); } +simgrid::mc::RemotePtr mc_api::get_comm_wait_raw_addr(smx_simcall_t request) const +{ + return remote(simcall_comm_wait__getraw__comm(request)); +} + std::string mc_api::get_pattern_comm_rdv(void* addr) const { Remote temp_synchro; diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp index 234a59582d..e08c10f8c5 100644 --- a/src/mc/mc_api.hpp +++ b/src/mc/mc_api.hpp @@ -48,6 +48,7 @@ public: void copy_incomplete_comm_pattern(simgrid::mc::State* state) const; void copy_index_comm_pattern(simgrid::mc::State* state) const; kernel::activity::CommImpl* get_comm_isend_raw_addr(smx_simcall_t request) const; + simgrid::mc::RemotePtr get_comm_wait_raw_addr(smx_simcall_t request) const; std::string get_pattern_comm_rdv(void* addr) const; unsigned long get_pattern_comm_src_proc(void* addr) const; unsigned long get_pattern_comm_dst_proc(void* addr) const; -- 2.20.1