Detail publikace

Discovering Concurrency Errors

LOURENCO, J. FIEDOR, J. KŘENA, B. VOJNAR, T.

Originální název

Discovering Concurrency Errors

Typ

kapitola v knize

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

LOURENCO, J.; FIEDOR, J.; KŘENA, B.; VOJNAR, T.

Vydáno

11. 2. 2018

Nakladatel

Springer International Publishing

Místo

Cham

ISBN

978-3-319-75632-5

Kniha

Lectures on Runtime Verification: Introductory and Advanced Topics

Edice

Lecture Notes in Computer Science, vol 10457

Strany od

34

Strany do

60

Strany počet

27

URL

BibTex

@inbook{BUT155054,
  author="Joao {Lourenco} and Jan {Fiedor} and Bohuslav {Křena} and Tomáš {Vojnar}",
  title="Discovering Concurrency Errors",
  booktitle="Lectures on Runtime Verification: Introductory and Advanced Topics",
  year="2018",
  publisher="Springer International Publishing",
  address="Cham",
  series="Lecture Notes in Computer Science, vol 10457",
  pages="34--60",
  doi="10.1007/978-3-319-75632-5\{_}2",
  isbn="978-3-319-75632-5",
  url="https://doi.org/10.1007/978-3-319-75632-5_2"
}