- /** Get the name of that mailbox */
- const char *getName();
- /** Retrieve the mailbox associated to the given string */
- static Mailbox *byName(const char *name);
-
-private:
- std::string p_name;
- smx_rdv_t p_inferior;
- static boost::unordered_map<std::string, Mailbox *> *mailboxes;
+ smx_mailbox_t getImpl() { return pimpl_; } // FIXME: make me protected
+
+ // 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();
+
+ /** Returns the first element in the queue, or nullptr if none is there */
+ smx_activity_t front();
+
+ /** 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(ActorPtr process);
+
+ /** Return the process declared as permanent receiver, or nullptr if none **/
+ ActorPtr receiver();