happened-before
Sign in to saveAlso known as happens-before, happens-before relationship, happened-before relationship, logically sequenced
In computer science, the happened-before relation (denoted: \to \;) is a relation between the result of two events, such that if one event should happen before another event, the result must reflect that, even if those events are in reality executed out of order (usually to optimize program flow). This involves ordering events based on the potential causal relationship of pairs of events in a concurrent system, especially asynchronous distributed systems. It was formulated by Leslie Lamport.
In the Vinony graph
Within Vinony's link graph, happened-before is referenced by 13 other articles, and connects out to partially ordered set, Lamport timestamps and computer science.
Vinony files it under Distributed computing problems, Logical clock algorithms and Transitive relations.
Its subject is documented across 6 Wikipedia language editions.
Wikidata facts
- Instance of
- binary relation
- Subclass of
- partial order
- Has use
- logical clock
Show 4 more facts
- facet of
- concurrent computing
- discoverer or inventor
- Leslie Lamport
- partial function domain
- class
- opposite of
- simultaneity
Sources (1)
via Wikidata · CC0
~3 min read
Encyclopedic overview
4 sectionsContents
- Byzantine faults and the impossibility of detection
- See also
- Citations
- References
In computer science, the happened-before relation (denoted: \to \;) is a relation between the result of two events, such that if one event should happen before another event, the result must reflect that, even if those events are in reality executed out of order (usually to optimize program flow). This involves ordering events based on the potential causal relationship of pairs of events in a concurrent system, especially asynchronous distributed systems. It was formulated by Leslie Lamport.
The happened-before relation is formally defined as the least strict partial order on events such that: If events a \; and b \; occur on the same process, a \to b\; if the occurrence of event a \; preceded the occurrence of event b \;. If event a \; is the sending of a message and event b \; is the reception of the message sent in event a \;, a \to b\;.
Excerpted from Wikipedia’s “happened-before” article, available under the CC BY-SA 4.0 licence.