Lincheck. Testing concurrent data structures in Java

If you've ever been into multi-threaded programming, you know that writing concurrent programs is hard. Usually, just a few dangerous execution scenarios are covered with stress tests. But often, such testing can not help in finding bugs. To solve this problem, lincheck was created — the only JVM tool so far that allows you to test multi-threaded code correctness (usually linearizability) conveniently.

First, Maria will describe lincheck work steps: generating scenarios of the tested program execution, strategies for running these scenarios, approaches for program verification, then will talk about lincheck usage.