A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs

Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, Hanspeter Mossenbock

Onderzoeksoutput: Chapter

7 Citaten (Scopus)

Samenvatting

The actor model is an attractive foundation for developing concurrent applications because actors are isolated concurrent entities that communicate through asynchronous messages and do not share state. Thereby, they avoid concurrency bugs such as data races, but are not immune to concurrency bugs in general. This study taxonomizes concurrency bugs in actor-based programs reported in literature. Furthermore, it analyzes the bugs to identify the patterns causing them as well as their observable behavior. Based on this taxonomy, we further analyze the literature and find that current approaches to static analysis and testing focus on communication deadlocks and message protocol violations. However, they do not provide solutions to identify livelocks and behavioral deadlocks. The insights obtained in this study can be used to improve debugging support for actor-based programs with new debugging techniques to identify the root cause of complex concurrency bugs.

Originele taal-2English
TitelProgramming with Actors - State-of-the-Art and Research Perspectives
UitgeverijSpringer
Pagina's155-185
Aantal pagina's31
Volume10789
ISBN van elektronische versie978-3-030-00302-9
ISBN van geprinte versie978-3-030-00301-2
DOI's
StatusPublished - 2018
EvenementAGERE 2016: The 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control - Amsterdam, Netherlands
Duur: 30 okt 201630 okt 2016
http://2016.splashcon.org/track/agere2016

Publicatie series

NaamLecture Notes in Computer Science

Workshop

WorkshopAGERE 2016: The 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
Verkorte titelAGERE 2016
LandNetherlands
StadAmsterdam
Periode30/10/1630/10/16
Internet adres

Vingerafdruk Duik in de onderzoeksthema's van 'A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs'. Samen vormen ze een unieke vingerafdruk.

Citeer dit