std：：原子bool变量的访问顺序

Question

// somewhere member var 'executing' is defined as std::atomic<bool>`

int A::something(){
    
    int result = 0;
    // my intention is only one thread should enter next block
    // others should just return 0
    if(!executing){
        executing = true;

        ...
        // do some really long processing
        ...
       
        result    = processed;
        executing = false;
    }
    
    return result;
}

>

两个相互冲突的评估都是原子操作（请参见STD：：atomic）

其中一个冲突的评估发生在另一个之前（请参见STD::MEMORY_ORDER）

如果发生数据争用，程序的行为是未定义的。

Answer 1

如果我理解正确的话，您试图确保只有一个线程将在同一时间执行一段代码。这正是互斥体所做的。既然您提到如果互斥体不可用，您不希望线程阻塞，那么您可能希望查看std::mutex的try_lock()方法。请参见STD：：Mutex的文档。

现在要解释为什么代码不能按预期工作：稍微简化一下，STD：：Atomic保证在并发访问变量时不会出现数据竞争。即。有一个定义良好的读写顺序。这对你想做的事情来说是不够的。想象一下if分支：

if(!executing) {
   executing = true;

请记住，只有在上执行的读写操作是原子操作。这至少使否定！和if本身不同步。对于两个线程，执行顺序可以如下所示：

null

std::mutex myMutex;

int A::something(){

    int result = 0;
    // my intention is only one thread should enter next block
    // others should just return 0
    if(myMutex.try_lock()){

        ...
        // do some really long processing
        ...

        result    = processed;
        myMutex.unlock();
    }

    return result;
}