我读了这个Q&A：What is the significance of 'strongly happens before' compared to '(simply) happens before'?
作者给出了一个有趣的评估的大纲，这个评估在C20之前是不可能的，但显然可以从C20开始：

.-- T3 y.store(3, seq_cst);                   --.                 (2)
|        |                                      | strongly
|        | sequenced before                     | happens
|        V                                      | before
|   T3 a = x.load(seq_cst); // a = 0    --.   <-'                 (3)
|                                         : coherence-
|                                         : ordered
|                                         : before
|   T1 x.store(1, seq_cst);             <-'   --. --.             (4)
|        |                                      |st |
|        | sequenced before                     |h  |
|        V                                      |b  |
| . T1 y.store(1, release);                   <-'   |             (x)
| |      :                                          | strongly
| |      : synchronizes with                        | happens
| |      V                                          | before
| > T2 b = y.fetch_add(1, seq_cst); // b = 1  --.   |             (1)
|        |                                      |st |
|        | sequenced before                     |h  |
|        V                                      |b  |
'-> T2 c = y.load(relaxed); // c = 3          <-' <-'

字符串
右边的数字表示可能的seq_cst阶数（为了方便，我加上了（x）;该行不参与SC订单，因为它不是SC操作）。
我试图理解这个例子中y的修改顺序是什么，但我不知道如何确定它。（或者对于此评估，y是否有多个可能的修改顺序？..）
更一般地说，C++中原子变量的修改顺序是如何定义的？比如说https://en.cppreference.com/w/cpp/atomic/memory_order的
写-写一致性：如果修改某个原子M的求值A（写）发生在修改M的求值B之前，那么按照M的修改顺序，A出现在B之前
因此，修改顺序似乎必须与write-write happens-before-one一致。
它是唯一定义修改顺序的东西吗？
在上面的例子中，AFAIU在（2）和（1）之间没有happens-before;那么在y的修改顺序中，哪个是第一个？
是否为y（x 1 2）的模阶（对于此评估）？
我相信这也可能有助于推理seq_cst顺序。