AlphaGitHub
Source/Systems

Coppelius.Build.Graph

systems/coppelius/src/Coppelius/Build/Graph.alpha

3,461 lines536 declarations124.9 KiBSHA-256 6b9f923bd170
Download exact fileView at revisionf5034773ad4bb52133

def · lines 2936–2944

coppeliusRunSubmissionSample

Full file
The order the run issues the plan's submissions in (Coppelius.Build. NativeHost), at its smallest: the prefix; two steps; a checkpoint; two steps; the final forward; the last checkpoint; the report put back. Every transition a longer run makes is one of these (a step after a step, a step after a checkpoint, the final forward after a step), so the device certificate over this order (coppeliusRunDeviceHazard) covers any run.
2936def coppeliusRunSubmissionSample : (family NvidiaSubmissionSchedule) =
2937  (cgSubmissionThen cgPrefixSubmissions
2938    (cgSubmissionThen cgUpdateSubmissions
2939      (cgSubmissionThen cgUpdateSubmissions
2940        (cgSubmissionThen cgGatherSubmissions
2941          (cgSubmissionThen cgUpdateSubmissions
2942            (cgSubmissionThen cgUpdateSubmissions
2943              (cgSubmissionThen cgFinalSubmission
2944                (cgSubmissionThen cgGatherSubmissions cgRestoreSubmission))))))))

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.