Virtual Time and Global States of Distributed Systems

By Friedemann Mattern. 2002

1,447 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/f6bba8a4370c9c64b6eda7ec79cdc853f16d516d

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Henggang Cui
2. Eric P. Xing
3. G. R. Ganger
4. Qirong Ho
5. Phillip B. Gibbons
6. Cong Xie
7. Wei Dai
8. Seunghak Lee

Citations in the corpus

• More Effective Distributed ML via a Stale Synchronous Parallel Parameter Server (2013, methodology): “The vector clocks used in SSPtable are similar to those in Fidge [11] and Mattern [20], which were in turn inspired by Lamport clocks [15].”
• Making Smart Contracts Smarter (2016, background): “Many previous works attempt to build a global times-tamp in distributed systems, in both asynchronous and synchronous settings [42–44].”
• Hybrid dynamic data race detection (2003, methodology): “The happens-before relation can be computed on-line using standard vector clocks [12, 19], based on Lamport clocks [18].”
• Time synchronization in ad hoc networks (2001, background): “…ee h d h m n oem t h n heih et h h m t hmoeshh n odt h h e td he heh t t h h tea dh n o odm h a a h n h o h hd m hnnhm h t o t ea tm t h e hTt m e a h d hn hno h n ht h tgh m h h a a h ohh hd mmt h n t m t t ot h t d h h n d h e h h n d h t n h epsta e h h h n he a m t d h n dht m e h eotem h…”
• A survey of rollback-recovery protocols in message-passing systems (2002, methodology): “Vector timestamps [55, 121, 151, 155] and the context graph used in em Psync [133] bear similarities to the various dependency tracking techniques.”
• Temporal Networks (2011, methodology): “This frameworkwas introduced by Lamport [96] and further developed byMattern [97].”
• Dynamic partial-order reduction for model checking software (2005, unknown): “A natural representation strategy for the happens-before relation is to use clock vectors [17].”
• RaceTrack: efficient detection of data race conditions via adaptive tracking (2005, methodology): “We use the popular vector clock technique [17] to determine which actions are ordered before other actions.”
• A Native and Adaptive Approach for Unified Processing of Linked Streams and Linked Data (2011, background): “We refer the reader to [19, 27, 33] for more details.”
• Conflict-Free Replicated Data Types (2011, background): “If each process pi is restricted to incrementing its own index inc(i), this is the well-known vector clock [11].”