AlphaGitHub
Source/Packages

Runtime.NativeDataParallelOwned

packages/execution/src/Runtime/NativeDataParallelOwned.alpha

2,874 lines126 declarations142.2 KiBSHA-256 de18258423c4
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 1074–1090

dpoInstall

Full file
Every coordinate was owned; install the assembled parameters and advance.
1074def dpoInstall =
1075  (lambda unrestricted c : Nat .
1076    (lambda unrestricted u : Nat .
1077      (lambda unrestricted system : (family DataParallelSystem c u) .
1078        (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
1079          (lambda unrestricted tail : (family NativePhysicalCommands) .
1080            (let unrestricted result =
1081              (nativeCombineResultAt (dpoAssemblePlacement layout))
1082              in
1083              (dpoCovered
1084                (dpK c u system)
1085                result
1086                (dpCopy
1087                  (dpoParametersAt layout)
1088                  result
1089                  (dpParameterBytes c u system)
1090                  (niAdvanceAt (dpoStateAt layout) tail)))))))))

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.