X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e167326c1369032305b7eb87e166b12d6690df64..423d3ad610d6a1e0587b42fd7d2a7a9959af778d:/src/s4u/s4u_comm.cpp diff --git a/src/s4u/s4u_comm.cpp b/src/s4u/s4u_comm.cpp index 591040574a..95a5a8712d 100644 --- a/src/s4u/s4u_comm.cpp +++ b/src/s4u/s4u_comm.cpp @@ -1,5 +1,4 @@ -/* Copyright (c) 2006-2015. The SimGrid Team. - * All rights reserved. */ +/* Copyright (c) 2006-2017. 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. */ @@ -7,29 +6,23 @@ #include "xbt/log.h" #include "src/msg/msg_private.h" -#include "simgrid/s4u/comm.hpp" +#include "simgrid/s4u/Comm.hpp" +#include "simgrid/s4u/Mailbox.hpp" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(s4u_comm,s4u_activity,"S4U asynchronous communications"); namespace simgrid { namespace s4u { - -Comm::~Comm() { - -} - -s4u::Comm &Comm::send_init(s4u::Mailbox &chan) { - s4u::Comm *res = new s4u::Comm(); - res->sender_ = SIMIX_process_self(); - res->mailbox_ = &chan; - return *res; -} - -s4u::Comm &Comm::recv_init(s4u::Mailbox &chan) { - s4u::Comm *res = new s4u::Comm(); - res->receiver_ = SIMIX_process_self(); - res->mailbox_ = &chan; - return *res; +Comm::~Comm() +{ + if (state_ == started && not detached_ && (pimpl_ == nullptr || pimpl_->state == SIMIX_RUNNING)) { + XBT_INFO("Comm %p freed before its completion. Detached: %d, State: %d", this, detached_, state_); + if (pimpl_ != nullptr) + XBT_INFO("pimpl_->state: %d", pimpl_->state); + else + XBT_INFO("pimpl_ is null"); + xbt_backtrace_display_current(); + } } void Comm::setRate(double rate) { @@ -74,12 +67,13 @@ void Comm::start() { xbt_assert(state_ == inited); if (srcBuff_ != nullptr) { // Sender side - pimpl_ = simcall_comm_isend(sender_, mailbox_->getInferior(), remains_, rate_, + pimpl_ = simcall_comm_isend(sender_, mailbox_->getImpl(), remains_, rate_, srcBuff_, srcBuffSize_, matchFunction_, cleanFunction_, copyDataFunction_, userData_, detached_); } else if (dstBuff_ != nullptr) { // Receiver side - pimpl_ = simcall_comm_irecv(receiver_, mailbox_->getInferior(), dstBuff_, &dstBuffSize_, + xbt_assert(not detached_, "Receive cannot be detached"); + pimpl_ = simcall_comm_irecv(receiver_, mailbox_->getImpl(), dstBuff_, &dstBuffSize_, matchFunction_, copyDataFunction_, userData_, rate_); @@ -89,26 +83,33 @@ void Comm::start() { state_ = started; } void Comm::wait() { - xbt_assert(state_ == started || state_ == inited); + xbt_assert(state_ == started || state_ == inited || state_ == finished); + + if (state_ == finished) + return; if (state_ == started) simcall_comm_wait(pimpl_, -1/*timeout*/); - else {// p_state == inited. Save a simcall and do directly a blocking send/recv + else { // state_ == inited. Save a simcall and do directly a blocking send/recv if (srcBuff_ != nullptr) { - simcall_comm_send(sender_, mailbox_->getInferior(), remains_, rate_, + simcall_comm_send(sender_, mailbox_->getImpl(), remains_, rate_, srcBuff_, srcBuffSize_, matchFunction_, copyDataFunction_, userData_, -1 /*timeout*/); } else { - simcall_comm_recv(receiver_, mailbox_->getInferior(), dstBuff_, &dstBuffSize_, + simcall_comm_recv(receiver_, mailbox_->getImpl(), dstBuff_, &dstBuffSize_, matchFunction_, copyDataFunction_, userData_, -1/*timeout*/, rate_); } } state_ = finished; } + void Comm::wait(double timeout) { - xbt_assert(state_ == started || state_ == inited); + xbt_assert(state_ == started || state_ == inited || state_ == finished); + + if (state_ == finished) + return; if (state_ == started) { simcall_comm_wait(pimpl_, timeout); @@ -118,33 +119,67 @@ void Comm::wait(double timeout) { // It's not started yet. Do it in one simcall if (srcBuff_ != nullptr) { - simcall_comm_send(sender_, mailbox_->getInferior(), remains_, rate_, + simcall_comm_send(sender_, mailbox_->getImpl(), remains_, rate_, srcBuff_, srcBuffSize_, matchFunction_, copyDataFunction_, userData_, timeout); } else { // Receiver - simcall_comm_recv(receiver_, mailbox_->getInferior(), dstBuff_, &dstBuffSize_, + simcall_comm_recv(receiver_, mailbox_->getImpl(), dstBuff_, &dstBuffSize_, matchFunction_, copyDataFunction_, userData_, timeout, rate_); } state_ = finished; } -s4u::Comm &Comm::send_async(Mailbox &dest, void *data, int simulatedSize) { - s4u::Comm &res = s4u::Comm::send_init(dest); - res.setRemains(simulatedSize); - res.srcBuff_ = data; - res.srcBuffSize_ = sizeof(void*); - res.start(); - return res; +void Comm::detach() +{ + xbt_assert(state_ == inited, "You cannot detach communications once they are started."); + xbt_assert(srcBuff_ != nullptr && srcBuffSize_ != 0, "You can only detach sends, not recvs"); + detached_ = true; + start(); } -s4u::Comm &Comm::recv_async(Mailbox &dest, void **data) { - s4u::Comm &res = s4u::Comm::recv_init(dest); - res.setDstData(data); - res.start(); - return res; +void Comm::cancel() +{ + simgrid::kernel::activity::CommImplPtr commPimpl = + boost::static_pointer_cast(pimpl_); + commPimpl->cancel(); } +bool Comm::test() +{ + xbt_assert(state_ == inited || state_ == started || state_ == finished); + + if (state_ == finished) { + return true; + } + + if (state_ == inited) { + this->start(); + } + + if(simcall_comm_test(pimpl_)){ + state_ = finished; + return true; + } + return false; +} + +MailboxPtr Comm::mailbox() +{ + return mailbox_; +} + +void intrusive_ptr_release(simgrid::s4u::Comm* c) +{ + if (c->refcount_.fetch_sub(1, std::memory_order_release) == 1) { + std::atomic_thread_fence(std::memory_order_acquire); + delete c; + } +} +void intrusive_ptr_add_ref(simgrid::s4u::Comm* c) +{ + c->refcount_.fetch_add(1, std::memory_order_relaxed); } } +} // namespaces