Discovering Concurrency Errors

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F18%3APU130746" target="_blank" >RIV/00216305:26230/18:PU130746 - isvavai.cz</a>

Result on the web

<a href="https://doi.org/10.1007/978-3-319-75632-5_2" target="_blank" >https://doi.org/10.1007/978-3-319-75632-5_2</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-75632-5_2" target="_blank" >10.1007/978-3-319-75632-5_2</a>

Result language

angličtina

Original language name

Discovering Concurrency Errors

Original language description

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.

Czech name

—

Czech description

—

Type

C - Chapter in a specialist book

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2018

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Book/collection name

Lectures on Runtime Verification: Introductory and Advanced Topics

ISBN

978-3-319-75632-5

Number of pages of the result

27

Pages from-to

34-60

Number of pages of the book

233

Publisher name

Springer International Publishing

Place of publication

Cham

UT code for WoS chapter

—