c++ - 尽管数据匹配预期值，但 compare_exchange_strong 失败

Question

问题在于 compare_exchange_strong 返回 false，尽管基础数据等于 expected。例如:

std::atomic<data> ptr;
...
auto ptr_data = ptr.load();
bool cmp_result = memcmp(&ptr_data, &expected, sizeof(ptr_data));
bool cas_result = ptr.compare_exchange_strong(expected, desired);
assert(cas_result || !cmp_result);

data 是一个 128 位的 POD。 ptr.is_lock_free() 返回 true。这是以单线程方式测试的。 cas_result 始终为假，cmp_results 始终为真。

编译是使用英特尔的 C++ 编译器版本 16 更新 2 完成的。在 Linux 上，libstdc++ 版本 5.3.1。 64 位二进制。
与在 Windows 上编译时使用的代码完全相同，具有相同的 ICC16，但作为 32 位代码。这让我相信这是 stdlib 实现的怪癖。

谢谢

Answer 1

我在使用的结构上也遇到过这种情况。我认为这是由于对齐问题插入的填充位以及 compare_exchange 对两个值进行按位比较这一事实造成的。

在我的机器上，字/指针大小是 8 个字节，我的结构是这样的:

struct s {
    int i;
    void *ptr;

};

仅使用 12 个字节来表示其内容(ptr 为 8 个字节，int 为 4 个字节)，但它的大小为 16 个字节(sizeof(s) == 16)。我所做的是将结构更改为:

struct s {
    long long i;
    void *ptr;
};

因为 long long 在我的机器上是 8 个字节，所以这个版本有 16 个字节大小，它们都用来表示实际值(没有填充位)。

看了之后才发现问题this答案，可能会更详细。