A quicktime movie(38K) is available to illustrate
the SDF composition theorem precedence shift conditions. |
On the left side of the movie, an SDF graph is shown where the number of delays are changing on some of the arcs. On the right side of the movie, the corresponding precedence graph is shown.
The SDF arc on which the delays are depicted in red is being tested for deadlock using the precedence shift conditions. If the current number of delays yields a deadlock, the corresponding cycle in the precedence graph is highlighted in red.