The host target selects this participant's instruction set and ABI
(Runtime.NativeHostTarget). Both coordinate owners derive the same program,
frames and checkpoint encoding on every target, so they may run on
different host architectures within one session.
1531def coordinateHostTargetArtifact =
1532 (lambda unrestricted target : (family NativeHostTarget) .
1533 (lambda unrestricted resources : (family NativeResourceContext) .
1534 (lambda unrestricted worker : Nat .
1535 (lambda unrestricted port : Nat .
1536 (lambda unrestricted resume : Nat .
1537 (lambda unrestricted epoch : Nat .
1538 (lambda unrestricted steps : Nat .
1539 (nat-eliminate
1540 (lambda unrestricted valid : Nat . Bytes)
1541 b""
1542 (lambda unrestricted previous : Nat .
1543 (lambda unrestricted ignored : Bytes .
1544 (chWithLayout
1545 b"f64-local-and-update"
1546 epoch
1547 0
1548 (lambda unrestricted layout : (family CoordinateHostLayout) .
1549 (eliminate
1550 StdResult
1551 (lambda unrestricted result : (family StdResult (family SocketAddressFailure) Bytes) .
1552 Bytes)
1553 (linuxIPv4SocketAddress ipv4Loopback port)
1554 (branch StdFailure error . b"")
1555 (branch
1556 StdSuccess
1557 address
1558 .
1559 (nativeHostTargetResourceArtifact
1560 target
1561 resources
1562 (chProgram
1563 layout
1564 (chCommands
1565 layout
1566 worker
1567 address
1568 resume
1569 steps
1570 (chHostForward layout)
1571 (chHostBackward layout))))))))))
1572 (naturalAnd
1573 (naturalLessOrEqual worker 1)
1574 (naturalAnd
1575 (naturalLessOrEqual resume 1)
1576 (naturalAnd
1577 (naturalNonzero epoch)
1578 (naturalAnd
1579 (naturalLessOrEqual (naturalAdd epoch resume) regionFrameWordLimit)
1580 (naturalAnd
1581 (naturalNonzero steps)
1582 (naturalLessOrEqual steps regionFrameWordLimit))))))))))))))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.