Uno/Spec/Threading-Model

state: draft
type: specification

UNO Threading Model

Feature

The UNO Runtime provides support for implementing

• Thread Free, or
• Thread Safe, or
• Thread Unsafe, or
• Thread Affine

Code. The threading type of any code can be specified appropriately. The Thread Unsafe type is the default type for any implementation.

API

Two thread related purposes:

• ":unsafe" - for Thread Unsafe code.
• ":affine" - for Thread Affine code.

Dependencies

• Uno/Spec/Thread Affinity Bridge
• Uno/Spec/Thread Unsafety Bridge
• Uno/Spec/Purpose Environment
• Uno/Spec/Environment Stack
• Uno/Spec/Implementation Environment
• Uno/Spec/Cascaded Mapping
• Uno/Spec/Environment Substitution