Happens-Before Relationship

Kind: model

Layer: Causality Core

Record: architecture:happens-before-relationship

Severity: contextual

Scope: concurrency, distributed events

Canonical: Ontology

A conceptual representation of the partial order in which one operation is known to precede another.

Listed in Architecture principles, after Causal Consistency and before Event Ordering.

Requires

• Ordering Semantics

Reinforces

• Correctness
• Causal Reasoning

Enables

• Race Detection

Conflicts with

• Race Conditions

In tension with

• Parallel Execution

Tensions

• Happens-Before Relationship / Parallel Execution

Violated by

• Race Conditions

Refactored by

• Apply Concurrency Control
• Make Order Explicit

Severity

• contextual

Category

• Causality / Ordering / Distributed Time

Required by

• Hybrid Logical Clocks

Linked from

• Stating an invariant
• Execution joins the halves
• Causality / Ordering / Distributed Time
• Correctness / Determinism / Verification
• Behavioral Patterns
• Causality / Ordering / Distributed Time
• Core Vocabulary
• Transactions / State / Concurrency
• Severity levels
• The resolutions