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

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

Research output: Chapter in Book/Report/Conference proceedingChapter

7 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProgramming with Actors - State-of-the-Art and Research Perspectives
PublisherSpringer
Pages155-185
Number of pages31
Volume10789
ISBN (Electronic)978-3-030-00302-9
ISBN (Print)978-3-030-00301-2
DOIs
Publication statusPublished - 2018
EventAGERE 2016: The 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control - Amsterdam, Netherlands
Duration: 30 Oct 201630 Oct 2016
http://2016.splashcon.org/track/agere2016

Publication series

NameLecture Notes in Computer Science

Workshop

WorkshopAGERE 2016: The 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
Abbreviated titleAGERE 2016
CountryNetherlands
CityAmsterdam
Period30/10/1630/10/16
Internet address

Keywords

  • Actor model
  • Bugs
  • Concurrency
  • Survey

Fingerprint

Dive into the research topics of 'A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs'. Together they form a unique fingerprint.

Cite this