X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4a6b0a991a67e6f2f67c03fed43529e078da7115..423d3ad610d6a1e0587b42fd7d2a7a9959af778d:/src/s4u/s4u_comm.cpp

diff --git a/src/s4u/s4u_comm.cpp b/src/s4u/s4u_comm.cpp
index 564ae9c2d9..95a5a8712d 100644
--- a/src/s4u/s4u_comm.cpp
+++ b/src/s4u/s4u_comm.cpp
@@ -1,152 +1,185 @@
-/* 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. */
 
 #include "xbt/log.h"
 #include "src/msg/msg_private.h"
-#include "src/msg/msg_mailbox.h"
 
-#include "simgrid/s4u/comm.hpp"
-
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY(s4u_comm,s4u_async,"S4U asynchronous communications");
-using namespace simgrid;
-
-s4u::Comm::~Comm() {
-
-}
-
-s4u::Comm &s4u::Comm::send_init(s4u::Actor *sender, s4u::Mailbox &chan) {
-  s4u::Comm *res = new s4u::Comm();
-  res->p_sender = sender;
-  res->p_mailbox = &chan;
-
-  return *res;
-}
-s4u::Comm &s4u::Comm::recv_init(s4u::Actor *receiver, s4u::Mailbox &chan) {
-  s4u::Comm *res = new s4u::Comm();
-  res->p_receiver = receiver;
-  res->p_mailbox = &chan;
-
-  return *res;
+#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()
+{
+  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 s4u::Comm::setRate(double rate) {
-  xbt_assert(p_state==inited);
-  p_rate = rate;
+void Comm::setRate(double rate) {
+  xbt_assert(state_==inited);
+  rate_ = rate;
 }
 
-void s4u::Comm::setSrcData(void * buff) {
-  xbt_assert(p_state==inited);
-  xbt_assert(p_dstBuff == NULL, "Cannot set the src and dst buffers at the same time");
-  p_srcBuff = buff;
+void Comm::setSrcData(void * buff) {
+  xbt_assert(state_==inited);
+  xbt_assert(dstBuff_ == nullptr, "Cannot set the src and dst buffers at the same time");
+  srcBuff_ = buff;
 }
-void s4u::Comm::setSrcDataSize(size_t size){
-  xbt_assert(p_state==inited);
-  p_srcBuffSize = size;
+void Comm::setSrcDataSize(size_t size){
+  xbt_assert(state_==inited);
+  srcBuffSize_ = size;
 }
-void s4u::Comm::setSrcData(void * buff, size_t size) {
-  xbt_assert(p_state==inited);
+void Comm::setSrcData(void * buff, size_t size) {
+  xbt_assert(state_==inited);
 
-  xbt_assert(p_dstBuff == NULL, "Cannot set the src and dst buffers at the same time");
-  p_srcBuff = buff;
-  p_srcBuffSize = size;
+  xbt_assert(dstBuff_ == nullptr, "Cannot set the src and dst buffers at the same time");
+  srcBuff_ = buff;
+  srcBuffSize_ = size;
 }
-void s4u::Comm::setDstData(void ** buff) {
-  xbt_assert(p_state==inited);
-  xbt_assert(p_srcBuff == NULL, "Cannot set the src and dst buffers at the same time");
-  p_dstBuff = buff;
+void Comm::setDstData(void ** buff) {
+  xbt_assert(state_==inited);
+  xbt_assert(srcBuff_ == nullptr, "Cannot set the src and dst buffers at the same time");
+  dstBuff_ = buff;
 }
-size_t s4u::Comm::getDstDataSize(){
-  xbt_assert(p_state==finished);
-  return p_dstBuffSize;
+size_t Comm::getDstDataSize(){
+  xbt_assert(state_==finished);
+  return dstBuffSize_;
 }
-void s4u::Comm::setDstData(void ** buff, size_t size) {
-  xbt_assert(p_state==inited);
+void Comm::setDstData(void ** buff, size_t size) {
+  xbt_assert(state_==inited);
 
-  xbt_assert(p_srcBuff == NULL, "Cannot set the src and dst buffers at the same time");
-  p_dstBuff = buff;
-  p_dstBuffSize = size;
+  xbt_assert(srcBuff_ == nullptr, "Cannot set the src and dst buffers at the same time");
+  dstBuff_ = buff;
+  dstBuffSize_ = size;
 }
 
-void s4u::Comm::start() {
-  xbt_assert(p_state == inited);
+void Comm::start() {
+  xbt_assert(state_ == inited);
 
-  if (p_srcBuff != NULL) { // Sender side
-    p_inferior = simcall_comm_isend(p_sender->getInferior(), p_mailbox->getInferior(), p_remains, p_rate,
-        p_srcBuff, p_srcBuffSize,
-        p_matchFunction, p_cleanFunction, p_copyDataFunction,
-        p_userData, p_detached);
-  } else if (p_dstBuff != NULL) { // Receiver side
-    p_inferior = simcall_comm_irecv(p_receiver->getInferior(), p_mailbox->getInferior(), p_dstBuff, &p_dstBuffSize,
-        p_matchFunction, p_copyDataFunction,
-        p_userData, p_rate);
+  if (srcBuff_ != nullptr) { // Sender side
+    pimpl_ = simcall_comm_isend(sender_, mailbox_->getImpl(), remains_, rate_,
+        srcBuff_, srcBuffSize_,
+        matchFunction_, cleanFunction_, copyDataFunction_,
+        userData_, detached_);
+  } else if (dstBuff_ != nullptr) { // Receiver side
+    xbt_assert(not detached_, "Receive cannot be detached");
+    pimpl_ = simcall_comm_irecv(receiver_, mailbox_->getImpl(), dstBuff_, &dstBuffSize_,
+        matchFunction_, copyDataFunction_,
+        userData_, rate_);
 
   } else {
     xbt_die("Cannot start a communication before specifying whether we are the sender or the receiver");
   }
-  p_state = started;
-}
-void s4u::Comm::wait() {
-  xbt_assert(p_state == started || p_state == inited);
-
-  if (p_state == started)
-    simcall_comm_wait(p_inferior, -1/*timeout*/);
-  else {// p_state == inited. Save a simcall and do directly a blocking send/recv
-    if (p_srcBuff != NULL) {
-      simcall_comm_send(p_sender->getInferior(), p_mailbox->getInferior(), p_remains, p_rate,
-          p_srcBuff, p_srcBuffSize,
-          p_matchFunction, p_copyDataFunction,
-          p_userData, -1 /*timeout*/);
+  state_ = started;
+}
+void Comm::wait() {
+  xbt_assert(state_ == started || state_ == inited || state_ == finished);
+
+  if (state_ == finished)
+    return;
+
+  if (state_ == started)
+    simcall_comm_wait(pimpl_, -1/*timeout*/);
+  else { // state_ == inited. Save a simcall and do directly a blocking send/recv
+    if (srcBuff_ != nullptr) {
+      simcall_comm_send(sender_, mailbox_->getImpl(), remains_, rate_,
+          srcBuff_, srcBuffSize_,
+          matchFunction_, copyDataFunction_,
+          userData_, -1 /*timeout*/);
     } else {
-      simcall_comm_recv(p_receiver->getInferior(), p_mailbox->getInferior(), p_dstBuff, &p_dstBuffSize,
-          p_matchFunction, p_copyDataFunction,
-          p_userData, -1/*timeout*/, p_rate);
+      simcall_comm_recv(receiver_, mailbox_->getImpl(), dstBuff_, &dstBuffSize_,
+          matchFunction_, copyDataFunction_,
+          userData_, -1/*timeout*/, rate_);
     }
   }
-  p_state = finished;
+  state_ = finished;
 }
-void s4u::Comm::wait(double timeout) {
-  xbt_assert(p_state == started || p_state == inited);
 
-  if (p_state == started) {
-    simcall_comm_wait(p_inferior, timeout);
-    p_state = finished;
+void Comm::wait(double timeout) {
+  xbt_assert(state_ == started || state_ == inited || state_ == finished);
+
+  if (state_ == finished)
+    return;
+
+  if (state_ == started) {
+    simcall_comm_wait(pimpl_, timeout);
+    state_ = finished;
     return;
   }
 
   // It's not started yet. Do it in one simcall
-  if (p_srcBuff != NULL) {
-    simcall_comm_send(p_sender->getInferior(), p_mailbox->getInferior(), p_remains, p_rate,
-        p_srcBuff, p_srcBuffSize,
-        p_matchFunction, p_copyDataFunction,
-        p_userData, timeout);
+  if (srcBuff_ != nullptr) {
+    simcall_comm_send(sender_, mailbox_->getImpl(), remains_, rate_,
+        srcBuff_, srcBuffSize_,
+        matchFunction_, copyDataFunction_,
+        userData_, timeout);
   } else { // Receiver
-    simcall_comm_recv(p_receiver->getInferior(), p_mailbox->getInferior(), p_dstBuff, &p_dstBuffSize,
-        p_matchFunction, p_copyDataFunction,
-        p_userData, timeout, p_rate);
+    simcall_comm_recv(receiver_, mailbox_->getImpl(), dstBuff_, &dstBuffSize_,
+        matchFunction_, copyDataFunction_,
+        userData_, timeout, rate_);
   }
-  p_state = finished;
+  state_ = finished;
 }
 
-s4u::Comm &s4u::Comm::send_async(s4u::Actor *sender, Mailbox &dest, void *data, int simulatedSize) {
-  s4u::Comm &res = s4u::Comm::send_init(sender, dest);
-
-  res.setRemains(simulatedSize);
-  res.p_srcBuff = data;
-  res.p_srcBuffSize = sizeof(void*);
+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();
+}
 
-  res.start();
-  return res;
+void Comm::cancel()
+{
+  simgrid::kernel::activity::CommImplPtr commPimpl =
+      boost::static_pointer_cast<simgrid::kernel::activity::CommImpl>(pimpl_);
+  commPimpl->cancel();
 }
 
-s4u::Comm &s4u::Comm::recv_async(s4u::Actor *receiver, Mailbox &dest, void **data) {
-  s4u::Comm &res = s4u::Comm::recv_init(receiver, dest);
+bool Comm::test()
+{
+  xbt_assert(state_ == inited || state_ == started || state_ == finished);
+
+  if (state_ == finished) {
+    return true;
+  }
+
+  if (state_ == inited) {
+    this->start();
+  }
 
-  res.setDstData(data);
+  if(simcall_comm_test(pimpl_)){
+    state_ = finished;
+    return true;
+  }
+  return false;
+}
 
-  res.start();
-  return res;
+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