在做了相当多的阅读之后,我已经明白,我应该能够在64位系统1上设置64位int原子值的值.

我发现很多阅读困难,所以以为我会尝试做一个测试来验证这一点.所以我用一个线程写了一个简单的程序,它将一个变量设置为两个值之一：

bool switcher = false;

while(true)
{
    if (switcher)
        foo = a;
    else
        foo = b;
    switcher = !switcher;
}

另一个线程会检查foo的值：

while (true)
{
    __uint64_t blah = foo;
    if ((blah != a) && (blah != b))
    {
        cout << "Not atomic! " << blah << endl;
    }
}

我设一个= 1844674407370955161;和b = 1144644202170355111 ;.我运行这个程序,没有输出警告我,blah不是a或b.

好的,看起来可能是一个原子写…但是,我改变了第一个线程直接设置a和b,像这样：

bool switcher = false;

while(true)
{
    if (switcher)
        foo = 1844674407370955161;
    else
        foo = 1144644202170355111;
    switcher = !switcher;
}

我重新跑了,突然间：

Not atomic! 1144644203261303193
Not atomic! 1844674406280007079
Not atomic! 1144644203261303193
Not atomic! 1844674406280007079

有什么变化无论哪种方式,我分配大量的foo – 编译器是否处理不同的数字,或者我误解了一切？

谢谢！

1：Intel CPU documentation,section 8.1,Guaranteed Atomic Operations

2：GCC Development list discussing that GCC doesn’t guarantee it in the documentation,but the kernel and other programs rely on it