Causality / Ordering / Distributed Time

Kind: category

Record: architecture-category:causality-ordering-distributed-time

The Causality / Ordering / Distributed Time category holds 14 architecture principles.

Listed in Principle categories, after Runtime Discovery / Dynamic Binding and before Contracts / Interfaces / Compatibility.

Principle

Layer

Causality Core

Linked from

Causality / Ordering / Distributed Time

Every principle in this category is listed as a record. Each record carries its kind, its severity, the scopes it applies at and the layer it lives in, then the edge relations that join it to other records, the records that point back at it, the contracts that answer to it and the tensions it takes part in. The descriptors say how it is violated, detected, measured, repaired and enforced. Where the record carries one, an exemplar shows the shape before and after the principle is applied.

Relations diagram

The relations inside this category.

flowchart LR
    n_causality["Causality"]
    n_causal_consistency["Causal Consistency"]
    n_happens_before_relationship["Happens-Before Relationship"]
    n_event_ordering["Event Ordering"]
    n_causal_dependency["Causal Dependency"]
    n_dependency_graph["Dependency Graph"]
    n_directed_acyclic_graph["Directed Acyclic Graph (DAG)"]
    n_vector_clocks["Vector Clocks"]
    n_lamport_clocks["Lamport Clocks"]
    n_hybrid_logical_clocks["Hybrid Logical Clocks"]
    n_crdts["CRDTs"]
    n_total_order_broadcast["Total-Order Broadcast"]
    n_cap_theorem["CAP Theorem"]
    n_pacelc_theorem["PACELC Theorem"]
    n_causality --> n_event_ordering
    n_event_ordering --> n_causality
    n_causal_dependency --> n_causality
    n_vector_clocks --> n_causal_consistency
    n_hybrid_logical_clocks --> n_happens_before_relationship
    n_hybrid_logical_clocks --> n_causal_consistency
    n_hybrid_logical_clocks --> n_event_ordering
    n_crdts --> n_causal_consistency
    n_total_order_broadcast --> n_event_ordering
    n_cap_theorem --> n_causal_consistency
    n_pacelc_theorem --> n_cap_theorem
    n_pacelc_theorem --> n_cap_theorem