return oss.str();
}
-void message_queue::push(m_task_t task)
+void message_queue::push(msg_task_t task)
{
if (queue.push(task)) {
// list was empty, the push must be signaled
}
}
-bool message_queue::pop(message*& msg, m_host_t& from, double timeout)
+bool message_queue::pop(message*& msg, msg_host_t& from, double timeout)
{
- m_task_t task;
+ msg_task_t task;
if (!queue.try_pop(task)) {
if (timeout == 0.0)
return false;
mutex.acquire();
if (!queue.try_pop(task)) {
- xbt_ex_t e;
XBT_DEBUG("waiting for a message to come");
- TRY_FAST {
- 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
+ if (timeout > 0) {
+ if (!cond.timedwait(mutex, timeout))
+ return false;
+ } else {
+ cond.wait(mutex);
}
bool pop_was_successful = queue.try_pop(task);
xbt_assert(pop_was_successful);
- } else {
- mutex.release();
}
+ mutex.release();
}
msg = static_cast<message*>(MSG_task_get_data(task));
from = MSG_task_get_source(task);