Eraser: Reading Question


You want to use Eraser on some code that you wrote in 2010. This code makes use of variables that are both smaller and larger than the 32-bit variables that Eraser was created to track. Without modifying Eraser, will Eraser accurately detect:

  1. …races for variables smaller than 32-bits?
  2. …races for variables larger than 32-bits?

Why or why not? Explain what leads to accurate detection or false positives/negatives in each case.


Submitting


Local Stanford students should write up their response on a sheet of paper that includes their name. The sheet of paper with the response should be submitted immediately before lecture.

SCPD students should write up their response in a text file named response.eraser.txt and upload it via the submission and grades page. You’ll need to sign in with your SUNetID to access the page. Ensure that the file is named exactly response.eraser.txt; other filenames will not be accepted.

In either case, the response should be short, likely only a pithy paragraph in length.

Lecture

Tuesdays and Thursdays
4:30pm - 5:50pm
Gates B1

Office Hours

Dawson
Mondays
3:00pm - 5:00pm
Gates 314

Sergio
Mondays and Wednesdays
6:00pm - 7:30pm
Gates 288

Staff List

Dawson Engler
Instructor
Gates 314

Sergio Benitez
Instructor
Gates 288

Questions?

Ask on Piazza!

Previous Terms

Spring 2015
Spring 2014
Winter 2013
Spring 2013
Spring 2012
Spring 2011
Spring 2010