685def nativeCheckpointPublish =
686 (lambda unrestricted layout : (family NativeCheckpointLayout) .
687 (lambda unrestricted candidate : (family NativePhysicalOperand) .
688 (lambda unrestricted committed : (family NativePhysicalOperand) .
689 (lambda unrestricted directory : (family NativePhysicalOperand) .
690 (lambda unrestricted descriptor : Nat .
691 (lambda unrestricted slot : Nat .
692 (lambda unrestricted stages : Nat .
693 (lambda unrestricted tail : (family NativePhysicalCommands) .
694 (nativeCheckpointPrepare
695 layout
696 slot
697 (nativeFileOpen
698 candidate
699 nativeFileCandidateFlags
700 descriptor
701 slot
702 b"checkpoint-candidate-open"
703 (nativeFileWrite
704 (nativeLaunchRecipeSlotValue descriptor)
705 (nativeMemoryState (nativeCheckpointBase layout))
706 (nativeCheckpointFileBytes layout)
707 (nativeLaunchRecipeImmediate 0)
708 slot
709 b"checkpoint-write"
710 (nativeFileRead
711 (nativeLaunchRecipeSlotValue descriptor)
712 (nativeMemoryState (nativeCheckpointReadbackAt layout))
713 (nativeCheckpointFileBytes layout)
714 (nativeLaunchRecipeImmediate 0)
715 slot
716 b"checkpoint-readback"
717 (nativeFileRequireEOF
718 (nativeLaunchRecipeSlotValue descriptor)
719 (nativeMemoryState (nativeCheckpointProbeAt layout))
720 (nativeCheckpointFileBytes layout)
721 slot
722 (nativeMemoryCompareRegions
723 (nativeCheckpointBase layout)
724 (nativeCheckpointReadbackAt layout)
725 (nativeCheckpointFileBytes layout)
726 slot
727 b"checkpoint-readback-mismatch"
728 (nativeFileCommitStages
729 stages
730 0
731 descriptor
732 slot
733 candidate
734 committed
735 directory
736 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.