Debian amd64上的GCC 4.7.2 - 內置原子增量？

我的測試來源：Debian amd64上的GCC 4.7.2 - 內置原子增量？

volatile int gl = 0; 

void * InternalHandler(void * param) 
{ 
    for (int i = 0; i < 100000; ++i) { ++gl; } 
    return 0; 
} 

int main() 
{ 
    pthread_t ths[100] = { 0 }; 
    for (int i = 0; i < 100; ++i) 
    { 
    pthread_create(&ths[ i ], 0, InternalHandler, 0); 
    } 
    for (int i = 0; i < 100; ++i) 
    { 
    pthread_join(ths[ i ], 0); 
    } 
    std::cout << gl << std::endl; 
    return 0; 
}

當我編譯並運行在我的Debian（通過VirtualBox的）這個代碼，我得到完全千萬每一次，而它必須是競爭狀態。

UNAME -a：

Linux debian-dev 3.2.0-4-amd64 #1 SMP Debian 3.2.46-1 x86_64 GNU/Linux

GCC -v：

Using built-in specs. 
COLLECT_GCC=gcc 
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.7/lto-wrapper 
Target: x86_64-linux-gnu 
Configured with: ../src/configure -v --with-pkgversion='Debian 4.7.2-5' --with-bugurl=file:///usr/share/doc/gcc-4.7/README.Bugs --enable-languages=c,c++,go,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.7 --enable-shared --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.7 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin --enable-objc-gc --with-arch-32=i586 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu 
Thread model: posix 
gcc version 4.7.2 (Debian 4.7.2-5)

在其他幾個系統我得到不同的結果。比賽條件是他們的工作。但在我的虛擬Debian上它是「隱式原子」。爲什麼會這樣？

來源

2013-07-17 Igor Semenov

你的代碼有UB。使用'std :: atomic '。（硬件「add 1」指令在默認情況下不是原子的，而不是在任何合理的系統上。在x86上，它需要一個鎖前綴，除非使用原子類型或操作，否則編譯器不會發射。） –

試圖阻止競爭條件。我試圖讓比賽條件。 –

競賽條件使其成爲UB。 – hetepeperfan

絕對是數據競賽。

您可能不會看到它，因爲您的虛擬機僅使用單個內核;並運行在使用單個CPU指令執行增量的體系結構上（意味着任務切換不會在其中間發生）。

如果您在多核計算機或沒有CPU指令的體系結構（如ARM）上運行它以直接修改內存中的值，則應該看到預期結果不一致。

例如，如果我在我的8核的機器上運行它，我得到：

$ ./a.out 
1666121 
$ ./a.out 
1632606

同時限制到單核給

$ taskset -c 0 ./a.out 
10000000 
$ taskset -c 0 ./a.out 
10000000

您可以通過使用固定數據爭std::atomic<int>。如果C++ 11不可用，則可以使用平臺特定的原子操作，例如GCC的__sync_fetch_and_add，或者（如果性能影響可接受）用互斥鎖來保護變量。

來源

2013-07-17 13:53:42

就是這樣！虛擬機僅使用單核。 –

Debian amd64上的GCC 4.7.2 - 內置原子增量？

回答

相關問題