Partitioned parameters: gather, materialize, read, release, then sum and
update the owned words.
1390def dpoPartitionedRound =
1391 (lambda unrestricted owners : Nat .
1392 (lambda unrestricted sum : (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
1393 (lambda unrestricted assemble : (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision)) .
1394 (lambda unrestricted gradients : (family StdList (family GlobalProtocol (family OrderedCombineOperation (family RegionTransferIdentity)) (family RegionTransferIdentity) (family ProtocolNoDecision))) .
1395 (dpoEachRole
1396 owners
1397 (constructor DataParallelOwnedOperation DataParallelOwnedOffer)
1398 (dpoSpliced
1399 (lambda unrestricted value : (family OrderedCombineOperation (family RegionTransferIdentity)) .
1400 (constructor DataParallelOwnedOperation DataParallelOwnedAssemble value))
1401 assemble
1402 (dpoEachRole
1403 owners
1404 (constructor DataParallelOwnedOperation DataParallelOwnedMaterialize)
1405 (dpoEachRole
1406 owners
1407 (constructor DataParallelOwnedOperation DataParallelOwnedContribute)
1408 (dpoEachRole
1409 owners
1410 (constructor DataParallelOwnedOperation DataParallelOwnedRelease)
1411 (dpoSumPhase
1412 owners
1413 sum
1414 gradients
1415 (dpoEachRole
1416 owners
1417 (constructor DataParallelOwnedOperation DataParallelOwnedUpdate)
1418 dpoEnd)))))))))))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.