Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact) [article]

Robbert Gurdeep Singh, Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers, Manuel Rigger, Maria Christakis
2019 Dagstuhl Artifacts Series (DARTS)  
Many of today's software systems are parallel or concurrent. With the rise of Node.js and more generally event-loop architectures, many systems need to handle concurrency. However, their nondeterministic behavior makes it hard to debug. Today's interactive debuggers unfortunately do not support developers in debugging non-deterministic issues. They only allow exploring a single execution path. Therefore, some bugs may never be reproduced in the debugging session, because the conditions to
more » ... r are not reached. As a solution, we propose multiverse debugging, a new approach for debugging non-deterministic programs that allow developers to observe all possible execution paths of a parallel program and debug it interactively. We introduce the concepts of multi-2012 ACM Subject Classification Software and its engineering → Concurrent programming languages; Software and its engineering → Software testing and debugging
doi:10.4230/darts.5.2.4 dblp:journals/darts/SinghLMBS19 fatcat:bfeiw6jhurformk5ylx2cuzbgq