seqlock/note.txt

   1 Inference results for this benchmark are consistent with the manual analysis.
   2 In the write() function, either the load of _seq at the very beginning or the CAS
   3 of the _seq when it succeeds must be acquire such that it establishes
   4 synchronization between two contiguous write(). If not, the two _data.store
   5 operations are not ordered by hb, and the next read() can read either, thus
   6 allowing reading the wrong (old) value.