The checkpoint gathered back, from gpPut `first`: each chunk's gather
issued and the staged chunk written to the temporary. Gathers laid end
to end at a common stride (equal pieces) are issued by one repeat, the
piece and its ring entry advancing per iteration; a chunk whose piece
differs (one that spans two planes takes a launch more) starts a run of
its own. The runs are read off the realized table (the stride is the
second full chunk's step from the first), and nvidiaPlanHostReissuesAdmitted
holds every entry issued to it.
318def coppeliusGatherEntry =
319 (lambda unrestricted entries : Bytes . (lambda unrestricted chunk : Nat .
320 (nvidiaPlanHostTableWord entries (coppeliusGatherPiece chunk))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.