X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/blobdiff_plain/892e36c1af3105e5f548a4ef8b9f777b95d47fc2..1c3da8681b394ce3b14fb44e27cb682c045d5f92:/messages.cpp?ds=inline diff --git a/messages.cpp b/messages.cpp index 2fa4861..025871a 100644 --- a/messages.cpp +++ b/messages.cpp @@ -1,4 +1,10 @@ #include +#include + +XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(comm); + +#include "misc.h" +#include "options.h" #include "messages.h" @@ -11,45 +17,63 @@ std::string message::to_string() return oss.str(); } +double message::get_size() const +{ + // arbitrary: 8 for type, and 8 for amount + double size = 16; + if (type == LOAD) + size += opt::comm_cost(amount); + return size; +} + void message_queue::push(m_task_t task) { - mutex.acquire(); - queue.push(task); - cond.signal(); - mutex.release(); + if (queue.push(task)) { + // list was empty, the push must be signaled + mutex.acquire(); + cond.signal(); + mutex.release(); + } } bool message_queue::pop(message*& msg, m_host_t& from, double timeout) { - if (timeout != 0) { - volatile double deadline = - timeout > 0 ? MSG_get_clock() + timeout : 0.0; + m_task_t task; + if (!queue.try_pop(task)) { + if (timeout == 0.0) + return false; + mutex.acquire(); - while (queue.empty() && (!deadline || deadline > MSG_get_clock())) { + if (!queue.try_pop(task)) { xbt_ex_t e; + XBT_DEBUG("waiting for a message to come"); TRY { - if (deadline) - cond.timedwait(mutex, deadline - MSG_get_clock()); + if (timeout > 0) + cond.timedwait(mutex, timeout); else cond.wait(mutex); } + TRY_CLEANUP { + mutex.release(); + } CATCH (e) { if (e.category != timeout_error) RETHROW; xbt_ex_free(e); + return false; // got a timeout } + bool pop_was_successful = queue.try_pop(task); + xbt_assert(pop_was_successful); + } else { + mutex.release(); } - mutex.release(); } - - if (queue.empty()) - return false; - - m_task_t task = queue.front(); - queue.pop(); msg = static_cast(MSG_task_get_data(task)); from = MSG_task_get_source(task); MSG_task_destroy(task); + XBT_DEBUG("received %s from %s", + msg->to_string().c_str(), MSG_host_get_name(from)); + return true; }