Reversible Debugging of Erlang Programs in CauDEr
Authors: 
Ivan Lanese, 
Germán VidalAuthors Info & Claims
Ivan Lanese, Germán VidalAuthors Info & ClaimsPages 30 - 31
Abstract
This talk presents the notion of causal-consistent reversible debugging and its instance on Erlang provided by CauDEr. Reversible debugging allows us to explore an execution back and forth looking for a bug. Causal-consistent debugging tailors this approach to concurrent systems so that actions can be undone in any order as long as their consequences, if any, are undone first.
References
[1]
2024. CauDEr repository. Available at. https://github.com/mistupv/cauder
[2]
F. Cesarini. 2019. Which companies are using Erlang, and why? URL:. https://erlang-solutions.com/blog/which-companies-are-using-erlang-and-why
[3]
V. Danos and J. Krivine. 2004. Reversible communicating systems. In CONCUR (LNCS, Vol. 3170). Springer, 292–307. https://doi.org/10.1007/978-3-540-28644-8_19
[4]
G. Fabbretti, I. Lanese, and J.-B. Stefani. 2021. Causal-Consistent Debugging of Distributed Erlang Programs. In Reversible Computation (LNCS, Vol. 12805). Springer, 79–95. https://doi.org/10.1007/978-3-030-79837-6_5
[5]
E. Giachino, I. Lanese, and C.A. Mezzina. 2014. Causal-Consistent Reversible Debugging. In FASE (LNCS, Vol. 8411). Springer, 370–384. https://doi.org/10.1007/978-3-642-54804-8_26
[6]
J.J. González-Abril and G. Vidal. 2021. Causal-Consistent Reversible Debugging: Improving CauDEr. In PADL (LNCS, Vol. 12548). Springer, 145–160. https://doi.org/10.1007/978-3-030-67438-0_9
[7]
P. Lami, I. Lanese, J.-B. Stefani, C. Sacerdoti Coen, and G. Fabbretti. 2024. Reversible debugging of concurrent Erlang programs: Supporting imperative primitives. Journal of Logical and Algebraic Methods in Programming, 138 (2024), 100944. issn:2352-2208 https://doi.org/10.1016/j.jlamp.2024.100944
[8]
I. Lanese, C. A. Mezzina, A. Schmitt, and J.-B. Stefani. 2011. Controlling Reversibility in Higher-Order Pi. In CONCUR (LNCS, Vol. 6901). Springer, 297–311. https://doi.org/10.1007/978-3-642-23217-6_20
[9]
I. Lanese, N. Nishida, A. Palacios, and G. Vidal. 2018. CauDEr: A Causal-Consistent Reversible Debugger for Erlang. In FLOPS (LNCS, Vol. 10818). Springer, 247–263. https://doi.org/10.1007/978-3-319-90686-7_16
[10]
I. Lanese, A. Palacios, and G. Vidal. 2021. Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundam. Informaticae, 178, 3 (2021), 229–266. https://doi.org/10.3233/FI-2021-2005
[11]
G. Vidal. 2022. Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. In FORTE (LNCS, Vol. 13273). Springer, 188–207. https://doi.org/10.1007/978-3-031-08679-3_12
Index Terms
- Reversible Debugging of Erlang Programs in CauDEr
Recommendations
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
Causal-consistent reversible debugging is an innovative technique for debugging concurrent systems. It allows one to go back in the execution focusing on the actions that most likely caused a visible misbehavior. When such an action is selected, the ...
Improving live debugging of concurrent threads
SPLASH Companion 2016: Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for HumanityContemporary live debuggers do not display the complete call stack history for concurrent threads. Hence, developers have less information at their disposal when debugging concurrent threads than when debugging a single threaded, sequential program. We ...
Debugging non-deadlock concurrency bugs
ISSTA 2013: Proceedings of the 2013 International Symposium on Software Testing and AnalysisConcurrency bugs are difficult to debug because of nondeterministic behaviors of concurrent programs. Existing fault-localization techniques for non-deadlock concurrency bugs do not provide the comprehensive information to identify and understand the ...
Comments
Information & Contributors
Information
Published In
September 2024
35 pages
Copyright © 2024 Copyright is held by the owner/author(s). Publication rights licensed to ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 13 September 2024
Check for updates
Author Tags
Qualifiers
- Short-paper
Funding Sources
- EU MSCA-PF
- Generalitat Valenciana
- MCIN\/AEI\/ 10.13039\/501100011033
Conference
DEBT '24
Sponsor:
DEBT '24: 2nd ACM International Workshop on Future Debugging Techniques
September 19, 2024
Vienna, Austria
Upcoming Conference
ISSTA '25
- Sponsor:
- sigsoft
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 7Total Downloads
- Downloads (Last 12 months)7
- Downloads (Last 6 weeks)7
Reflects downloads up to 22 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in