The device placement of the plan's tables and of the host's other
buffers outside the video arena: the plan encodes launches against these
bases and the host (Coppelius.Build.NativeHost) allocates the buffers at
them.
over a submission schedule: the plan's own (coppeliusSubmissionSchedule)
or the same one profiled (coppeliusProfiledSubmissionSchedule)
33def coppeliusWholeProgramPlanFor =
34 (lambda unrestricted submissions : (family NvidiaSubmissionSchedule) .
35 (lambda unrestricted component : (family NvidiaWholeProgramComponent) .
36 (lambda unrestricted architecture : (family ModelWord32) .
37 (lambda unrestricted computeClass : (family ModelWord32) .
38 (lambda unrestricted spaVersion : (family ModelWord32) .
39 (lambda unrestricted qmdTableBytes : Nat .
40 (constructor
41 NvidiaWholeProgramPlan
42 NvidiaWholeProgramPlanValue
43 component
44 architecture
45 computeClass
46 spaVersion
47 (modelWord64FromNaturalTruncated coppeliusProgramBase)
48 (modelWord64FromNaturalTruncated coppeliusQMDBase)
49 (modelWord64FromNaturalTruncated coppeliusPushbufferBase)
50 (modelWord64FromNaturalTruncated coppeliusSemaphoreBase)
51 256
52 coppeliusSM86CompatProgramBytesNatural
53 coppeliusWholeProgramDeviceRegions
54 coppeliusLaunchSchedule
55 coppeliusLaunchCount
56 qmdTableBytes
57 submissions
58 coppeliusSubmissionCount
59 coppeliusSubmissionReferenceCount)))))))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.