UOR Address Regions
- IRI
https://uor.foundation/region/- Prefix
region:- Space
- kernel
- Comment
- Spatial locality of content-addressed ring elements. Defines computable working sets for resolver stages, independent of physical memory layout.
Imports
https://uor.foundation/op/https://uor.foundation/u/https://uor.foundation/schema/https://uor.foundation/type/https://uor.foundation/partition/https://uor.foundation/observable/
Classes
| Name | IRI | Subclass Of | Disjoint With | Comment |
|---|---|---|---|---|
| AddressRegion | https://uor.foundation/region/AddressRegion | http://www.w3.org/2002/07/owl#Thing | A contiguous range of u:Element values accessible during a single reduction step. Defines the resolver’s working set. | |
| RegionBound | https://uor.foundation/region/RegionBound | http://www.w3.org/2002/07/owl#Thing | The boundary of an AddressRegion: a pair (lowerAddress, upperAddress) in the content-address ordering. | |
| LocalityMetric | https://uor.foundation/region/LocalityMetric | https://uor.foundation/observable/MetricObservable | A metric on u:Element values determining which addresses are near each other for resolution purposes. | |
| WorkingSet | https://uor.foundation/region/WorkingSet | http://www.w3.org/2002/07/owl#Thing | The set of AddressRegions needed by a resolver at a specific reduction step for a specific type. Computable from the type’s constraint nerve. | |
| RegionAllocation | https://uor.foundation/region/RegionAllocation | http://www.w3.org/2002/07/owl#Thing | An assignment of AddressRegions to reduction steps for a given computation. Enables Prism to pre-compute memory layout. |
Properties
| Name | Kind | Functional | Domain | Range | Comment |
|---|---|---|---|---|---|
| regionLower | Object | true | https://uor.foundation/region/RegionBound | https://uor.foundation/u/Element | The lower bound of the address range. |
| regionUpper | Object | true | https://uor.foundation/region/RegionBound | https://uor.foundation/u/Element | The upper bound of the address range. |
| regionBound | Object | true | https://uor.foundation/region/AddressRegion | https://uor.foundation/region/RegionBound | The boundary of this region. |
| localityMetric | Object | true | https://uor.foundation/region/AddressRegion | https://uor.foundation/region/LocalityMetric | The metric defining contiguity for this region. |
| workingSetRegions | Object | false | https://uor.foundation/region/WorkingSet | https://uor.foundation/region/AddressRegion | The address regions composing this working set. |
| workingSetStage | Object | true | https://uor.foundation/region/WorkingSet | https://uor.foundation/reduction/ReductionStep | The reduction step this working set applies to. |
| workingSetType | Object | true | https://uor.foundation/region/WorkingSet | https://uor.foundation/type/TypeDefinition | The type being resolved. |
| allocationStage | Object | false | https://uor.foundation/region/RegionAllocation | https://uor.foundation/reduction/ReductionStep | Reduction steps in this allocation. |
| allocationWorkingSet | Object | false | https://uor.foundation/region/RegionAllocation | https://uor.foundation/region/WorkingSet | The working sets assigned to each stage. |
| regionCardinality | Datatype | true | https://uor.foundation/region/AddressRegion | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | Number of addresses in this region. |
| workingSetSize | Datatype | true | https://uor.foundation/region/WorkingSet | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | Total addresses across all regions in the working set. |