Lamport Clocks

Kind: mechanism

Layer: Causality Core

Record: architecture:lamport-clocks

Severity: contextual

Scope: distributed events

Canonical: Ontology

A mechanism that stamps each event with a logical counter, advanced on every send and receive, to give a partial order.

Listed in Architecture principles, after Vector Clocks and before Hybrid Logical Clocks.

Requires

• Logical Counter

Reinforces

• Happens-Before Reasoning

Enables

• Partial Ordering

Conflicts with

• Wall-Clock Ordering Assumption

In tension with

• No Concurrent Causality Distinction

Tensions

• Lamport Clocks / No Concurrent Causality Distinction

Violated by

• Wall-Clock Ordering Assumption

Severity

• contextual

Category

• Causality / Ordering / Distributed Time

Linked from

• Execution joins the halves
• Causality / Ordering / Distributed Time
• Severity levels
• The resolutions