KIT | KIT-Bibliothek | Impressum | Datenschutz

Predicting and witnessing data races using CSP

Carril Rodriguez, Luis Manuel; Tichy, Walter F. ORCID iD icon 1
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)

Abstract:

Detecting and debugging data races is a complex task due to the large number of interleavings possible in a parallel program. Most tools can find the data races reliably in an observed execution, but they miss errors in alternative reorderings of events. In this paper we describe an automated approach to generate, from a single program trace, a model in CSP with alternative interleavings. We check for data races patterns and obtain a witness that allows the reproduction of errors. Reproduction reduces the developer effort to correct the error.


Volltext §
DOI: 10.5445/IR/1000051689
Originalveröffentlichung
DOI: 10.1007/978-3-319-17524-9_28
Dimensions
Zitationen: 1
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2015
Sprache Englisch
Identifikator ISBN: 978-3-319-17523-2
ISSN: 0302-9743
urn:nbn:de:swb:90-516895
KITopen-ID: 1000051689
Erschienen in Nasa Formal Methods Symposium 2015. Part 3 : 7th International Symposium, NFM 2015, April 27-29, 2015, Pasadena, CA, USA. Ed.: K. Havelund
Verlag Springer International Publishing
Seiten 400-407
Serie Lecture Notes in Computer Science ; 9058
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page