#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/kernel/actor/SimcallObserver.hpp"
#include "src/mc/mc_config.hpp"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(obs_comm, mc_observer, "Logging specific to the Communication simcalls observation");
-namespace simgrid {
-namespace kernel {
-namespace actor {
+namespace simgrid::kernel::actor {
ActivityTestanySimcall::ActivityTestanySimcall(ActorImpl* actor, const std::vector<activity::ActivityImpl*>& activities)
: ResultingSimcall(actor, -1), activities_(activities)
-{
-}
-
-int ActivityTestanySimcall::get_max_consider()
{
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;
}
double timeout)
: ResultingSimcall(actor, -1), activities_(activities), timeout_(timeout)
{
+ // 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 << (short)mc::Transition::Type::COMM_ASYNC_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_,
void CommIrecvSimcall::serialize(std::stringstream& stream) const
{
- stream << (short)mc::Transition::Type::COMM_RECV << ' ';
+ 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_);
}
-} // namespace actor
-} // namespace kernel
-} // namespace simgrid
+} // namespace simgrid::kernel::actor