Map
Index
Random
Help
th

Quote: Chord computes reachable pairs, aliasing pairs, escaping pairs, and unlocked pairs; using call-graph, alias, thread-escape, and lock analysis

QuoteRef: naikM6_2006 , p. 308



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.


Related Topics up

Topic: race conditions (33 items)
Topic: code optimization by flow analysis (47 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.