Views in release/acquire about cs431 HOT 4 CLOSED

1. No. If you're load-acquiring a message without an annotated view, then no view is incorporated to the current thread's view. In particular, the right thread can read Y=0, without modifying it's per-thread view.

2. When a thread may read from arbitrary messages, as far as it's not before the thread's per-thread view. Thus the semantics is nondeterministic: you have to consider executions in which a load reads from a mesasge, and executions in which a load reads from another message.

from cs431.

Thank you! Q2 is clear.
For clarification, in Q1, in the scenario described in the answer(that right thread can read Y=0 in the picture provided), the Y.load(acquire) can result in Y=0?
It's interesting, because before I thought that release-acquire synchronization forces Y.load(acquire) to result in Y=1 in all cases(in other words, forces the right thread to read 1 from Y, not 0).

from cs431.

Regarding Q1: yes, T2 can read Y=0. Release/acquire on X does not enforce a thread to read a particular message of X.

from cs431.

Closing, but feel free to reopen it if you have followup questions.

from cs431.