Quote: report counterexamples for each race, categorized by field and by object; which threads, which objects, and which locks

Quotation Skeleton

Explaining a race involves various aspects such as … set of locks held by the threads. Merely … makes it cumbersome to determine whether the race … , or a false positive. Thus, it is … that the race occurs if the 'insert' and … [p. 314] [Chord reports counterexamples for each race and categorizes races by field and by objects]   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: race conditions (33 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)