About: AtomRace: data race and atomicity violation detector and healer

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: AtomRace: data race and atomicity violation detector and healer Goto Sponge Distinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	The paper proposes a novel algorithm called <i>AtomRace</i> for a <br>dynamic detection of data races. Data races are detected as a special case of atomicity violations on atomic sections specially defined to span just particular read/write instructions and the transfer of control to and from them. A key ingredient allowing AtomRace to efficiently detect races on such short atomic sections is a use of techniques for a careful injection of noise into the scheduling of the monitored programs. The approach is very simple, fully automated, avoids false alarms, and allows for a lower overhead and better scalability than many other existing dynamic data race detection algorithms. We illustrate these facts by a set of experiments with a prototype implementation of AtomRace. Further, AtomRace can also be  applied to detect atomicity violations on more general atomic sections than those used for the data race detection. They can be defined by the user or <br>obtained by some static analysis. The paper proposes a novel algorithm called <i>AtomRace</i> for a <br>dynamic detection of data races. Data races are detected as a special case of atomicity violations on atomic sections specially defined to span just particular read/write instructions and the transfer of control to and from them. A key ingredient allowing AtomRace to efficiently detect races on such short atomic sections is a use of techniques for a careful injection of noise into the scheduling of the monitored programs. The approach is very simple, fully automated, avoids false alarms, and allows for a lower overhead and better scalability than many other existing dynamic data race detection algorithms. We illustrate these facts by a set of experiments with a prototype implementation of AtomRace. Further, AtomRace can also be  applied to detect atomicity violations on more general atomic sections than those used for the data race detection. They can be defined by the user or <br>obtained by some static analysis. (en)
Title	AtomRace: data race and atomicity violation detector and healer AtomRace: data race and atomicity violation detector and healer (en)
skos:prefLabel	AtomRace: data race and atomicity violation detector and healer AtomRace: data race and atomicity violation detector and healer (en)
skos:notation	RIV/00216305:26230/08:PU76762!RIV10-MSM-26230___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA102/07/0322), P(GP102/06/P076), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Křena, Bohuslav Letko, Zdeněk Vojnar, Tomáš
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	357260
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/08:PU76762
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	detection, healing, atomicity violation, data race, Java<br> (en)
http://linked.open.../riv/klicoveSlovo	data race detection healing Java<br> atomicity violation
http://linked.open...ontrolniKodProRIV	[53F96DDEE950]
http://linked.open...v/mistoKonaniAkce	London
http://linked.open...i/riv/mistoVydani	Seattle
http://linked.open...i/riv/nazevZdroje	PADTAD '08
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Advanced Formal Approaches in the Design and Verification of Computer-Based Systems Methods and Tools for Automated Bug Detection in Software
http://linked.open...UplatneniVysledku	2008
http://linked.open...iv/tvurceVysledku	Křena, Bohuslav Letko, Zdeněk Vojnar, Tomáš
http://linked.open...vavai/riv/typAkce	EUR - Evropská
http://linked.open.../riv/zahajeniAkce	2007-07-09 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
number of pages	10 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Association for Computing Machinery
https://schema.org/isbn	978-1-60558-052-4
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	AtomRace: data race and atomicity violation detector and healer AtomRace: data race and atomicity violation detector and healer AtomRace: data race and atomicity violation detector and healer AtomRace: data race and atomicity violation detector and healer

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 111 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software