+ // We don't have to manage the lifetime of mailboxes:
+ friend void intrusive_ptr_add_ref(Mailbox*) {}
+ friend void intrusive_ptr_release(Mailbox*) {}
+ using Ptr = boost::intrusive_ptr<Mailbox>;
+
+ /** Get the name of that mailbox */
+ const char *getName();
+
+ /** Retrieve the mailbox associated to the given string */
+ static Ptr byName(const char *name);
+
+ /** Returns whether the mailbox contains queued communications */
+ bool empty();
+
+ /** Declare that the specified process is a permanent receiver on that mailbox
+ *
+ * It means that the communications sent to this mailbox will start flowing to its host even before he does a recv().
+ * This models the real behavior of TCP and MPI communications, amongst other.
+ */
+ void setReceiver(Actor* process);
+
+ /** Return the process declared as permanent receiver, or nullptr if none **/
+ ActorPtr receiver();