Home | english  | Impressum | Datenschutz | Sitemap | KIT

Predicting and witnessing data races using CSP

Predicting and witnessing data races using CSP
Tagung:

Konferenzartikel 

Jahr:

2015 

Autoren:

Luis M. Carril
Walter F. Tichy

Links:PDFPDF

Summary

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.

Beteiligte Mitarbeiter (zufällige Reihenfolge)
Titel Vorname Nachname

Projekte
Titel


Bibtex

@inproceedings{Carril2015,
author={Luis M. Carril and Walter F. Tichy},
title={Predicting and witnessing data races using CSP},
year=2015,
month=April,
booktitle={NASA Formal Methods: 7th International Symposium},
publisher={Springer International Publishing},
series={Lecture Notes in Computer Science},
url={https://ps.ipd.kit.edu/downloads/},
isbn={978-3-319-17523-2},
issn={0302-9743},
url={http://link.springer.com/chapter/10.1007%2F978-3-319-17524-9_28},
doi={10.1007/978-3-319-17524-9_28},
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.},
pages={400-407},
pptUrl={https://ps.ipd.kit.edu/downloads/},