Card 14 / 22: 3. [8 points]: Which of the following statements about the Lockset algorithm as used in the Race-Track paper (Reading #7 "RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking” by Yu, Rodeheffer, and Chen, Proc. of the 20th ACM Symposium on Operating Systems Principles, 2005) is true?It can report false race conditions that are not actually present in the code.
A)
True
B)
False
Answer:
A) True
Previous Card | ← Previous Card Button |
Next Card | → Next Card Button |
Flip Card | Space-Bar |
The experimental results demonstrate clearly that a number of non-race conditions are detected by the algorithm.
|
Computer System Engineering 6.033 Spring 2009
Author:
Prof.Robert MorrisProfessor
MIT Massachusetts Institute of Technology
USA
Access: |