From 8c8d5f9b6ca9908e8fd559ae55fdec9a13ce15cd Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 8 Feb 2023 12:31:33 +0100 Subject: [PATCH] Implement ConditionWaitSimcall::to_string(). Fix crash e.g. when running s4u-synchro-condition-variable-waituntil --log=ker_actor.thres:debug --- src/kernel/actor/SimcallObserver.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/kernel/actor/SimcallObserver.cpp b/src/kernel/actor/SimcallObserver.cpp index 24a2192646..2d2cf8827e 100644 --- a/src/kernel/actor/SimcallObserver.cpp +++ b/src/kernel/actor/SimcallObserver.cpp @@ -7,6 +7,7 @@ #include "simgrid/s4u/Host.hpp" #include "src/kernel/activity/CommImpl.hpp" #include "src/kernel/activity/MailboxImpl.hpp" +#include "src/kernel/activity/MutexImpl.hpp" #include "src/kernel/actor/ActorImpl.hpp" #include "src/mc/mc_config.hpp" @@ -51,7 +52,8 @@ void ConditionWaitSimcall::serialize(std::stringstream& stream) const } std::string ConditionWaitSimcall::to_string() const { - THROW_UNIMPLEMENTED; + return "ConditionWait(cond_id:" + ptr_to_id(get_cond()) + + " mutex_id:" + std::to_string(get_mutex()->get_id()) + ")"; } ActorJoinSimcall::ActorJoinSimcall(ActorImpl* actor, ActorImpl* other, double timeout) -- 2.20.1