Paper VIII visual guide · Visual 15 of 32 · TOPOLOGICAL LEVELS WITH EXACT OUTPUTS

A solve has a dependency clock

Traditional pp. 22, 35 / Theorem 6.5, Corollary 6.6, Theorem 10.3.

Start reading

Resources & source

Original plate in the visual-guide PDF · Original atlas source

Skip contents and start reading

For seven scalar packets, put two on the diagonal and \(-1\) on each declared incoming edge. The edges are \(0\to2\), \(1\to2\), \(1\to3\), \(2\to4\), \(3\to4\), \(3\to5\), \(4\to6\), and \(5\to6\). Solve \((2I+K)x={\mathbf{1}}\).

A triangular solve organized by dependency levels
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

Bars place packet tasks into four dependency stages. Later stages follow the declared predecessor dependencies. The vector at right gives the supplied solve’s exact output.

Drawing labels and data 20 labels

Read the original labels as selectable text. Tables preserve grid relationships; other short labels are grouped compactly.

  • 0
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • stage 1
  • stage 2
  • stage 3
  • stage 4

\(x=(2I+K)^{-1}\mathbf1\)

\(\frac{1}{2}\)

\(\frac{1}{2}\)

  • \(1\)

\(\frac{3}{4}\)

\(\frac{11}{8}\)

\(\frac{7}{8}\)

\(\frac{13}{8}\)

  • packet task

Open the full-size drawing

Read the stages as dependencies

Packets zero and one are ready first. Packets two and three use those values. Packets four and five then become available, followed by packet six. For instance,

\[ x_4=\frac{1+x_2+x_3}{2}=\frac{11}{8},\qquad x_6=\frac{1+x_4+x_5}{2}=\frac{13}{8}. \]

All entries in the displayed solution are checked by multiplying the original triangular matrix by the resulting vector.

When is four a minimum?

There are four vertices on a longest dependency path. Under the paper's unit-duration, unlimited-concurrency model, four stages are both necessary and attainable. If only one execution slot is available, seven tasks require seven slots of work. If task durations differ, the relevant critical path is weighted.

The theorem is not a universal GPU scheduling result. Transfers, synchronization, contention, and nonunit task costs change the model. The exact benefit here is that independent rows in one level need not wait for one another's mathematical results.

Read this as

A topological schedule separates dependencies from resources. Its optimal depth is conditional on the task-duration and concurrency model that defines a stage.

Source and conversion record

The original atlas wording, equations, and drawing labels are retained. Drawings are views of the retained visual-guide PDF. Text descriptions and table headings are added reading aids. This conversion does not rebuild TeX, rerun the examples, audit proofs or compile Lean.

The revised crosswalk binds all 32 plates to the retained PDF. Manuscript links use stable source labels checked against the manuscript. The guide’s “Classical input 7.5” resolves to the manuscript’s “Standard fact 7.5” at the same label.

Conversion checks and source hashes

Notation in Paper VIII

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index