UOR Parallel Composition

IRI
https://uor.foundation/parallel/
Prefix
parallel:
Space
kernel
Comment
Independent computations over provably disjoint site budgets. Formalizes when execution order is irrelevant.

Imports

  • https://uor.foundation/op/
  • https://uor.foundation/effect/
  • https://uor.foundation/monoidal/
  • https://uor.foundation/partition/
  • https://uor.foundation/cert/
  • https://uor.foundation/trace/

Classes

NameIRISubclass OfDisjoint WithComment
ParallelProducthttps://uor.foundation/parallel/ParallelProducthttp://www.w3.org/2002/07/owl#ThingA ∥ B: two computations with provably disjoint site targets. Execution order does not affect the result.
DisjointnessCertificatehttps://uor.foundation/parallel/DisjointnessCertificatehttps://uor.foundation/cert/CertificateA kernel-produced certificate attesting that the site targets of two computations are disjoint.
SynchronizationPointhttps://uor.foundation/parallel/SynchronizationPointhttp://www.w3.org/2002/07/owl#ThingA point where two parallel computations must agree on shared state before proceeding. Only applicable when parallelism is partial.
ParallelTracehttps://uor.foundation/parallel/ParallelTracehttps://uor.foundation/trace/ComputationTraceA computation trace recording interleaved steps from two parallel computations. Valid iff every interleaving produces the same final context.
SitePartitioninghttps://uor.foundation/parallel/SitePartitioninghttp://www.w3.org/2002/07/owl#ThingA partition of the total site budget into disjoint subsets, one per parallel component. The sum of subset cardinalities equals the total site budget.

Properties

NameKindFunctionalDomainRangeComment
leftComputationObjecttruehttps://uor.foundation/parallel/ParallelProducthttps://uor.foundation/monoidal/MonoidalProductThe left parallel component (itself a sequential computation).
rightComputationObjecttruehttps://uor.foundation/parallel/ParallelProducthttps://uor.foundation/monoidal/MonoidalProductThe right parallel component.
disjointnessCertObjecttruehttps://uor.foundation/parallel/ParallelProducthttps://uor.foundation/parallel/DisjointnessCertificateThe certificate proving site disjointness.
certLeftTargetObjecttruehttps://uor.foundation/parallel/DisjointnessCertificatehttps://uor.foundation/effect/EffectTargetThe site target of the left computation.
certRightTargetObjecttruehttps://uor.foundation/parallel/DisjointnessCertificatehttps://uor.foundation/effect/EffectTargetThe site target of the right computation.
syncSitesObjectfalsehttps://uor.foundation/parallel/SynchronizationPointhttps://uor.foundation/partition/SiteIndexThe shared sites requiring synchronization.
partitionComponentsObjectfalsehttps://uor.foundation/parallel/SitePartitioninghttps://uor.foundation/effect/EffectTargetThe disjoint subsets composing the full site budget.
componentCountDatatypetruehttps://uor.foundation/parallel/SitePartitioninghttp://www.w3.org/2001/XMLSchema#positiveIntegerNumber of parallel components.
isFullyDisjointDatatypetruehttps://uor.foundation/parallel/ParallelProducthttp://www.w3.org/2001/XMLSchema#booleanTrue iff site targets have zero overlap (no SynchronizationPoints required).
disjointnessCommutationDatatypetruehttps://uor.foundation/parallel/ParallelProducthttp://www.w3.org/2001/XMLSchema#booleanDeclares whether this parallel product commutes with disjoint effects per FX_4.
sitePartitionObjecttruehttps://uor.foundation/parallel/ParallelProducthttps://uor.foundation/partition/PartitionThe partition:Partition this parallel product is over.
disjointnessWitnessDatatypetruehttps://uor.foundation/parallel/ParallelProducthttp://www.w3.org/2001/XMLSchema#stringIRI of a proof of pairwise disjointness of the partition components.