IcedTea: Efficient and Responsive Time-Travel Debugging in Dataflow Systems
Shengquan Ni, Yicong Huang, Zuozhi Wang, Chen Li
Abstract
Dataflow systems have an increasing need to support a wide range of tasks in data-centric applications using latest techniques such as machine learning. These tasks often involve custom functions with complex internal states. Consequently, users need enhanced debugging support to understand runtime behaviors and investigate internal states of dataflows. Traditional forward debuggers allow users to follow the chronological order of operations in an execution. Therefore, a user cannot easily identify a past runtime behavior after an unexpected result is produced. In this paper, we present a novel time-travel debugging paradigm called IcedTea, which supports reverse debugging. In particular, in a dataflow's execution, which is inherently distributed across multiple operators, the user can periodically interact with the job and retrieve the global states of the operators. After the execution, the system allows the user to roll back the dataflow state to any past interactions. The user can use step instructions to repeat the past execution to understand how data was processed in the original execution. We give a full specification of this powerful paradigm, study how to reduce its runtime overhead and develop techniques to support debugging instructions responsively. Our experiments on real-world datasets and workflows show that IcedTea can support responsive time-travel debugging with low time and space overhead.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext b7b4f0f9-6cd0-4796-80e1-a9b540c93230Builds on5
- Optimizing Machine Learning Inference Queries with Correlative Proxy ModelsZhihui Yang, Zuozhi Wang, Yicong Huang, Yao Lu et al.VLDB 2022 · 33 citations
- Amber: A Debuggable Dataflow System Based on the Actor ModelAvinash Kumar, Zuozhi Wang, Shengquan Ni, Chen LiVLDB 2020 · 22 citations
- A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed ApplicationsJonathan Goldstein, Ahmed S. Abdelhamid, Mike Barnett, Sebastian Burckhardt et al.VLDB 2020 · 13 citations
- Udon: Efficient Debugging of User-Defined Functions in Big Data Systems with Line-by-Line ControlYicong Huang, Zuozhi Wang, Chen LiSIGMOD 2024 · 6 citations
- Backpressure Flow ControlPrateesh Goyal, Preey Shah, Kevin Zhao, Georgios Nikolaidis et al.NSDI 2022
Related papers
- Everything Everyway All at Once - Time Traveling Debugging for Stream Processing ApplicationsTimo Räth, Marius Schlegel, Kai-Uwe SattlerICDE 2024 · 1 citation
- CrystalPerf: Learning to Characterize the Performance of Dataflow Computation through Code AnalysisHuangshi Tian, Minchen Yu, Wei WangUSENIX ATC 2021 · 2 citations
- Pasta: A Cost-Based Optimizer for Generating Pipelining Schedules for Dataflow DAGsXiaozhen Liu, Yicong Huang, Xinyuan Lin, Avinash Kumar et al.SIGMOD 2025 · 1 citation
- R3: Record-Replay-Retroaction for Database-Backed ApplicationsQian Li, Peter Kraft, Michael J. Cafarella, Çagatay Demiralp et al.VLDB 2023 · 10 citations
- S-QUERY: Opening the Black Box of Internal Stream Processor StateJim Verheijde, Vassilios Karakoidas, Marios Fragkoulis, Asterios KatsifodimosICDE 2022 · 5 citations
