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

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs Goto Sponge Distinct Permalink

An Entity of Type : bibo:BookSection, within Data Space : linkeddata.uriburner.com:28898 associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/BookSectionEPrint http://eprints.org/ontology/EPrint Article Book Section
seeAlso	HTML Summary of #68802 A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
http://www.loc.gov...erms/relators/EDT	Alessandro Ricci Philipp Haller
http://eprints.org/ontology/hasAccepted	A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs (PDF)
http://eprints.org/ontology/hasDocument	A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs (PDF) A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs (Other) A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs (Other) A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs (Other) A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs (Other) A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs (Other)
dc:hasVersion	A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs (PDF)
Title	A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
Date	2018-08-20
Creator	Hanspeter Mössenböck Elisa Gonzalez Boix Carmen Torres Lopez Stefan Marr
status	peer reviewed published
Publisher	Springer
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.
Is Part Of	Programming with Actors: State-of-the-Art and research Perspectives https://kar.kent.ac.uk/id/repository
list of authors	https://kar.kent.ac.uk/id/eprint/68802#authors
list of editors	https://kar.kent.ac.uk/id/eprint/68802#editors
volume	10789
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #68802 A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 37 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software