Fresh: version and cursor 0, the plan's epoch and the declared initial
parameters and optimizer state.
1082def dpFresh =
1083 (lambda unrestricted c : Nat .
1084 (lambda unrestricted u : Nat .
1085 (lambda unrestricted system : (family DataParallelSystem c u) .
1086 (lambda unrestricted layout : (family NativeDataParallelLayout) .
1087 (lambda unrestricted epoch : Nat .
1088 (lambda unrestricted tail : (family NativePhysicalCommands) .
1089 (nativeMemoryStoreWord64
1090 b"data-parallel-version"
1091 (dpStateAt layout)
1092 (nativeLaunchRecipeImmediate 0)
1093 (nativeMemoryStoreWord64
1094 b"data-parallel-cursor"
1095 (nativePointwiseAt (dpStateAt layout) 1)
1096 (nativeLaunchRecipeImmediate 0)
1097 (nativeMemoryStoreWord64
1098 b"data-parallel-epoch"
1099 (nativePointwiseAt (dpStateAt layout) 2)
1100 (nativeLaunchRecipeImmediate epoch)
1101 (dpStoreWords
1102 (dpParametersAt layout)
1103 (dataParallelInitialParameters c u system)
1104 (dpStoreWords
1105 (naturalAdd (dpParametersAt layout) (dpParameterBytes c u system))
1106 (dataParallelInitialStateWords c u system)
1107 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.