A read of the replica: it is held and was gathered at the current version.
1124def dpoReading =
1125 (lambda unrestricted c : Nat .
1126 (lambda unrestricted u : Nat .
1127 (lambda unrestricted system : (family DataParallelSystem c u) .
1128 (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
1129 (lambda unrestricted tail : (family NativePhysicalCommands) .
1130 (let unrestricted replica =
1131 (dpoReplicaAt c u system layout)
1132 in
1133 (nativeLaunchRecipeAssertEqual
1134 (nativeMemoryLoad replica)
1135 (nativeLaunchRecipeImmediate 1)
1136 b"data-parallel-replica-released"
1137 (nativeLaunchRecipeAssertEqual
1138 (nativeMemoryLoad (nativePointwiseAt replica 1))
1139 (nativeMemoryLoad (dpoStateAt layout))
1140 b"data-parallel-replica-version"
1141 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.