From 9f9eacbd59910b9bce3a39e41ce1d966f9a60c4c Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Mon, 30 Nov 2020 17:18:13 +0100 Subject: [PATCH] mc_api::get_pattern_comm_addr() is renamed to mc_api::get_comm_isend_raw_addr() --- src/mc/checker/CommunicationDeterminismChecker.cpp | 4 ++-- src/mc/mc_api.cpp | 2 +- src/mc/mc_api.hpp | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp index 241732d2eb..42e0f62613 100644 --- a/src/mc/checker/CommunicationDeterminismChecker.cpp +++ b/src/mc/checker/CommunicationDeterminismChecker.cpp @@ -180,7 +180,7 @@ void CommunicationDeterminismChecker::get_comm_pattern(smx_simcall_t request, Ca if (call_type == CallType::SEND) { /* Create comm pattern */ pattern->type = PatternCommunicationType::send; - pattern->comm_addr = mcapi::get().get_pattern_comm_addr(request); + pattern->comm_addr = mcapi::get().get_comm_isend_raw_addr(request); pattern->rdv = mcapi::get().get_pattern_comm_rdv(pattern->comm_addr); pattern->src_proc = mcapi::get().get_pattern_comm_src_proc(pattern->comm_addr); pattern->src_host = mc_api::get().get_actor_host_name(issuer); @@ -211,7 +211,7 @@ void CommunicationDeterminismChecker::get_comm_pattern(smx_simcall_t request, Ca #endif } else if (call_type == CallType::RECV) { pattern->type = PatternCommunicationType::receive; - pattern->comm_addr = mcapi::get().get_pattern_comm_addr(request); + pattern->comm_addr = mcapi::get().get_comm_isend_raw_addr(request); #if HAVE_SMPI pattern->tag = mcapi::get().get_smpi_request_tag(request, simgrid::simix::Simcall::COMM_IRECV); diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp index dd21bbf9f8..bb70bacf0f 100644 --- a/src/mc/mc_api.cpp +++ b/src/mc/mc_api.cpp @@ -228,7 +228,7 @@ void mc_api::copy_index_comm_pattern(simgrid::mc::State* state) const state->communication_indices_.push_back(list_process_comm.index_comm); } -kernel::activity::CommImpl* mc_api::get_pattern_comm_addr(smx_simcall_t request) const +kernel::activity::CommImpl* mc_api::get_comm_isend_raw_addr(smx_simcall_t request) const { auto comm_addr = simcall_comm_isend__getraw__result(request); return static_cast(comm_addr); diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp index a7ea74f50d..234a59582d 100644 --- a/src/mc/mc_api.hpp +++ b/src/mc/mc_api.hpp @@ -47,7 +47,7 @@ public: // COMMUNICATION APIs void copy_incomplete_comm_pattern(simgrid::mc::State* state) const; void copy_index_comm_pattern(simgrid::mc::State* state) const; - kernel::activity::CommImpl* get_pattern_comm_addr(smx_simcall_t request) const; + kernel::activity::CommImpl* get_comm_isend_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