Framework-Aware Debugging with Stack Tailoring
Fri 20 Nov 2020 01:40 - 02:20 at SPLASH-III - 8 Chair(s): Helmut Seidl
Debugging applications that execute within a framework is not always easy:
the call-stack offered to developers is often a mix-up of stack frames that belong to different frameworks, introducing an unnecessary noise that prevents developers from focusing on the debugging task.
Moreover, relevant application code is not always available in the call-stack because it may have already returned, or is available in another thread.
In such cases, manually gathering all relevant information from these different sources is not only cumbersome but also costly.
In this paper we introduce Sarto, a call-stack instrumentation layer that allows developers to tailor the stack to make debugging framework-aware.
The goal is to improve the quality and amount information present in the call-stack to reduce debugging time without impacting the execution time.
Sarto proposes a set of six stack operations that combined hide irrelevant information, introduce missing information, and relate dispersed debugging sources before this is fed to the debugger.
We validate Sarto by applying it to four application cases using inherently different frameworks: unit testing, web server, remote promises and big data processing.
We showcase our experiences in using Sarto in the different frameworks, and perform some performance benchmarks to demonstrate that Sarto does not generate noticeable overhead when instrumenting a call-stack.
We also show that our solution reduces by half the amount of data stored to debug similar exceptions happening in a parallel setup.
Thu 19 NovDisplayed time zone: Central Time (US & Canada) change
13:00 - 14:20 | 8SAS / DLS 2020 at SPLASH-III +12h Chair(s): Tim Felgentreff Oracle Labs, Potsdam, Samir Genaim Universidad Complutense de Madrid | ||
13:00 20mResearch paper | Formal framework for reasoning about the precision of dynamic analysis SAS Mila Dalla Preda University of Verona, Italy, Roberto Giacobazzi University of Verona and IMDEA Software Institute, Niccolò Marastoni University of Verona File Attached | ||
13:20 20mResearch paper | Farkas-Based Tree Interpolation SAS Sepideh Asadi PhD Student, Martin Blicha , Antti Hyvärinen , Grigory Fedyukovich Florida State University, Natasha Sharygina USI Lugano, Switzerland Pre-print | ||
13:40 40mTalk | Framework-Aware Debugging with Stack Tailoring DLS 2020 Matteo Marra Vrije Universiteit Brussel, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication DOI Pre-print Media Attached |
Fri 20 NovDisplayed time zone: Central Time (US & Canada) change
01:00 - 02:20 | |||
01:00 20mResearch paper | Formal framework for reasoning about the precision of dynamic analysis SAS Mila Dalla Preda University of Verona, Italy, Roberto Giacobazzi University of Verona and IMDEA Software Institute, Niccolò Marastoni University of Verona File Attached | ||
01:20 20mResearch paper | Farkas-Based Tree Interpolation SAS Sepideh Asadi PhD Student, Martin Blicha , Antti Hyvärinen , Grigory Fedyukovich Florida State University, Natasha Sharygina USI Lugano, Switzerland Pre-print | ||
01:40 40mTalk | Framework-Aware Debugging with Stack Tailoring DLS 2020 Matteo Marra Vrije Universiteit Brussel, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication DOI Pre-print Media Attached |