Ejemplo de cómo utilizar impulsar mutexes actualizables

Tengo una aplicación de servidor multiproceso que necesita bloqueos mutex sobre alguna memoria compartida.

La memoria compartida son básicamente mapas sTL, etc.

La mayor parte del tiempo solo leo del mapa. Pero, también necesito agregarle ocasionalmente.

p.ej. typedef std :: map MessageMap; MessageMap msgmap; boost: shared_mutex access_;

void ProcessMessage(Message* message)
{
  //  Access message... read some stuff from it  message->...

  UUID id = message->GetSessionID();

  // Need to obtain a lock here. (shared lock? multiple readers)
  // How is that done?
  boost::interprocess::scoped_lock(access_);

  // Do some readonly stuff with msgmap
  MessageMap::iterator it = msgmap.find();
  // 

  // Do some stuff...

  // Ok, after all that I decide that I need to add an entry to the map.
  // how do I upgrade the shared lock that I currently have?
  boost::interprocess::upgradable_lock


  // And then later forcibly release the upgrade lock or upgrade and shared lock if I'm not looking
  // at the map anymore.
  // I like the idea of using scoped lock in case an exception is thrown, I am sure that
  // all locks are released.
}

EDITAR: podría estar confundiendo los diferentes tipos de bloqueo.

¿Cuál es la diferencia entre compartido / actualización y exclusivo? Es decir, no entiendo la explicación. Parece que si solo desea permitir muchos lectores, un acceso compartido es todo lo que desea obtener. Y para escribir en su memoria compartida solo necesita acceso de actualización. ¿O necesitas exclusivo? La explicación en boost es todo menos clara.

¿Se obtiene acceso de actualización porque podría escribir? Pero compartido significa que definitivamente no escribirás, ¿eso es lo que significa?

EDITAR: Permítanme explicar lo que quiero hacer con un poco más de claridad. Todavía no estoy contento con las respuestas.

Aquí está el ejemplo de nuevo pero con un ejemplo de algún código que también estoy usando. Solo una ilustración, no el código real.

typedef boost::shared_mutex Mutex;
typedef boost::shared_lock<Mutex> ReadLock;
typedef boost::unique_lock<Mutex> WriteLock;
Mutex mutex;
typedef map<int, int> MapType;    // Your map type may vary, just change the typedef
MapType mymap;

void threadoolthread() // There could be 10 of these.
{   
    // Add elements to map here
    int k = 4;   // assume we're searching for keys equal to 4
    int v = 0;   // assume we want the value 0 associated with the key of 4

    ReadLock read(mutex); // Is this correct?
    MapType::iterator lb = mymap.lower_bound(k);
    if(lb != mymap.end() && !(mymap.key_comp()(k, lb->first)))
    {
        // key already exists
    }
    else
    {
        // Acquire an upgrade lock yes?  How do I upgrade the shared lock that I already        have?
        // I think then sounds like I need to upgrade the upgrade lock to exclusive is that correct as well?

        // Assuming I've got the exclusive lock, no other thread in the thread pool will be able to insert.
        // the key does not exist in the map
        // add it to the map
        {
          WriteLock write(mutex, boost::adopt_lock_t());  // Is this also correct?
          mymap.insert(lb, MapType::value_type(k, v));    // Use lb as a hint to insert,
                                                        // so it can avoid another lookup
        }
        // I'm now free to do other things here yes?  what kind of lock do I have here, if any?  does the readlock still exist?
    }

Respuestas a la pregunta(2)

Su respuesta a la pregunta