Release Sequences

如果

• 有标记为memory_order_release，memory_order_acq_rel或memory_order_seq_cst的store，
• 和标记为memory_order_consume，memory_order_acquire或memory_order_seq_cst的load，
• 并且在操作链中的每个操作都load上一个操作write的值，

那么这个操作链构成一个release sequence，并且

• 初始的store synchronizes-with 用memory_order_acquire或memory_order_seq_cst标记的最后的load；
• 或初始的store dependency-ordered-before 用memory_order_consume标记的最后的load。

操作链中的RMW操作可以被标记为任意一种memory ordering。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21

vector<int> queue_data;
atomic<int> count;

void f1() {
  queue_data.push_back(1); // (1)
  count.store(number_of_items, memory_order_release); // (2)
}

void f2() {
  while(true) {
    int item_index;
    if((item_index = count.fetch_sub(1, memory_order_acquire)) <= 0) { // (3)
      continue;
    }
    process(queue_data[item_index-1]);
  }
}

thread a(f1);
thread b(f2);
thread c(f2);

在上述代码中，执行f2的有两个线程，由于acquire-release语义，(2)肯定是与第一个(3)有synchronizes-with关系的。后面还有一个(3)，第一个(3)写入的值被第二个(3)读取，因此操作链构成一个release sequence，由因为最后一个(3)是memory_order_acquire（无论是哪个线程中的fetch_sub作为最后一个），因此有(2)synchronizes-with最后一个(3)。