Witam
Mam taki problem, próbuję się poduczyć używania atomic'ow w C++. Skonstruowałem sobie programik, który w zamierzeniu miał pokazać natychmiast, że atomowość atomiców jest faktycznie prawdą.
Na początku tworzę zmienną int (ustawioną na 0), potem tworzę dwa wątki, które będą tą zmienną modyfikować używając operatora post-inkrementacji. Po zakończeniu obu wątków zmienna powinna mieć wartość 2. Oczywiście użycie zwykłej zmiennej int prowadzi do tego, ze za którymś dojdzie do sytuacji wyścigu i wartość zmiennej zostanie nadpisana przez drugi wątek bez uwzględnienia wcześniejszej zmiany, przez co po zakończeniu działania przez oba wątki zmienna będzie mieć wartość inną niż 2.
Myślałem, że po zmianie typu zmiennej ze zwykłej int na atomic<int> sytuacja natychmiast się poprawi. Jakież było moje zdziwienie, gdy zobaczyłem, że za którymś razem również zmienna nie jest równa 2 po zakończeniu pracy obu wątków.
Czy ktoś może mi wyjaśnić gdzie leży błąd? Czego nie rozumiem w kwestii atomic'ów? Dokumentacja twierdzi, że operator post-inkrementacji działa atomowo.
Będę wdzięczny za pomoc. Poniżej wklejam kod.
Pozdrawiam
Mietek
#include <iostream>
#include <thread>
#include <atomic>
using namespace std;
int main()
{
for(int i = 0; i < 1000000; i++){
atomic<int> a(0);
//int a = 0;
thread t1([&a]{ a++; });
thread t2([&a]{ a++; });
t1.join();
t2.join();
if(a != 2) { cout << "error: " << a << ", i = " << i << endl; break; }
}
return 0;
}
Używam MinGW (GCC) 4.8.1 na Windows (CodeBlocks 13.12)
C:\Program Files (x86)\CodeBlocks\MinGW\bin>"mingw32-c++.exe" -v
Using built-in specs.
COLLECT_GCC=mingw32-c++.exe
COLLECT_LTO_WRAPPER=c:/program\ files\ (x86)/codeblocks/mingw/bin/../libexec/gcc/mingw32/4.8.1/lto-wrapper.exe
Target: mingw32
Configured with: ../../../src/gcc-4.8.1/configure --build=mingw32 --enable-languages=ada,c,c++,fortran,lto,objc,obj-c++ --enable-libgomp --enable-lto --enable-graphite --
x-debug --enable-threads=posix --enable-version-specific-runtime-libs --enable-fully-dynamic-string --enable-libstdcxx-threads --enable-libstdcxx-time --with-gnu-ld --dis
isable-nls --disable-win32-registry --disable-symvers --enable-cxx-flags='-fno-function-sections -fno-data-sections -DWINPTHREAD_STATIC' --prefix=/mingw32tdm --with-local
2tdm --with-pkgversion=tdm-2 --enable-sjlj-exceptions --with-bugurl=http://tdm-gcc.tdragon.net/bugs
Thread model: posix
gcc version 4.8.1 (tdm-2)