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.

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.