Uno/Spec/Threading-Model

State: draft
Type: specification

Uno Threading Model

Feature

The Runtime provides dedicated support for implementing and handling

• thread-safe,
• thread-unsafe, and
• thread-affine

code. The threading type of any code can be specified appropriately. The thread-unsafe type is the default type for any implementation.

Rationale

The Analysis/Multi_Threading shows OOo deficiencies wrt to multi-threading and thread-safeness. The Architecture/Threading proposal identifies three thread related types of code (thread-unsafe, thread-safe and thread-affine).

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