book: revise release acquire semantics

Fixes #174
This commit is contained in:
Changkun Ou
2021-08-11 13:10:34 +02:00
parent b0f6f30988
commit 93ce6490a6
2 changed files with 5 additions and 4 deletions

View File

@@ -472,9 +472,9 @@ int main() {
consumer.join();
```
3. 释放/获取模型:在此模型下,我们可以进一步加紧对不同线程间原子操作的顺序的限制,在释放 `std::memory_order_release` 和获取 `std::memory_order_acquire` 之间规定时序,即发生在释放操作之前的**所有**写操作对其他线程的任何获取操作都是可见的亦即发生顺序happens-before
3. 释放/获取模型:在此模型下,我们可以进一步加紧对不同线程间原子操作的顺序的限制,在释放 `std::memory_order_release` 和获取 `std::memory_order_acquire` 之间规定时序,即发生在释放release操作之前的**所有**写操作,对其他线程的任何获取acquire操作都是可见的亦即发生顺序happens-before
可以看到,`std::memory_order_release` 确保了它之的写行为不会发生在释放操作之,是一个向的屏障,而 `std::memory_order_acquire` 确保了它之前的写行为不会发生在该获取操作之后,是一个向的屏障。对于选项 `std::memory_order_acq_rel` 而言,则结合了这两者的特点,唯一确定了一个内存屏障,使得当前线程对内存的读写不会被重排此操作的前后
可以看到,`std::memory_order_release` 确保了它之的写操作不会发生在释放操作之,是一个向的屏障backward,而 `std::memory_order_acquire` 确保了它之前的写行为不会发生在该获取操作之后,是一个向的屏障forward。对于选项 `std::memory_order_acq_rel` 而言,则结合了这两者的特点,唯一确定了一个内存屏障,使得当前线程对内存的读写不会被重排并越过此操作的前后
我们来看一个例子: