X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4306c7bae7bd9715eb3d691677c0106f80801f15..989e6d7e4cb105760aff9acce9ac2d26de2f793d:/src/kernel/actor/CommObserver.cpp diff --git a/src/kernel/actor/CommObserver.cpp b/src/kernel/actor/CommObserver.cpp index 2c0d55d172..5022bdaae3 100644 --- a/src/kernel/actor/CommObserver.cpp +++ b/src/kernel/actor/CommObserver.cpp @@ -47,7 +47,6 @@ static void serialize_activity_test(const activity::ActivityImpl* act, std::stri stream << ' ' << (comm->src_actor_ != nullptr ? comm->src_actor_->get_pid() : -1); stream << ' ' << (comm->dst_actor_ != nullptr ? comm->dst_actor_->get_pid() : -1); stream << ' ' << comm->get_mailbox_id(); - stream << ' ' << (uintptr_t)comm->src_buff_ << ' ' << (uintptr_t)comm->dst_buff_ << ' ' << comm->src_buff_size_; } else { stream << (short)mc::Transition::Type::UNKNOWN; XBT_CRITICAL("Unknown transition in a test any. Bad things may happen"); @@ -56,13 +55,10 @@ static void serialize_activity_test(const activity::ActivityImpl* act, std::stri static std::string to_string_activity_test(const activity::ActivityImpl* act) { if (const auto* comm = dynamic_cast(act)) { - const std::string src_buff_id = ptr_to_id(comm->src_buff_); - const std::string dst_buff_id = ptr_to_id(comm->dst_buff_); return "CommTest(comm_id:" + std::to_string(comm->get_id()) + " src:" + std::to_string(comm->src_actor_ != nullptr ? comm->src_actor_->get_pid() : -1) + " dst:" + std::to_string(comm->dst_actor_ != nullptr ? comm->dst_actor_->get_pid() : -1) + - " mbox:" + std::to_string(comm->get_mailbox_id()) + " srcbuf:" + src_buff_id + " dstbuf:" + dst_buff_id + - " bufsize:" + std::to_string(comm->src_buff_size_); + " mbox:" + std::to_string(comm->get_mailbox_id()); } else { return "TestUnknownType()"; } @@ -103,7 +99,6 @@ static void serialize_activity_wait(const activity::ActivityImpl* act, bool time stream << ' ' << (comm->src_actor_ != nullptr ? comm->src_actor_->get_pid() : -1); stream << ' ' << (comm->dst_actor_ != nullptr ? comm->dst_actor_->get_pid() : -1); stream << ' ' << comm->get_mailbox_id(); - stream << ' ' << (uintptr_t)comm->src_buff_ << ' ' << (uintptr_t)comm->dst_buff_ << ' ' << comm->src_buff_size_; } else { stream << (short)mc::Transition::Type::UNKNOWN; } @@ -111,14 +106,11 @@ static void serialize_activity_wait(const activity::ActivityImpl* act, bool time static std::string to_string_activity_wait(const activity::ActivityImpl* act) { if (const auto* comm = dynamic_cast(act)) { - const std::string src_buff_id = ptr_to_id(comm->src_buff_); - const std::string dst_buff_id = ptr_to_id(comm->dst_buff_); return "CommWait(comm_id:" + std::to_string(comm->get_id()) + " src:" + std::to_string(comm->src_actor_ != nullptr ? comm->src_actor_->get_pid() : -1) + " dst:" + std::to_string(comm->dst_actor_ != nullptr ? comm->dst_actor_->get_pid() : -1) + " mbox:" + (comm->get_mailbox() == nullptr ? "-" : comm->get_mailbox()->get_name()) + - "(id:" + std::to_string(comm->get_mailbox_id()) + ") srcbuf:" + src_buff_id + " dstbuf:" + dst_buff_id + - " bufsize:" + std::to_string(comm->src_buff_size_) + ")"; + "(id:" + std::to_string(comm->get_mailbox_id()) + "))"; } else { return "WaitUnknownType()"; } @@ -205,16 +197,13 @@ 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 << (comm_ ? comm_->get_id() : 0) << ' ' << mbox_->get_id() << ' ' << (uintptr_t)src_buff_ << ' ' - << src_buff_size_ << ' ' << tag_; - XBT_DEBUG("SendObserver comm:%p mbox:%u buff:%p size:%zu tag:%d", comm_, mbox_->get_id(), src_buff_, src_buff_size_, - tag_); + stream << (comm_ ? comm_->get_id() : 0) << ' ' << mbox_->get_id() << ' ' << tag_; + XBT_DEBUG("SendObserver comm:%p mbox:%u tag:%d", comm_, mbox_->get_id(), tag_); stream << ' ' << fun_call_; } std::string CommIsendSimcall::to_string() const { return "CommAsyncSend(comm_id: " + std::to_string(comm_->get_id()) + " mbox:" + std::to_string(mbox_->get_id()) + - " srcbuf:" + ptr_to_id(src_buff_) + " bufsize:" + std::to_string(src_buff_size_) + " tag: " + std::to_string(tag_) + ")"; } @@ -222,14 +211,14 @@ 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 << (comm_ ? comm_->get_id() : 0) << ' ' << 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_); + stream << (comm_ ? comm_->get_id() : 0) << ' ' << mbox_->get_id() << ' ' << tag_; + XBT_DEBUG("RecvObserver comm:%p mbox:%u tag:%d", comm_, mbox_->get_id(), tag_); stream << ' ' << fun_call_; } std::string CommIrecvSimcall::to_string() const { return "CommAsyncRecv(comm_id: " + std::to_string(comm_->get_id()) + " mbox:" + std::to_string(mbox_->get_id()) + - " dstbuf:" + ptr_to_id(dst_buff_) + " tag: " + std::to_string(tag_) + ")"; + " tag: " + std::to_string(tag_) + ")"; } } // namespace simgrid::kernel::actor