Publication Details

Discovering Concurrency Errors

LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav and VOJNAR Tomáš. Discovering Concurrency Errors. Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018, pp. 34-60. ISBN 978-3-319-75632-5. Available from: https://doi.org/10.1007/978-3-319-75632-5_2
Czech title
Odhalování chyb v paralelismech
Type
book chapter
Language
english
Authors
Lourenco Joao (UNL)
Fiedor Jan, Ing., Ph.D. (DITS FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
URL
Keywords

Software correctness, quality assurance, nondeterminism, concurrency errors, atomicity violations, data races, deadlocks, dynamic analysis, noise injection.

Abstract

Lots of concurrent software is being developed for the now ubiquitous multicore processors. And concurrent programming is diffi- cult because it is quite easy to introduce errors that are really hard to diagnose and fix. One of the main obstacles to concurrent program- ming is that threads are scheduled nondeterministically and their inter- actions may become hard to predict and to devise. This chapter addresses the nature of concurrent programming and some classes of concurrency errors. It discusses the application of dynamic program analysis tech- niques to detect, locate and diagnose some common concurrency errors like data races, atomicity violations and deadlocks. This chapter also mentions some techniques that can help with quality assurance of con- current programs, regardless of any particular class of concurrency errors, like noise injection and systematic testing, and it is closed by some prospects of concurrent software development.

Published
2018
Pages
34-60
Book
Lectures on Runtime Verification: Introductory and Advanced Topics
Series
Lecture Notes in Computer Science, vol 10457
ISBN
978-3-319-75632-5
Publisher
Springer International Publishing
Place
Cham, DE
DOI
10.1007/978-3-319-75632-5_2
EID Scopus
2-s2.0-85042118693
BibTeX 
@INBOOK{FITPUB11736,
   author = "Joao Lourenco and Jan Fiedor and Bohuslav K\v{r}ena and Tom\'{a}\v{s} Vojnar",
   title = "Discovering Concurrency Errors",
   pages = "34--60",
   booktitle = "Lectures on Runtime Verification: Introductory and Advanced Topics",
   series = "Lecture Notes in Computer Science, vol 10457",
   year = 2018,
   location = "Cham, DE",
   publisher = "Springer International Publishing",
   ISBN = "978-3-319-75632-5",
   doi = "10.1007/978-3-319-75632-5\_2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11736"
}
Back to top