- void send(const char* dest, message* msg);
- bool recv(message*& msg, m_host_t& from, bool wait);
- void wait_for_sent();
-
- void next_close_on_ctrl_is_last();
- void next_close_on_data_is_last();
-
- int send_backlog();
+ // 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();
+
+ // Try to get a message. Returns true on success.
+ // Parameter "timeout" may be 0 for non-blocking operation, -1 for
+ // infinite waiting, or any positive timeout.
+ bool ctrl_recv(message*& msg, m_host_t& from, double timeout) {
+ return ctrl_received.pop(msg, from, timeout);
+ }
+ bool data_recv(message*& msg, m_host_t& from, double timeout) {
+ return data_received.pop(msg, from, timeout);
+ }