Skip to main content

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

Torres Lopez, Carmen and Marr, Stefan and Gonzalez Boix, Elisa and Mössenböck, Hanspeter (2018) A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs. In: Ricci, Alessandro and Haller, Philipp, eds. Programming with Actors: State-of-the-Art and research Perspectives. Lect.Notes ComputerState-of-the-Art Surveys, 10789 . Springer. ISBN 978-3-030-00302-9. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:68802)

PDF Author's Accepted Manuscript
Language: English

Restricted to Repository staff only
Contact us about this Publication
[img]
Official URL
https://www.springer.com/gb/book/9783030003012

Abstract

The actor model is an attractive foundation for developing

that communicate through asynchronous messages and do not share

not immune to concurrency bugs in general.

in literature. Furthermore, it analyzes the bugs to identify the

this taxonomy, we further analyze the literature and find that current

and message protocol violations. However, they do not provide

The insights obtained in this study can be used to improve debugging

the root cause of complex concurrency bugs.

Item Type: Book section
Uncontrolled keywords: Actor Model, Concurrency, Bugs, Survey
Divisions: Faculties > Sciences > School of Computing
Depositing User: Stefan Marr
Date Deposited: 24 Aug 2018 15:12 UTC
Last Modified: 29 May 2019 21:03 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/68802 (The current URI for this page, for reference purposes)
Marr, Stefan: https://orcid.org/0000-0001-9059-5180
  • Depositors only (login required):

Downloads

Downloads per month over past year