Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
workaround a possible race condition
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 18 Aug 2015 00:35:19 +0000 (02:35 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 18 Aug 2015 00:40:09 +0000 (02:40 +0200)
when several processes run s4u::Mailbox::byName on an non existant
mailbox in the same round, only one simix object is created thanks to
the simcall, but 2 S4U objects are created. Use only one of them, and
leak the other one.

include/simgrid/s4u/mailbox.hpp
src/s4u/s4u_mailbox.cpp

index d98da45..77390cf 100644 (file)
@@ -34,13 +34,15 @@ protected:
        smx_rdv_t getInferior() { return p_inferior; }
 
 public:
+       /** 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 *> *channels;
+       static boost::unordered_map<std::string, Mailbox *> *mailboxes;
 };
 }} // namespace simgrid::s4u
 
index 4c83d69..d18150d 100644 (file)
@@ -16,19 +16,28 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(s4u_channel,s4u,"S4U Communication Mailboxes");
 
 using namespace simgrid;
 
-boost::unordered_map <std::string, s4u::Mailbox *> *s4u::Mailbox::channels = new boost::unordered_map<std::string, s4u::Mailbox*> ();
+boost::unordered_map <std::string, s4u::Mailbox *> *s4u::Mailbox::mailboxes = new boost::unordered_map<std::string, s4u::Mailbox*> ();
 
 
 s4u::Mailbox::Mailbox(const char*name, smx_rdv_t inferior) {
        p_inferior = inferior;
-       channels->insert({name, this});
+       p_name = name;
+       mailboxes->insert({name, this});
+}
+const char *s4u::Mailbox::getName() {
+       return p_name.c_str();
 }
 s4u::Mailbox *s4u::Mailbox::byName(const char*name) {
-       s4u::Mailbox * res;
+       s4u::Mailbox *res;
        try {
-               res = channels->at(name);
+               res = mailboxes->at(name);
        } catch (std::out_of_range& e) {
-               res = new Mailbox(name,simcall_rdv_create(name));
+               // FIXME: there is a potential race condition here where two actors run Mailbox::byName on a non-existent mailbox
+               // during the same scheduling round. Both will be interrupted in the simcall creating the underlying simix rdv.
+               // Only one simix object will be created, but two S4U objects will be created.
+               // Only one S4U object will be stored in the hashmap and used, and the other one will be leaked.
+               new Mailbox(name,simcall_rdv_create(name));
+               res = mailboxes->at(name); // Use the stored one, even if it's not the one I created myself.
        }
        return res;
 }