Почему эта небольшая многопоточная программа C++ 11, дающая ошибку сегментации

Question

, почему эта программа дает ошибку seg. Я попытался выяснить проблему с помощью gdb, но не повезло.

#include <iostream> 
#include <condition_variable> 
#include <thread> 
#include <chrono> 

using namespace std; 

condition_variable cv; 
mutex cv_m; 

mutex m; 

int count = 0; 
#define COUNT_DONE 10 
#define COUNT_HALT1 3 
#define COUNT_HALT2 6 

void functionCount1() 
{ 
    for(;;) 
    { 
     m.lock(); 
     count++; 
     cout << "Counter value functioncount1: " << count << endl; 
     m.unlock(); 

     if(count >= COUNT_DONE) 
       return; 
    } 
} 

void functionCount2() 
{ 
    for(;;) 
    { 
     m.lock(); 
     count++; 
     cout << "Counter value functionCount2: " << count << endl; 
     m.unlock(); 

     if(count >= COUNT_DONE) return; 
    } 
} 

int main() 
{ 
    thread t1(functionCount1), t2(functionCount2); 
    t1.join(); 
    t2.join(); 
    return 0; 
} 

Answer 1

Ваша программа имеет неопределенное поведение: доступы к count вне мьютекса в functionCount1 и functionCount2 являются гонки данных. With the UB corrected, it seems fine:

#include <iostream> 
#include <mutex> 
#include <thread> 

using namespace std; 

mutex m; 
int count = 0; 
#define COUNT_DONE 10 

void functionCount(const char* name) 
{ 
    for(;;) 
    { 
     m.lock(); 
     auto c = ++count; 
     m.unlock(); 

     cout << "Counter value " << name << ": " << c << endl; 
     if(c >= COUNT_DONE) 
       return; 
    } 
} 

int main() 
{ 
    thread t1(functionCount, "functionCount1"), t2(functionCount, "functionCount2"); 
    t1.join(); 
    t2.join(); 
} 

или если вы хотите быть «умным» и запутать код рецензентов:

void functionCount(const char* name) 
{ 
    for(;;) 
    { 
     auto c = (std::lock_guard<std::mutex>(m), count++); 
     cout << "Counter value " << name << ": " << c << endl; 
     if(c >= count_done) 
      break; 
    } 
}