Skip to search formSkip to main contentSkip to account menu

Lamport timestamps

Known as: Lamport timestamp, Lamport Clocks, Lamport clock 
The algorithm of Lamport timestamps is a simple algorithm used to determine the order of events in a distributed computer system. As different nodes… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Clock synchronizationEventual consistencyHappened-beforeLamport's distributed mutual exclusion algorithm

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Detecting Falsified Timestamps in Evidence Graph via Attack Graph
Network forensics investigations aims to find a chain of evidences that helps reconstructing the alleged attack scenario. This… 
Highly Cited
2012
Highly Cited
2012
The state of enterprise network traffic in 2012
Timely and accurate studies on the composition and nature of the Internet are crucial for continued research and innovation. The… 
2011
2011
Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update
We propose a dynamic verification approach for large-scale message passing programs to locate correctness bugs caused by… 
2010
2010
Replay Debugging for Multi-threaded Embedded Software
The non-deterministic behavior of multi-threaded embedded software makes cyclic debugging difficult. Even with the same input… 
2009
2009
Visualizing Local-Area Networks and Checksums Using Bevy
The hardware and architecture solution to model checking is defined not only by the refinement of suffix trees, but also by the… 
2009
2009
Online Timing Correlation of Streaming Data with Uncertain Timestamps
We introduce the interval timing correlation, which can establish timing correlation conditions to handle interval timing… 
2004
2004
Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning
Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed… 
2000
2000
An adaptive AVI-based cache invalidation scheme for mobile computing systems
In a mobile computing system, caching data items at the mobile clients is important to reduce the data access delay in an… 
1998
1998
Rolt/sup MP/-replay of Lamport timestamps for message passing systems
Debugging nondeterministic parallel programs is rather difficult, because consecutive runs with the same input data may result in… 
1993
1993
Causality-Preserving Timestamps in Distributed Programs
A tachyon is an improperly ordered event in a distributed program. Tachyons are most often manifested as messages which are… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)