Question

我无法理解C ++ 11 std :: atomic_short行为的一部分我将0或255设置为atomic_short变量的值但.load（）表示该值既不是0或255 我想要一个线程来写原子变量，我希望另一个线程读取它。

环境：
英特尔酷睿i5 OSX 10.11.6
clang（Xcode7.3.1）

#include <iostream>
#include <atomic>
#include <thread>

std::atomic_short value = ATOMIC_VAR_INIT(0);

void process1() {
    bool flag = false;
    for (int i = 0; i < 100000; ++i){
        std::this_thread::yield;
        if (flag){
            value.store(255);
        } else {
            value.store(0);
        }
        flag = !flag;
    }
}

void process2() {
    for (int i = 0; i < 100000; ++i){
        std::this_thread::yield;
        if (value.load() != 255 && value.load() != 0){
            printf("warningA! %d\n", i);
        }
    }
}

int main(int argc, char** argv) {
    value.store(0);
    std::thread t1(process1);
    std::thread t2(process2);
    t1.join();
    t2.join();

    return 0;
}

warningA! 3
warningA! 1084
warningA! 1093

Answer 1

问题在于你有2个单独的load，这使你的比较非原子。相反，load值一次，然后比较：

void process2() {
    for (int i = 0; i < 100000; ++i){
        std::this_thread::yield;
        auto currentValue = value.load();
        if (currentValue != 255 && currentValue != 0){
            printf("warningA! %d\n", i);
        }
    }
}

live example

我无法理解奇怪的std :: atomic_short.load（）行为

1 个答案: