-/* Copyright (c) 2019-2022. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2019-2023. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#include "simgrid/s4u/Host.hpp"
#include "src/kernel/activity/CommImpl.hpp"
#include "src/kernel/activity/MailboxImpl.hpp"
+#include "src/kernel/activity/MessageQueueImpl.hpp"
#include "src/kernel/actor/ActorImpl.hpp"
#include "src/kernel/actor/SimcallObserver.hpp"
#include "src/mc/mc_config.hpp"
namespace simgrid::kernel::actor {
-ActivityTestanySimcall::ActivityTestanySimcall(ActorImpl* actor, const std::vector<activity::ActivityImpl*>& activities)
- : ResultingSimcall(actor, -1), activities_(activities)
-{
-}
-
-int ActivityTestanySimcall::get_max_consider()
+ActivityTestanySimcall::ActivityTestanySimcall(ActorImpl* actor, const std::vector<activity::ActivityImpl*>& activities,
+ std::string_view fun_call)
+ : ResultingSimcall(actor, -1), activities_(activities), fun_call_(fun_call)
{
indexes_.clear();
// list all the activities that are ready
for (unsigned i = 0; i < activities_.size(); i++)
if (activities_[i]->test(get_issuer()))
indexes_.push_back(i);
+}
+
+int ActivityTestanySimcall::get_max_consider() const
+{
return indexes_.size() + 1;
}
else
next_value_ = -1;
}
-static void serialize_activity_test(const activity::ActivityImpl* act, std::stringstream& stream)
+static void serialize_activity_test(const activity::ActivityImpl* act, std::string const& call_location,
+ std::stringstream& stream)
{
- if (auto* comm = dynamic_cast<activity::CommImpl const*>(act)) {
+ if (
const auto* comm = dynamic_cast<activity::CommImpl const*>(act)) {
stream << " " << (short)mc::Transition::Type::COMM_TEST;
- stream << ' ' << (uintptr_t)comm;
+ stream << ' ' << comm->get_id();
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_;
+ stream << ' ' << call_location;
} else {
stream << (short)mc::Transition::Type::UNKNOWN;
+ XBT_CRITICAL("Unknown transition in a test any. Bad things may happen");
+ }
+}
+static std::string to_string_activity_test(const activity::ActivityImpl* act)
+{
+ if (const auto* comm = dynamic_cast<activity::CommImpl const*>(act)) {
+ 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()) + ")";
+ } else {
+ return "TestUnknownType()";
}
}
void ActivityTestanySimcall::serialize(std::stringstream& stream) const
{
+ XBT_DEBUG("Serialize %s", to_string().c_str());
stream << (short)mc::Transition::Type::TESTANY << ' ' << activities_.size() << ' ';
- for (auto const& act : activities_) {
- serialize_activity_test(act, stream);
+ for (auto const* act : activities_) {
+ // fun_call of each activity embedded in the TestAny is not known, so let's use the location of the TestAny itself
+ serialize_activity_test(act, fun_call_, stream);
stream << ' ';
}
+ stream << fun_call_;
}
+std::string ActivityTestanySimcall::to_string() const
+{
+ std::stringstream buffer("TestAny(");
+ bool first = true;
+ for (auto const* act : activities_) {
+ if (first)
+ first = false;
+ else
+ buffer << " | ";
+ buffer << to_string_activity_test(act);
+ }
+ buffer << ")";
+ return buffer.str();
+}
+
void ActivityTestSimcall::serialize(std::stringstream& stream) const
{
- serialize_activity_test(activity_, stream);
+ serialize_activity_test(activity_, fun_call_, stream);
}
-static void serialize_activity_wait(const activity::ActivityImpl* act, bool timeout, std::stringstream& stream)
+std::string ActivityTestSimcall::to_string() const
{
- if (auto* comm = dynamic_cast<activity::CommImpl const*>(act)) {
+ return to_string_activity_test(activity_);
+}
+static void serialize_activity_wait(const activity::ActivityImpl* act, bool timeout, std::string const& call_location,
+ std::stringstream& stream)
+{
+ if (const auto* comm = dynamic_cast<activity::CommImpl const*>(act)) {
stream << (short)mc::Transition::Type::COMM_WAIT << ' ';
- stream << timeout << ' ' << (uintptr_t)comm;
+ stream << timeout << ' ' << comm->get_id();
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_;
+ stream << ' ' << call_location;
} else {
stream << (short)mc::Transition::Type::UNKNOWN;
}
}
+static std::string to_string_activity_wait(const activity::ActivityImpl* act)
+{
+ if (const auto* comm = dynamic_cast<activity::CommImpl const*>(act)) {
+ 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()) + "))";
+ } else {
+ return "WaitUnknownType()";
+ }
+}
void ActivityWaitSimcall::serialize(std::stringstream& stream) const
{
- serialize_activity_wait(activity_, timeout_ > 0, stream);
+ serialize_activity_wait(activity_, timeout_ > 0, fun_call_, stream);
}
void ActivityWaitanySimcall::serialize(std::stringstream& stream) const
{
+ XBT_DEBUG("Serialize %s", to_string().c_str());
stream << (short)mc::Transition::Type::WAITANY << ' ' << activities_.size() << ' ';
- for (auto const& act : activities_) {
- serialize_activity_wait(act, timeout_ > 0, stream);
+ for (auto const* act : activities_) {
+ // fun_call of each activity embedded in the WaitAny is not known, so let's use the location of the WaitAny itself
+ serialize_activity_wait(act, timeout_ > 0, fun_call_, stream);
stream << ' ';
}
+ stream << fun_call_;
+}
+std::string ActivityWaitSimcall::to_string() const
+{
+ return to_string_activity_wait(activity_);
+}
+std::string ActivityWaitanySimcall::to_string() const
+{
+ std::stringstream buffer("WaitAny(");
+ bool first = true;
+ for (auto const* act : activities_) {
+ if (first)
+ first = false;
+ else
+ buffer << " | ";
+ buffer << to_string_activity_test(act);
+ }
+ buffer << ")";
+ return buffer.str();
}
ActivityWaitanySimcall::ActivityWaitanySimcall(ActorImpl* actor, const std::vector<activity::ActivityImpl*>& activities,
- double timeout)
- : ResultingSimcall(actor, -1), activities_(activities), timeout_(timeout)
+ double timeout, std::string_view fun_call)
+ : ResultingSimcall(actor, -1), activities_(activities), timeout_(timeout), fun_call_(fun_call)
{
+ // list all the activities that are ready
+ indexes_.clear();
+ for (unsigned i = 0; i < activities_.size(); i++)
+ if (activities_[i]->test(get_issuer()))
+ indexes_.push_back(i);
}
bool ActivityWaitSimcall::is_enabled()
return not indexes_.empty();
}
-int ActivityWaitanySimcall::get_max_consider()
+int ActivityWaitanySimcall::get_max_consider() const
{
- // list all the activities that are ready
- indexes_.clear();
- for (unsigned i = 0; i < activities_.size(); i++)
- if (activities_[i]->test(get_issuer()))
- indexes_.push_back(i);
-
int res = indexes_.size();
// if (_sg_mc_timeout && timeout_)
// res++;
void CommIsendSimcall::serialize(std::stringstream& stream) const
{
- stream << (short)mc::Transition::Type::COMM_SEND << ' ';
- stream << (uintptr_t)comm_ << ' ' << 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_);
+ /* 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() << ' ' << 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_ ? comm_->get_id() : 0) +
+ " mbox:" + std::to_string(mbox_->get_id()) + " tag: " + std::to_string(tag_) + ")";
}
void CommIrecvSimcall::serialize(std::stringstream& stream) const
{
- stream << (short)mc::Transition::Type::COMM_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_);
+ /* 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() << ' ' << 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_ ? comm_->get_id() : 0) +
+ " mbox:" + std::to_string(mbox_->get_id()) + " tag: " + std::to_string(tag_) + ")";
+}
+
+void MessIputSimcall::serialize(std::stringstream& stream) const
+{
+ stream << mess_ << ' ' << queue_;
+ XBT_DEBUG("PutObserver mess:%p queue:%p", mess_, queue_);
+}
+
+std::string MessIputSimcall::to_string() const
+{
+ return "MessAsyncPut(queue:" + queue_->get_name() + ")";
+}
+
+void MessIgetSimcall::serialize(std::stringstream& stream) const
+{
+ stream << mess_ << ' ' << queue_;
+ XBT_DEBUG("GettObserver mess:%p queue:%p", mess_, queue_);
+}
+
+std::string MessIgetSimcall::to_string() const
+{
+ return "MessAsyncGet(queue:" + queue_->get_name() + ")";
+}
+
+
+
} // namespace simgrid::kernel::actor
