mutexes y bloqueos

Question

¿Son equivalentes los dos ejemplos de código a continuación?

Poco::ProcessHandle::PID ProcessRunner::processId() const 
{ 
    Poco::ProcessHandle::PID pid = 0; 
    mMutex.lock(); 
    pid = mPID; 
    mMutex.unlock(); 
    return pid; 
} 

,

Poco::ProcessHandle::PID ProcessRunner::processId() const 
{ 
    Poco::ScopedLock<Poco::Mutex> lock(mMutex); 
    return mPID; 
} 

• En el segundo ejemplo: el bloqueo se vaya fuera de alcance después de realizar la copia valor de retorno? Esto sería importante si se devolvió un objeto que tenía muchas instrucciones para copiar.
• ¿Es necesario un bloqueo si solo va a devolver un valor int? ¿O es la copia de la int una operación atómica?

Answer 1

Son equivalentes. Los locales no se salgan de alcance hasta después de que se haya ejecutado la última línea de su bloque. Entonces, en este caso, la copia del valor de retorno se realiza bajo la protección de la cerradura.

Answer 2

Si Poco's ScopedLock funciona de forma similar a Boost's lock_guard y la asignación PID no puede lanzar una excepción, la respuesta a la primera pregunta es sí. El objetivo de este ScopedLock es evitar interbloqueos. No puede olvidarse de desbloquear el mutex incluso en caso de que se emitan excepciones. ¿Necesita bloqueo incluso si "solo leyó algunos datos"? Bueno, en este caso (acceder solo a un int) es una especie de zona gris (mejor no lo hagas) pero en general también bloqueas el mutex si solo lees datos.