+ // 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, msg_host_t& from, double timeout) {
+ return ctrl_received.pop(msg, from, timeout);
+ }
+ bool data_recv(message*& msg, msg_host_t& from, double timeout) {
+ return data_received.pop(msg, from, timeout);
+ }