These are my notes.
For a function marked for detailed recording, we would like to record the dependence between any pair of its statements, even though the actual data access happens in a function call to some other functions. The
function-level dependence is between two statements of a detail recorded function. The
access-level dependence is between the two statements accessing the memory.
The frozen time increments only when a statement in a detail recorded function is executed. The analyzer records a dependence only when the source and the sink happen at different frozen times. It removes from consideration dependences that span an execution without any occurrence of detail recorded statements.
Topic revision: r2 - 28 Jan 2008 - 03:20:24 -
ChenDing