- void send_info(const neighbor& dest, double amount);
- void send_credit(const neighbor& dest, double amount);
- void send_load(const neighbor& dest, double amount);
+ // 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);
+ }