Возвращаемое значение от Mutex

Question

У меня есть пример с мьютексом. CurrentValue - член Class

int Class::NextValue() 
{ 
    mutex.lock(); 
    ++CurrentValue; 
    ++CurrentValue; 
    int localValue = CurrentValue; 
    mutex.unlock(); 
    return localValue; 
} 

Я не понимаю, почему используется localValue. Следующий код не будет работать должным образом?

... 
    mutex.unlock(); 
    return CurrentValue; 

В случае, когда return не атомное CurrentValue может изменяться во время конструктора копирования. Но в первом примере кода может быть то же самое с localValue?

Answer 1

CurrentValue может быть изменен другим потоком между вызовом разблокировки и возвратом функции. Но то, что вам действительно нужно, - это защитная оболочка для мьютекса.

C++ 11:

int Class::NextValue() 
{ 
    std::lock_guard<std::mutex> lock(mutex); 
    ++CurrentValue; 
    ++CurrentValue; 
    return CurrentValue; 
} // mutex unlocked on exiting this scope. 

Answer 2

Проблема заключается в том, что return CurrentValue; читает CurrentValue вне защиты мьютекса. Это означает, что другой поток может писать в него «одновременно». Это гонка данных и, следовательно, неопределенное поведение.

В любом случае, код должен быть правильно записан с помощью RAII, и проблема даже не стоит о чем думать.

int Class::NextValue() 
{ 
    std::lock_guard<std::mutex> lock(mutex); 
    ++CurrentValue; 
    ++CurrentValue; 
    return CurrentValue; 
}