D3S: Debugging Deployed Distributed Systems

@inproceedings{Liu2008D3SDD,
  title={D3S: Debugging Deployed Distributed Systems},
  author={Xuezheng Liu and Zhenyu Guo and Xi Wang and Feibo Chen and Xiaochen Lian and Jian Tang and Ming Wu and M. Frans Kaashoek and Zheng Zhang},
  booktitle={NSDI},
  year={2008}
}
Testing large-scale distributed systems is a challenge, because some errors manifest themselves only after a distributed sequence of events that involves machine and network failures. D3S is a checker that allows developers to specify predicates on distributed properties of a deployed system, and that checks these predicates while the system is running. When D3S finds a problem it produces the sequence of state changes that led to the problem, allowing developers to quickly find the root cause… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 103 CITATIONS

Flexible analysis of distributed protocol implementations using virtual time

  • SoftCOM 2010, 18th International Conference on Software, Telecommunications and Computer Networks
  • 2010
VIEW 5 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Live debugging of distributed systems

VIEW 4 EXCERPTS
CITES RESULTS
HIGHLY INFLUENCED

Inferring and Asserting Distributed System Invariants

  • 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE)
  • 2018
VIEW 4 EXCERPTS
CITES METHODS, BACKGROUND & RESULTS
HIGHLY INFLUENCED

Fault Management in Distributed Systems WPE-II Written Report

VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Towards Reliable Cloud Systems

VIEW 7 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Fault Management in Distributed Systems

VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

SMON: Self-Managed Overlay Networks for managing distributed applications

  • 2010 IEEE Network Operations and Management Symposium - NOMS 2010
  • 2010
VIEW 3 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2008
2019

CITATION STATISTICS

  • 8 Highly Influenced Citations

  • Averaged 5 Citations per year from 2017 through 2019

References

Publications referenced by this paper.
SHOWING 1-10 OF 36 REFERENCES

The Part-Time Parliament

  • ACM Trans. Comput. Syst.
  • 1998
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

AND FET- TERLY, D. Dryad: distributed data-parallel programs from sequential building blocks

M. ISARD, M. BUDIU, YU Y., A. BIRRELL
  • 2007
VIEW 1 EXCERPT

AND STOICAZ, I. Friday: Global comprehension for distributed replay

D. GEELS, G. ALTEKARZ, P. MANIATIS, T. ROSCOEY
  • 2007
VIEW 1 EXCERPT

Global comprehension for distributed replay

D. GEELS, G. ALTEKARZ, P. MANIATIS, T. ROSCOEY
  • 2007

Stack Trace Analysis for Large Scale Debugging

  • 2007 IEEE International Parallel and Distributed Processing Symposium
  • 2007
VIEW 1 EXCERPT