原子增加和比较线程安全吗

Question

我正在编写多线程套接字类。 可以同时从多个线程调用belowBounds（）函数，我需要防止使用互斥锁。 此代码是否是线程安全的？

class UDPSocketHT
{
public:
    std::atomic<size_t> m_nSimultaneousRecvCalls;
    std::atomic<size_t> m_nPendingOperations;
    //...
    bool UDPSocketHT::BelowBounds ( )
    {
         return ( !m_nSimultaneousRecvCalls || ( m_nPendingOperations + 1 <= m_nSimultaneousRecvCalls ) ) ? true : false;
    }
}

还是我必须以这种方式写？

bool UDPSocketHT::BelowBounds ( )
{
     size_t x = m_nSimultaneousRecvCalls;
     size_t y = m_nPendingOperations;
     return ( !x || ( y + 1 <= x) ) ? true : false;
}

Answer 1

您的两种选择都不安全。 每个原子变量本身就是原子的，但是在单个语句中却不能使用两个原子变量。

您可以将支票包装在互斥锁中，也可以提出使用单个原子的方法。

std::atomic上的哪些操作是原子的？

• operator=原子存储一个新值

• load()或operator T （在表达式中使用）原子读取值

• operator++自动增加一个值

• compare_exchange_weak/strong检查并自动设置值

• 更多细节

在表达式中使用两个原子不是原子的： a + b将自动读取a原子， 然后自动读取b ，但是在读取a和b之间可能发生任何事情； 到您阅读b ， a已经可以具有另一个值。