[Question] Code lines for maintaining the invariants of stack/queue

[GWS0428]

Hello,

Slides 115 and 116 provide the following explanations for stacks and queues, respectively:

Release: for maintaining the invariant (L54)
Acquire: for exploiting the invariant (L68; reads at L70,84 are safe)

Release:` for maintaining the invariant
MS queue: L88, 101, 111, 140, 148
Acquire: for exploiting the invariant
MS queue: L77, 81, 125, 128)

However, I've noticed that the specified line numbers do not correspond to the exact code lines for load, store, and CAS operations in the current version of the files. Could you please clarify this discrepancy?

Thank you

[Lee-Janggun]

My bad, I forgot these existed cause we didn't do weak memory last year...

Still, any acquire is for exploiting the invariant, and any release is for maintaining the environment. This should not change.