| 
|
Quote: Chord computes reachable pairs, aliasing pairs, escaping pairs, and unlocked pairs; using call-graph, alias, thread-escape, and lock analysis
Topic:
race conditions
Topic:
code optimization by flow analysis
Quotation Skeleton
Our race detection algorithm [Chord] … consists of four stages and four static analyses. … The stages, reachable pairs, aliasing pairs, escaping pairs, … potentially involved in a race. the stages depend … the call-graph and alias analyses are mutually dependent … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: race conditions (33 items)
Topic: code optimization by flow analysis (47 items)