Project MetaConc: Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems
Next week starts SPLASH’16 and the MetaConc team will be there. On Sunday, Elisa and Stefan are organizing the Meta’16 workshop. Also on Sunday, Carmen is going to present our work-in-progress paper on debugging actor languages at the AGERE! workshop.
If you are interested in our work, come and talk to us. We are also going to have a poster at the SPLASH poster sessions on Monday and Wednesday.
Towards Advanced Debugging Support for Actor Languages: Studying Concurrency Bugs in Actor-based Programs
With the ubiquity of multicore hardware, concurrent and parallel programming has become a fundamental part of software development. If writing concurrent programs is hard, debugging them is even harder. The actor model is attractive for developing concurrent applications because actors are isolated concurrent entities that communicates through asynchronous message sending and do not share state, thus they avoid common concurrency bugs such as race conditions. However, they are not immune to bugs. This paper presents initial work on a taxonomy of concurrent bugs for actor-based applications. Based on this study, we propose debugging tooling to assist the development process of actor-based applications.
Towards Advanced Debugging Support for Actor Languages: Studying Concurrency Bugs in Actor-based Programs.
Carmen Torres Lopez, Stefan Marr, Hanspeter Mössenböck, and Elisa Gonzalez Boix.
Presentation at the 6th International Workshop on Programming based on Actors, Agents, and Decentralized Control, PDF.