Uno/Binary/Spec/Threading-Model

Type: Specification State: Evolving Availability: URE 1.3

The refined specification of the abstract threading-model for the Binary Uno runtime.

Description

Support threading type specific purpose environments.

API

• Uno/Binary/Spec/Environment Stack
• Uno/Binary/Spec/Cascaded Mapping
• Uno/Binary/Spec/Environment Descriptor
• Uno/Binary/Spec/Environment Substitution

Threading-model specific environments are backed by the appropriate purpose environments.

• "<OBI>" is backed by the default pure OBI environment (as usual).
• "<OBI>:unsafe" is backed by the default Uno/Binary/Spec/Thread Unsafety Bridge.
• "<OBI>:affine" is backed by the default Uno/Binary/Spec/Thread Affinity Bridge.

Dependencies

• Uno/Binary/Spec/Environment Stack
• Uno/Binary/Spec/Cascaded Mapping
• Uno/Binary/Spec/Environment Descriptor
• Uno/Binary/Spec/Environment Substitution
• Uno/Binary/Spec/Thread Unsafety Bridge
• Uno/Binary/Spec/Thread Affinity Bridge