Czy powrót atomowy i powinienem użyć tymczasowego w gettera, aby był bezpieczny dla wątków?

Question

Czy użycie tu tymczasowego jest bezpieczne?

int getVal() { 
     this->_mutex.lock(); 
     int result = this->_val; 
     this->_mutex.unlock(); 
     return result; 
} 

dam ci demontaż funkcji testowej prosty RAII

int test() 
{ 
    RAIITest raii; //let's say it's a scoped lock 
    return 3; 
} 


{ 
    0x004013ce <_Z4testv>: push %ebp 
    0x004013cf <_Z4testv+1>: mov %esp,%ebp 
    0x004013d1 <_Z4testv+3>: sub $0x28,%esp 
    return 3; 
    0x004013d4 <_Z4testv+6>: lea -0x18(%ebp),%eax 
    0x004013d7 <_Z4testv+9>: mov %eax,(%esp) 
    0x004013da <_Z4testv+12>: call 0x4167a0 <_ZN8RAIITestD1Ev> //here destructor is called 
    0x004013df <_Z4testv+17>: mov $0x3,%eax //here result is pushed onto the stack 
} 
0x004013e4 <_Z4testv+22>: leave 
0x004013e5 <_Z4testv+23>: ret 

kompilator gcc jest/g ++ 3.4.5

Answer 1

Jeśli dostęp do this->_val jest synchronizowany przez this->_mutex, to don nie ma możliwości wyboru sposobu, w jaki kod jest obecnie zapisywany. Przed odblokowaniem muteksa musisz przeczytać this->_val i odblokować muteks przed powrotem. Zmienna result jest niezbędna do uzyskania tej kolejności działań.

Jeśli używasz lock_guard (lub scoped_lock w trybie zwiększenia), nie musisz używać tymczasowego, ponieważ blokada muteksu zostanie zwolniona po powrocie funkcji. Na przykład przy użyciu biblioteki wątków C++ 0x:

int getVal() { 
    std::lock_guard<std::mutex> lock(_mutex); 
    return this->_val; 
} // lock is released by lock_guard destructor 

Answer 2

Tak, jeśli używasz jawnej blokady()/odblokowania(). Nie, jeśli skonstruujesz obiekt blokady na stosie i jego destruktor wykona odblokowanie.

Answer 3

Nie - kompilator automatycznie tworzy tymczasowy dla wartości zwracanej. Normalnie nie musisz chronić odczytu z muteksem, więc nawet jeśli jego wielowątkowe, tylko return _val; powinno wystarczyć.

Na marginesie, pozbyłbym się wiodącego podkreślenia - zasady dotyczące nazw zmiennych, których można i nie można używać, gdy zaczynają się od podkreślenia, są wystarczająco złożone, aby lepiej je unikać.

Answer 4

Można to zrobić czysto to mutex jest zamknięty w scoped_lock że odblokowuje na zniszczenia:

int getVal() { 
     scoped_lock lockit(_mutex); 
     return _val; 
} 

I tak, trzeba zrobić, aby utrzymać blokadę dopóki nie wrócił.