Мьютексов внутри, если условие

Question

У меня есть проблема с мьютексами ...

Это общая структура моего кода:

#include <mutex> 
std::mutex m; 

While(1){ 
    m.lock(); 
    if(global_variable1==1){ 
     //CODE GOES HERE 
     if (err==error::eof){ 
      cout<<"error!"<<endl; 
      //should I put a m.unlock() here?? 
      continue; 
     } 
     int something=1; 
     global_variable2=something; 
    } 
    m.unlock(); 
    usleep(100000); 

} 

В принципе, я хочу, чтобы изменить глобальные переменную безопасно, так что я думаю необходимо использовать мьютексы. Я должен только разблокировать мьютекс после этой функции «if (global_variable1 == 1)», но если есть ошибка, мьютекс не будет разблокирован. Могу ли я разблокировать его перед «продолжением»? Или это все испортит что-нибудь еще? Может ли иметь две разблокировки для одного и того же mutex.lock() иметь нежелательное поведение?

Answer 1

Вот почему C++ имеет отдельный замок и мьютекс классы: замок представляет собой удобный класс RAII, который будет убедиться, что ваш мьютекс получает разблокирован, даже если исключения выбрасываются или какой-то другой идиот программист добавляет новый return/break/continue в программа. Вот как эта программа работает с std::unique_lock:

#include <mutex> 
std::mutex m; 

While(1){ 
    std::unique_lock<std::mutex> lock(m); 
    if(global_variable1==1){ 
     //CODE GOES HERE 
     if (err==error::eof){ 
      cout<<"error!"<<endl; 
      continue; 
     } 
     int something=1; 
     global_variable2=something; 
    } 
    lock.unlock(); 

    usleep(100000); 
} 

Answer 2

ли не блокировки/разблокировки мьютексы вручную! Вместо этого используйте охрану, например, std::lock_guard<std::mutex>: охранник получит замок при строительстве, освободив его при уничтожении. Для того, чтобы ограничить время, на протяжении которого замок, просто использовать блок:

while (true) { 
    { 
     std::lock_guard<std::mutex> cerberos(m); 
     // ... 
    } 
    sleep(n); 
}