Homework: Reading questions

Submit two items to the submission website (see link in the navigation bar at the top of the page):

Submit your own question about the paper (e.g., what you find most confusing about the paper or the paper's general context/problem), before lecture (i.e., 1pm). You cannot use the question below. To the extent possible, during lecture we will try to answer questions submitted beforehand.
Submit your answer for the question below, before the beginning of the lecture.

Answer the following question:

The CSPEC paper argues that Release for a lock can be thought of as a left-mover because the Release can be moved left in an execution trace. But moving a Release left would seemingly affect what is legal afterwards: namely, if Release is moved left, then another thread can now Acquire the lock sooner than it would have otherwise been able to. What does it mean for Release to be a left-mover then?

Questions or comments regarding 6.826? Contact us on Piazza or send e-mail to the 6.826 staff at 6826-staff@lists.csail.mit.edu.