From 0b656c2db4d226ca5a7caea8538a3cb97e809429 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 29 Mar 2023 10:00:25 +0200 Subject: [PATCH] Add a small implementation note in MC --- src/kernel/actor/CommObserver.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/kernel/actor/CommObserver.cpp b/src/kernel/actor/CommObserver.cpp index f3e4600d0d..84c317e1c4 100644 --- a/src/kernel/actor/CommObserver.cpp +++ b/src/kernel/actor/CommObserver.cpp @@ -197,6 +197,7 @@ void ActivityWaitanySimcall::prepare(int times_considered) void CommIsendSimcall::serialize(std::stringstream& stream) const { + /* Note that the comm_ is 0 until after the execution of the simcall */ stream << (short)mc::Transition::Type::COMM_ASYNC_SEND << ' '; stream << (uintptr_t)comm_ << ' ' << mbox_->get_id() << ' ' << (uintptr_t)src_buff_ << ' ' << src_buff_size_ << ' ' << tag_; @@ -212,6 +213,7 @@ std::string CommIsendSimcall::to_string() const void CommIrecvSimcall::serialize(std::stringstream& stream) const { + /* Note that the comm_ is 0 until after the execution of the simcall */ stream << (short)mc::Transition::Type::COMM_ASYNC_RECV << ' '; stream << (uintptr_t)comm_ << ' ' << mbox_->get_id() << ' ' << (uintptr_t)dst_buff_ << ' ' << tag_; XBT_DEBUG("RecvObserver comm:%p mbox:%u buff:%p tag:%d", comm_, mbox_->get_id(), dst_buff_, tag_); -- 2.20.1