ReleaseReadReplica: the replica is no longer held and its parameters are
cleared.
1145def dpoRelease =
1146 (lambda unrestricted c : Nat .
1147 (lambda unrestricted u : Nat .
1148 (lambda unrestricted system : (family DataParallelSystem c u) .
1149 (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
1150 (lambda unrestricted tail : (family NativePhysicalCommands) .
1151 (nativeMemoryStoreWord64
1152 b"data-parallel-replica-release"
1153 (dpoReplicaAt c u system layout)
1154 (nativeLaunchRecipeImmediate 0)
1155 (dpEach
1156 (dpK c u system)
1157 (lambda unrestricted coordinate : Nat .
1158 (nativeMemoryStoreWord64
1159 b"data-parallel-replica-clear"
1160 (nativePointwiseAt (dpoReplicaParametersAt c u system layout) coordinate)
1161 (nativeLaunchRecipeImmediate 0)))
1162 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.