X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b6de662880769ad2cb4c13545bf9a7ceade5ede4..b1a51bf03db0f4d86f3e89016affd30f091bd8db:/src/kernel/activity/MailboxImpl.cpp diff --git a/src/kernel/activity/MailboxImpl.cpp b/src/kernel/activity/MailboxImpl.cpp index 3137c62f3e..04036397c0 100644 --- a/src/kernel/activity/MailboxImpl.cpp +++ b/src/kernel/activity/MailboxImpl.cpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2007-2019. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2007-2021. 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. */ @@ -10,15 +10,6 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_mailbox, simix, "Mailbox implementation"); -static std::unordered_map mailboxes; - -void SIMIX_mailbox_exit() -{ - for (auto const& elm : mailboxes) - delete elm.second; - mailboxes.clear(); -} - /******************************************************************************/ /* Rendez-Vous Points */ /******************************************************************************/ @@ -26,29 +17,7 @@ void SIMIX_mailbox_exit() namespace simgrid { namespace kernel { namespace activity { -/** @brief Returns the mailbox of that name, or nullptr */ -MailboxImpl* MailboxImpl::by_name_or_null(const std::string& name) -{ - auto mbox = mailboxes.find(name); - if (mbox != mailboxes.end()) - return mbox->second; - else - return nullptr; -} -/** @brief Returns the mailbox of that name, newly created on need */ -MailboxImpl* MailboxImpl::by_name_or_create(const std::string& name) -{ - /* two processes may have pushed the same mbox_create simcall at the same time */ - auto m = mailboxes.find(name); - if (m == mailboxes.end()) { - MailboxImpl* mbox = new MailboxImpl(name); - XBT_DEBUG("Creating a mailbox at %p with name %s", mbox, name.c_str()); - mailboxes[name] = mbox; - return mbox; - } else - return m->second; -} /** @brief set the receiver of the mailbox to allow eager sends * @param actor The receiving dude */ @@ -85,19 +54,17 @@ void MailboxImpl::remove(const CommImplPtr& comm) xbt_die("Comm %p not found in mailbox %s", comm.get(), this->get_cname()); } -CommImplPtr MailboxImpl::iprobe(int type, int (*match_fun)(void*, void*, CommImpl*), void* data) +CommImplPtr MailboxImpl::iprobe(int type, bool (*match_fun)(void*, void*, CommImpl*), void* data) { XBT_DEBUG("iprobe from %p %p", this, &comm_queue_); CommImplPtr this_comm; CommImpl::Type smx_type; if (type == 1) { - this_comm = CommImplPtr(new CommImpl()); - this_comm->set_type(CommImpl::Type::SEND); + this_comm = CommImplPtr(new CommImpl(CommImpl::Type::SEND)); smx_type = CommImpl::Type::RECEIVE; } else { - this_comm = CommImplPtr(new CommImpl()); - this_comm->set_type(CommImpl::Type::RECEIVE); + this_comm = CommImplPtr(new CommImpl(CommImpl::Type::RECEIVE)); smx_type = CommImpl::Type::SEND; } CommImplPtr other_comm = nullptr; @@ -122,39 +89,33 @@ CommImplPtr MailboxImpl::iprobe(int type, int (*match_fun)(void*, void*, CommImp * @param remove_matching whether or not to clean the found object from the queue * @return The communication activity if found, nullptr otherwise */ -CommImplPtr MailboxImpl::find_matching_comm(CommImpl::Type type, int (*match_fun)(void*, void*, CommImpl*), +CommImplPtr MailboxImpl::find_matching_comm(CommImpl::Type type, bool (*match_fun)(void*, void*, CommImpl*), void* this_user_data, const CommImplPtr& my_synchro, bool done, bool remove_matching) { - void* other_user_data = nullptr; auto& comm_queue = done ? done_comm_queue_ : comm_queue_; - for (auto it = comm_queue.begin(); it != comm_queue.end(); it++) { - CommImplPtr& comm = *it; + auto iter = std::find_if( + comm_queue.begin(), comm_queue.end(), [&type, &match_fun, &this_user_data, &my_synchro](const CommImplPtr& comm) { + void* other_user_data = (comm->type_ == CommImpl::Type::SEND ? comm->src_data_ : comm->dst_data_); + return (comm->type_ == type && (not match_fun || match_fun(this_user_data, other_user_data, comm.get())) && + (not comm->match_fun || comm->match_fun(other_user_data, this_user_data, my_synchro.get()))); + }); + if (iter == comm_queue.end()) { + XBT_DEBUG("No matching communication synchro found"); + return nullptr; + } - if (comm->type_ == CommImpl::Type::SEND) { - other_user_data = comm->src_data_; - } else if (comm->type_ == CommImpl::Type::RECEIVE) { - other_user_data = comm->dst_data_; - } - if (comm->type_ == type && (match_fun == nullptr || match_fun(this_user_data, other_user_data, comm.get())) && - (not comm->match_fun || comm->match_fun(other_user_data, this_user_data, my_synchro.get()))) { - XBT_DEBUG("Found a matching communication synchro %p", comm.get()); + const CommImplPtr& comm = *iter; + XBT_DEBUG("Found a matching communication synchro %p", comm.get()); #if SIMGRID_HAVE_MC - comm->mbox_cpy = comm->get_mailbox(); + comm->mbox_cpy = comm->get_mailbox(); #endif - comm->set_mailbox(nullptr); - CommImplPtr comm_cpy = comm; - if (remove_matching) - comm_queue.erase(it); - return comm_cpy; - } - XBT_DEBUG("Sorry, communication synchro %p does not match our needs:" - " its type is %d but we are looking for a comm of type %d (or maybe the filtering didn't match)", - comm.get(), (int)comm->type_, (int)type); - } - XBT_DEBUG("No matching communication synchro found"); - return nullptr; + comm->set_mailbox(nullptr); + CommImplPtr comm_cpy = comm; + if (remove_matching) + comm_queue.erase(iter); + return comm_cpy; } } // namespace activity } // namespace kernel