MuLLDB: Multiverse Debugging for Unmanaged Languages
Detecting bugs in non-deterministic programs is notoriously difficult, as certain errors only manifest under highly specific conditions. Multiverse debugging has emerged as a promising technique to address this issue by allowing developers to systematically explore all possible program executions. However, multiverse debugging has thus far been restricted to specialized managed runtimes or models of programming languages. In this work, we overcome this limitation by expressing the core functionality of a multiverse debugger in terms of standard debug operations available in traditional debuggers. By building upon these standard debug operations, we pave the way for supporting multiverse debugging for a plethora of unmanaged languages, thereby making multiverse debugging significantly more accessible. We evaluate our approach by developing a prototype multiverse debugger for the C language on top of LLDB and comparing its performance overhead against the baseline LLDB debugger.
Mon 29 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
14:00 - 15:30 | |||
14:00 30mTalk | MuLLDB: Multiverse Debugging for Unmanaged Languages DEBT Maarten Steevens Ghent University, Belgium, Matthias Vanpoecke Ghent University, Christophe Scholliers Universiteit Gent | ||
14:30 30mTalk | Multi-Mode Debugging for FRP-Based Embedded Systems DEBT Yugo Otani Institute of Science Tokyo, Sosuke Moriguchi Institute of Science Tokyo, Takuo Watanabe Institute of Science Tokyo Pre-print | ||
15:00 20mTalk | Towards Guided Omniscient Debugging in Education using Pedagogical Execution Traces (PETs) DEBT Markus Weninger JKU Linz Pre-print | ||