The projected round program, repeated `steps` times, for this role.
948def dpProjected =
949 (lambda unrestricted c : Nat .
950 (lambda unrestricted u : Nat .
951 (lambda unrestricted system : (family DataParallelSystem c u) .
952 (lambda unrestricted topology : (family DataParallelTopology) .
953 (lambda unrestricted layout : (family NativeDataParallelLayout) .
954 (lambda unrestricted steps : Nat .
955 (let unrestricted owners =
956 (dpOwners c u system)
957 in
958 (let unrestricted placement =
959 (dpPlacement layout)
960 in
961 (stdResultBind
962 (family OrderedCombineFailure)
963 (family
964 GlobalProtocol
965 (family OrderedCombineOperation (family RegionTransferIdentity))
966 (family RegionTransferIdentity)
967 (family ProtocolNoDecision))
968 (family
969 ParticipantProtocol
970 (family DataParallelRoundOperation)
971 (family RegionTransferIdentity)
972 (family ProtocolNoDecision))
973 (planNativeCombineGlobal
974 placement
975 (dpContract topology owners)
976 owners
977 (dpMembers owners)
978 (dpBaseAnchor c u system (dpDigest layout)))
979 (lambda unrestricted combine : (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
980 (eliminate
981 StdResult
982 (lambda unrestricted result : (family StdResult (family ProtocolFailure) (family ParticipantProtocol (family DataParallelRoundOperation) (family RegionTransferIdentity) (family ProtocolNoDecision))) .
983 (family
984 StdResult
985 (family OrderedCombineFailure)
986 (family
987 ParticipantProtocol
988 (family DataParallelRoundOperation)
989 (family RegionTransferIdentity)
990 (family ProtocolNoDecision))))
991 (planParticipantProtocol
992 (family DataParallelRoundOperation)
993 (family RegionTransferIdentity)
994 (family ProtocolNoDecision)
995 owners
996 (nativeCombineRole (nativeCombinePlacementContext placement))
997 (dpLocalAdmitted owners placement)
998 (nativeCombineTransferAdmitted placement)
999 (protocolNoDecision (family RegionTransferIdentity))
1000 (protocolRepeat
1001 (family DataParallelRoundOperation)
1002 (family RegionTransferIdentity)
1003 (family ProtocolNoDecision)
1004 steps
1005 (dpRound owners combine)
1006 dpRoundEnd))
1007 (branch
1008 StdFailure
1009 failure
1010 .
1011 (constructor
1012 StdResult
1013 StdFailure
1014 (family OrderedCombineFailure)
1015 (family
1016 ParticipantProtocol
1017 (family DataParallelRoundOperation)
1018 (family RegionTransferIdentity)
1019 (family ProtocolNoDecision))
1020 (constructor OrderedCombineFailure CombineProtocolRefused failure)))
1021 (branch
1022 StdSuccess
1023 projected
1024 .
1025 (constructor
1026 StdResult
1027 StdSuccess
1028 (family OrderedCombineFailure)
1029 (family
1030 ParticipantProtocol
1031 (family DataParallelRoundOperation)
1032 (family RegionTransferIdentity)
1033 (family ProtocolNoDecision))
1034 projected)))))))))))))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.