与关系的同步到底是什么？

Question

我一直在阅读这篇文章关系，以及 std：std： ：memory_order 来自CPP参考的页面，我并不真正理解：

看来，标准有某种希望，我不明白为什么有必要。让我们以CPP参考为例：

#include <thread>
#include <atomic>
#include <cassert>
#include <string>
 
std::atomic<std::string*> ptr;
int data;
 
void producer()
{
    std::string* p  = new std::string("Hello");
    data = 42;
    ptr.store(p, std::memory_order_release);
}
 
void consumer()
{
    std::string* p2;
    while (!(p2 = ptr.load(std::memory_order_acquire)))
        ;
    assert(*p2 == "Hello"); // never fires
    assert(data == 42); // never fires
}
 
int main()
{
    std::thread t1(producer);
    std::thread t2(consumer);
    t1.join(); t2.join();
}

参考说明：

如果线程A中的原子存储是标记为MEMORY_ORDER_ORDER_RELEASE和来自同一变量的螺纹B中的原子负载，则标记为Memory_order_Acquire，所有内存写入（非原子和放松的原子）在原子商店之前就发生了 - 线程A的视图，在线程B中变为可见的副作用。也就是说，一旦原子负载完成，螺纹B保证可以看到所有线程写入内存的所有内容。仅当b实际返回存储的值或发行顺序后期的值。

中的值才能保持。

。

据我所知，当我们

ptr.store(p, std::memory_order_release)

实际在做什么是在告诉编译器和CPU时，运行时，可以做到data，并且内存指向< Code> std :: String* P 将在ptr的新值中可见。

同样的是，当我们

ptr.load(std::memory_order_acquire)

告诉编译器和CPU时：使其成为ptr的加载，不会更晚于*p2和data 的加载< /代码>。

所以我不明白我们在这里有什么进一步的承诺？

Answer 1

此ptr.store（p，std :: memory_order_release）（l1）保证，只要其他线程是其他线程，其他线程都可以看到此特定线程（t1）中此行之前完成的任何操作读取ptr以正确的方式读取（在这种情况下，使用std :: memory_order_acquire）。此保证只能与这对合作，仅此行保证了什么都没有保证。

现在，您在另一个线程（t2）上拥有ptr.load（std :: memory_order_acquire）（l2），该线程（t2）与另一个线程一起使用其对，保证只要它读取在用中读取的值T1您可以在该行之前看到其他值（在您的情况下，是data）。因此，因为L1 与 l2同步，data = 42; 发生在 assert（data == 42）之前。

另外，可以保证ptr是在原子上写下和读取的，因为它是原子。该代码中没有其他保证或承诺。