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
| Name | IRI | Subclass Of | Disjoint With | Comment |
|---|---|---|---|---|
| ParallelProduct | https://uor.foundation/parallel/ParallelProduct | http://www.w3.org/2002/07/owl#Thing | A ∥ B: two computations with provably disjoint site targets. Execution order does not affect the result. | |
| DisjointnessCertificate | https://uor.foundation/parallel/DisjointnessCertificate | https://uor.foundation/cert/Certificate | A kernel-produced certificate attesting that the site targets of two computations are disjoint. | |
| SynchronizationPoint | https://uor.foundation/parallel/SynchronizationPoint | http://www.w3.org/2002/07/owl#Thing | A point where two parallel computations must agree on shared state before proceeding. Only applicable when parallelism is partial. | |
| ParallelTrace | https://uor.foundation/parallel/ParallelTrace | https://uor.foundation/trace/ComputationTrace | A computation trace recording interleaved steps from two parallel computations. Valid iff every interleaving produces the same final context. | |
| SitePartitioning | https://uor.foundation/parallel/SitePartitioning | http://www.w3.org/2002/07/owl#Thing | A partition of the total site budget into disjoint subsets, one per parallel component. The sum of subset cardinalities equals the total site budget. |
Properties
| Name | Kind | Functional | Domain | Range | Comment |
|---|---|---|---|---|---|
| leftComputation | Object | true | https://uor.foundation/parallel/ParallelProduct | https://uor.foundation/monoidal/MonoidalProduct | The left parallel component (itself a sequential computation). |
| rightComputation | Object | true | https://uor.foundation/parallel/ParallelProduct | https://uor.foundation/monoidal/MonoidalProduct | The right parallel component. |
| disjointnessCert | Object | true | https://uor.foundation/parallel/ParallelProduct | https://uor.foundation/parallel/DisjointnessCertificate | The certificate proving site disjointness. |
| certLeftTarget | Object | true | https://uor.foundation/parallel/DisjointnessCertificate | https://uor.foundation/effect/EffectTarget | The site target of the left computation. |
| certRightTarget | Object | true | https://uor.foundation/parallel/DisjointnessCertificate | https://uor.foundation/effect/EffectTarget | The site target of the right computation. |
| syncSites | Object | false | https://uor.foundation/parallel/SynchronizationPoint | https://uor.foundation/partition/SiteIndex | The shared sites requiring synchronization. |
| partitionComponents | Object | false | https://uor.foundation/parallel/SitePartitioning | https://uor.foundation/effect/EffectTarget | The disjoint subsets composing the full site budget. |
| componentCount | Datatype | true | https://uor.foundation/parallel/SitePartitioning | http://www.w3.org/2001/XMLSchema#positiveInteger | Number of parallel components. |
| isFullyDisjoint | Datatype | true | https://uor.foundation/parallel/ParallelProduct | http://www.w3.org/2001/XMLSchema#boolean | True iff site targets have zero overlap (no SynchronizationPoints required). |
| disjointnessCommutation | Datatype | true | https://uor.foundation/parallel/ParallelProduct | http://www.w3.org/2001/XMLSchema#boolean | Declares whether this parallel product commutes with disjoint effects per FX_4. |