- void send(const char* dest, message* msg);
- bool recv(message*& msg, m_host_t& from);
+ // Send a message to the "dest" mailbox
+ void ctrl_send(const char* dest, message* msg) {
+ ctrl_sent.push_back(real_send(dest, msg));
+ }
+ void data_send(const char* dest, message* msg) {
+ data_sent.push_back(real_send(dest, msg));
+ }
+
+ // Try to flush pending sending communications.
+ // If "wait" is true, blocks until success.
+ void ctrl_flush(bool wait) {
+ real_flush(ctrl_sent, wait);
+ }
+ void data_flush(bool wait) {
+ real_flush(data_sent, wait);
+ }
+
+ // Flush all sending_communications. Blocking.
+ void flush_all();