Reading Assignment 2: Synchronization

Mandatory papers to read:

• C. A. R. Hoare, Monitors: an operating system structuring concept
• Butler W. Lampson, David D. Redell, Experience with processes and monitors in Mesa,Communications of the ACM, February 1980
• Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson, Eraser: a dynamic data race detector for multithreaded programs

Optional reading:

• Maurice Herlihy, Wait-Free Synchronization, ACM TOPLAS, 1991
• P. E. McKenney, D. Sarma, A. Arcangeli, A. Kleen, O. Krieger, and R. Russell, Read Copy Update, OLS 2002

Read all of the mandatory papers and select two of the papers to write a report for.

Due date for your report: September 17, 2026. No deadline extensions are possible. Bring your printed report to the lecture.

Detailed instructions can be found here.