IcedTea: Efficient and Responsive Time-Travel Debugging in Dataflow Systems
Shengquan Ni, Yicong Huang, Zuozhi Wang, Chen Li
摘要
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.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
它引用的顶会 Paper5
- Optimizing Machine Learning Inference Queries with Correlative Proxy ModelsZhihui Yang, Zuozhi Wang, Yicong Huang, Yao Lu 等VLDB 2022 · 被引用 33 次
- Amber: A Debuggable Dataflow System Based on the Actor ModelAvinash Kumar, Zuozhi Wang, Shengquan Ni, Chen LiVLDB 2020 · 被引用 22 次
- A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed ApplicationsJonathan Goldstein, Ahmed S. Abdelhamid, Mike Barnett, Sebastian Burckhardt 等VLDB 2020 · 被引用 13 次
- Udon: Efficient Debugging of User-Defined Functions in Big Data Systems with Line-by-Line ControlYicong Huang, Zuozhi Wang, Chen LiSIGMOD 2024 · 被引用 6 次
- Backpressure Flow ControlPrateesh Goyal, Preey Shah, Kevin Zhao, Georgios Nikolaidis 等NSDI 2022
相关 Paper
- Everything Everyway All at Once - Time Traveling Debugging for Stream Processing ApplicationsTimo Räth, Marius Schlegel, Kai-Uwe SattlerICDE 2024 · 被引用 1 次
- CrystalPerf: Learning to Characterize the Performance of Dataflow Computation through Code AnalysisHuangshi Tian, Minchen Yu, Wei WangUSENIX ATC 2021 · 被引用 2 次
- Pasta: A Cost-Based Optimizer for Generating Pipelining Schedules for Dataflow DAGsXiaozhen Liu, Yicong Huang, Xinyuan Lin, Avinash Kumar 等SIGMOD 2025 · 被引用 1 次
- R3: Record-Replay-Retroaction for Database-Backed ApplicationsQian Li, Peter Kraft, Michael J. Cafarella, Çagatay Demiralp 等VLDB 2023 · 被引用 10 次
- S-QUERY: Opening the Black Box of Internal Stream Processor StateJim Verheijde, Vassilios Karakoidas, Marios Fragkoulis, Asterios KatsifodimosICDE 2022 · 被引用 5 次
