The shared publisher handles capture agreement and durability. This system
supplies only its region-to-state placement and final result protocol.
1415def chFinish =
1416 (lambda unrestricted layout : (family CoordinateHostLayout) .
1417 (lambda unrestricted worker : Nat .
1418 (lambda unrestricted resume : Nat .
1419 (eliminate
1420 StdResult
1421 (lambda unrestricted result : (family StdResult (family NativeCheckpointFailure) (family NativePhysicalCommands)) .
1422 (family NativePhysicalCommands))
1423 (planNativePeerRegionPublish
1424 (chPublication layout resume)
1425 (chExtent layout)
1426 worker
1427 (nativeSocketCloseChecked chConnection nativePeerScratchSlot (chOutput layout chHalt)))
1428 (branch
1429 StdFailure
1430 error
1431 .
1432 (nativeLaunchRecipeAssertEqual
1433 (nativeLaunchRecipeImmediate 0)
1434 (nativeLaunchRecipeImmediate 1)
1435 b"coordinate-publication-admission"
1436 chEnd))
1437 (branch StdSuccess commands . commands)))))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.