Preparation for the Eraser paper

Before reading the Eraser paper, refresh your memory on what race conditions are and the troubles that they can cause by revisiting sections 5.2.2, 5.2.3, and 5.2.4 of the textbook.

Then, read the Eraser paper, and think about the following questions as you read the paper:

Answer the following questions and bring your answers to recitation:

• According to the lockset algorithm, when does eraser signal a data race? Why is this condition chosen?
• Under what conditions does Eraser report a false positive? What conditions does it produce false negatives?

Questions or comments regarding 6.033? Send e-mail to the 6.033 staff at 6.033-staff at mit.edu or to the 6.033 TAs at 6.033-tas at mit.edu.

Top // 6.033 home //