问题在于compare_exchange_strong
返回 false,尽管基础数据等于expected
. e.g.:
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()
返回真。这是以单线程方式进行测试的。cas_result
总是假的,cmp_results
永远正确。
编译是使用 Intel 的 C++ 编译器版本 16 update 2 完成的。在 Linux 上,libstdc++ 版本 5.3.1。 64 位二进制。
完全相同的代码在 Windows 上编译时可以正常工作,具有相同的 ICC16,但为 32 位代码。这让我相信这是 stdlib 实现的怪癖。
谢谢
我在使用的结构上也遇到过这种情况。我认为这是由于对齐问题而插入的填充位以及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 https://stackoverflow.com/a/33974075/9666170答案,可能会更详细。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)