kaist-cp/cs431

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

GWS0428 opened this issue · 1 comments

GWS0428 commented

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 commented

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.

  • 👍1