Homework: Reading questions

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

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.

Creative Commons License