放松订购作为信号

relaxed ordering as a signal

本文关键字：信号      更新时间：2023-10-16

假设我们有两个线程。一个给出" go"的人，一个等待一遍生产的东西。

此代码是正确的，还是由于缓存或类似的内容，我可以拥有"无限循环"？

std::atomic_bool canGo{false};
void producer() {
    while(canGo.load(memory_order_relaxed) == false);
    produce_data();
}
void launcher() {
    canGo.store(true, memory_order_relaxed);
}
int main() {
    thread a{producer};
    thread b{launcher};
}

如果此代码不正确，是否有一种方法可以使标准C 中的缓存无效？

这样的go信号通常会响应您希望目标的某些内存更改。

换句话说，您通常需要给出 reparte /获取语义语义。

可以通过在商店上使用memory_order_release和在负载上使用memory_order_acquire，或者通过放松的商店和AN 将 Release fence 放在在之后获取 fence 宽松的负载，以便在商店在商店中可以看到信号之前的记忆操作(例如，请参见https://preshing.com/20120913/acquire--和释放 - 词/或C/C 标准(。

我记得栅栏的订购方式是，据我了解，核心之间共享的内存操作实际上是实现了遵循协议的硬件的硬件，并且释放栅栏应该像输出缓冲区齐平一样以及像输入缓冲区冲洗/同步一样的获取围栏。

现在，如果您在发行轻松的商店之前冲洗核心的内存OP输出缓冲区，那么当目标核心看到放松的商店时，前面的内存OP消息必须可用，以及所有需要的东西要查看其内存的记忆变化是在看到信号存储库后将它们与获取围栏同步。

相关文章：