muteksy i blokady

Question

Czy dwie próbki kodu są poniżej równoważne?

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

• W drugiej próbce: będzie blokada wyjść z zakresu po kopia zwracana wartość została wykonana? Ma to znaczenie, jeśli zwrócono obiekt, który miał wiele instrukcji do kopiowania.
• Czy blokada jest konieczna, jeśli zamierzasz zwrócić wartość int? Czy kopiowanie int jest operacją atomową?

Answer 1

Są one równoważne. Miejscowi nie wychodzą poza zasięg, dopóki ostatni wiersz ich bloku nie zostanie wykonany. Tak więc w tym przypadku kopia wartości zwracanej jest wykonywana pod ochroną zamka.

Answer 2

Jeśli Poco's ScopedLock działa jak blokada zabezpieczająca Boost, a przypisanie PID nie może wyrzucić wyjątku, odpowiedź na pierwsze pytanie brzmi "tak". Celem tego narzędzia ScopedLock jest zapobieganie zakleszczeniom. Nie możesz zapomnieć o odblokowaniu muteksa nawet w przypadku wyjątków, które zostały odrzucone. Czy potrzebujesz blokowania, nawet jeśli "czytasz tylko niektóre dane"? Cóż, w tym przypadku (dostęp tylko do jednej int) jest to szara strefa (lepiej tego nie rób), ale na ogół blokujesz też muteks, jeśli właśnie czytasz dane.