std::string message::to_string()
{
- static const char* str[DATA_CLOSE + 1] = { "CTRL", "DATA",
- "CTRL_CLOSE", "DATA_CLOSE" };
std::ostringstream oss;
- oss << str[type] << ": " << amount;
+ switch (type) {
+ case CTRL:
+ oss << "CTRL: " << amount << " (info)";
+ if (opt::bookkeeping)
+ oss << "; " << credit << " (credit)";
+ break;
+ case DATA:
+ oss << "DATA: " << amount << " (load)";
+ break;
+ case CTRL_CLOSE:
+ oss << "CTRL_CLOSE";
+ break;
+ case DATA_CLOSE:
+ oss << "DATA_CLOSE";
+ break;
+ default:
+ oss << "UNKNOWN MESSAGE TYPE: " << type;
+ break;
+ }
return oss.str();
}
if (!queue.try_pop(task)) {
xbt_ex_t e;
XBT_DEBUG("waiting for a message to come");
- TRY {
+ TRY_FAST {
if (timeout > 0)
cond.timedwait(mutex, timeout);
else