After a verified restore of the parameters: the restored (version, cursor,
epoch) from `capture`, then epoch + 1 (a new membership epoch).
1111def dpResumed =
1112 (lambda unrestricted layout : (family NativeDataParallelLayout) .
1113 (lambda unrestricted capture : Nat .
1114 (lambda unrestricted tail : (family NativePhysicalCommands) .
1115 (nativeMemoryCopyOperands
1116 (nativeMemoryState (dpStateAt layout))
1117 (nativeMemoryState capture)
1118 nativeRegionCaptureBytes
1119 nativePeerScratchSlot
1120 b"data-parallel-restore-capture"
1121 (nativeLaunchRecipeAssertEqual
1122 (nativeMemoryLoad (dpStateAt layout))
1123 (nativeMemoryLoad (nativePointwiseAt (dpStateAt layout) 1))
1124 b"data-parallel-input-position"
1125 (nativeCheckedWordAdd
1126 (nativeMemoryState (nativePointwiseAt (dpStateAt layout) 2))
1127 (nativeMemoryLoad (nativePointwiseAt (dpStateAt layout) 2))
1128 (nativeLaunchRecipeImmediate 1)
1129 nativePeerScratchSlot
1130 b"data-parallel-epoch-overflow"
1131 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.