This HTML5 document contains 29 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n2https://kar.kent.ac.uk/id/eprint/
wdrshttp://www.w3.org/2007/05/powder-s#
dchttp://purl.org/dc/elements/1.1/
n13http://purl.org/ontology/bibo/status/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n3http://eprints.org/ontology/
n11https://kar.kent.ac.uk/id/event/
bibohttp://purl.org/ontology/bibo/
n8https://kar.kent.ac.uk/id/eprint/68801#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n4https://kar.kent.ac.uk/id/document/
n16https://kar.kent.ac.uk/id/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15doi:10.1145/
n10https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/
n6https://kar.kent.ac.uk/id/person/
n18https://kar.kent.ac.uk/68801/

Statements

Subject Item
n2:68801
rdf:type
bibo:Article n3:EPrint n3:ConferenceItemEPrint bibo:AcademicArticle
rdfs:seeAlso
n18:
owl:sameAs
n15:3237009.3237015
n3:hasAccepted
n4:2808620
n3:hasDocument
n4:2811854 n4:3068523 n4:3068524 n4:3068521 n4:2808620 n4:3068522
dc:hasVersion
n4:2808620
dcterms:title
Efficient and Deterministic Record & Replay for Actor Languages
wdrs:describedby
n10:export_kar_RDFN3.n3 n12:export_kar_RDFN3.n3
dcterms:date
2018-07-06
dcterms:creator
n6:ext-d6ef74649a5184e3c53117a323a06493 n6:ext-s.marr@kent.ac.uk n6:ext-df22e54b10f9481c2440a33cf9aa9f5c n6:ext-73f88d0b3e123979184031e06b9079be n6:ext-c2718febdda9d653779938289c3fa400
bibo:status
n13:peerReviewed n13:published
bibo:abstract
With the ubiquity of parallel commodity hardware, developers turn to high-level concurrency models such as the actor model to lower the complexity of concurrent software. However, debugging concurrent software is hard, especially for concurrency models with a limited set of supporting tools. Such tools often deal only with the underlying threads and locks, which obscures the view on e.g. actors and messages and thereby introduces additional complexity. To improve on this situation, we present a low-overhead record & replay approach for actor languages. It allows one to debug concurrency issues deterministically based on a previously recorded trace. Our evaluation shows that the average run-time overhead for tracing on benchmarks from the Savina suite is 10% (min. 0%, max. 20%). For Acme-Air, a modern web application, we see a maximum increase of 1% in latency for HTTP requests and about 1.4 MB/s of trace data. These results are a first step towards deterministic replay debugging of actor systems in production.
dcterms:isPartOf
n16:repository
bibo:authorList
n8:authors
bibo:presentedAt
n11:ext-9f57717aa3f57f151f201729466a43bc