MaterializeReadVersion: every coordinate was owned; the gathered
parameters become this owner's read replica of the current version.
1094def dpoMaterialize =
1095 (lambda unrestricted c : Nat .
1096 (lambda unrestricted u : Nat .
1097 (lambda unrestricted system : (family DataParallelSystem c u) .
1098 (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
1099 (lambda unrestricted tail : (family NativePhysicalCommands) .
1100 (let unrestricted result =
1101 (nativeCombineResultAt (dpoAssemblePlacement layout))
1102 in
1103 (let unrestricted replica =
1104 (dpoReplicaAt c u system layout)
1105 in
1106 (dpoCovered
1107 (dpK c u system)
1108 result
1109 (dpCopy
1110 (dpoReplicaParametersAt c u system layout)
1111 result
1112 (dpParameterBytes c u system)
1113 (dpCopy
1114 (nativePointwiseAt replica 1)
1115 (dpoStateAt layout)
1116 dpWord
1117 (nativeMemoryStoreWord64
1118 b"data-parallel-replica-held"
1119 replica
1120 (nativeLaunchRecipeImmediate 1)
1121 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.