libstdc++ 中 std:shared_ptr 的原子交换如何正确

How is atomic exchange of std:shared_ptr in libstdc++ correct

本文关键字：交换何正确 ptr std shared libstdc++ 更新时间：2023-10-16

基于 libstdc++ 的原子交换实现 ( https://gcc.gnu.org/ml/libstdc++/2014-10/msg00154.html (：

看起来静态分配了 16 个互斥体。当需要进行原子交换时，交换代码将要交换的 2 个指针散列到其中一个(或两个(静态互斥锁、锁和交换。但是，如果shared_ptr在线程之间共享并发访问，则互斥锁如何帮助保证并发访问和修改的同步？我猜代码假设内部原始指针正确对齐，但这是 x86 规则，而不是C++保证。我缺少什么使交换原子化和正确，而无需为底层原始指针的每次读取提供额外锁定？

libstdc++不必在每个平台上工作。它只需要在它工作的平台上工作。

在它不起作用的平台上，它不是标准库的实现。使用不同的。

只要人们安装并"使用"(将其连接到编译器的环境(libstdc++(编译器维护者通常是(在使用之前检查他们的平台假设，这里就没有问题。

通常，您无法以完全独立于平台的方式实现std库。您甚至无法以独立于编译器的方式实现它，因为如果没有std库支持，std需要执行的某些事情无法在C++中完成。

atomic_*函数彼此之间只是原子函数。换句话说，同时访问被atomic_exchange修改的shared_ptr的唯一有效方法是通过atomic_load，它将采用相同的互斥锁(基于shared_ptr的地址(并阻止直到atomic_exchange完成。