mutex e blocchi

Question

I due esempi di codice sono equivalenti?

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; 
} 

• Nel secondo campione: sarà la serratura andare fuori portata al termine della copia valore di ritorno è stato fatto? Ciò sarebbe importante se fosse restituito un oggetto con molte istruzioni per la copia.
• È necessario un blocco se si restituisce solo un valore int? O è la copia dell'int un'operazione atomica?

Answer 1

Sono equivalenti. I locali non escono dall'ambito finché non è stata eseguita l'ultima riga del loro blocco. Quindi in questo caso, la copia del valore di ritorno viene eseguita sotto la protezione della serratura.

Answer 2

Se Poco's ScopedLock funziona come Lock_guard di Boost e l'assegnazione PID non può generare un'eccezione, la risposta alla prima domanda è sì. Lo scopo di questo ScopedLock è prevenire i deadlock. Non puoi dimenticare di sbloccare il mutex anche in caso di eccezioni generate. Hai bisogno di essere bloccato anche se "leggi solo alcuni dati"? Bene, in questo caso (accedere a una sola int) è una specie di zona grigia (meglio non farlo) ma in generale si blocca anche il mutex se si leggono solo i dati.