Lecture preparation

Before lecture, read the paper assigned below, and submit two items to the submission website:

Also keep in mind that you will need to write a paper summary for your choice of papers throughout the semester.


Read the paper Efficient Scalable Thread-Safety-Violation Detection by Li et al. You can also watch the video of the conference presentation of this paper at SOSP 2019, here.

Why are we reading this paper?

What to learn from this paper?

Answer this question

How does TSVD define what constitutes a "concurrency bug" (i.e., their "thread-safety violation")? What kinds of bugs due to concurrency would TSVD never find? Are there concurrency bugs that TSVD flags but that are not "real bugs"?