Uno/Spec/Threading-Model

Type: Specification State: draft Claim: optional

Feature

The Runtime provides dedicated support for implementing and handling

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

objects. The threading type of any code can be specified appropriately.

Rationale

The analysis of multi-threading shows OOo deficiencies wrt to multi-threading and thread-safeness. The goals for the OOo Threading-Model & -Architecture identify three thread related types of code, which (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/Cascaded Mapping
• Uno/Spec/Environment Substitution