Workshop. Lincheck: Testing concurrency on the JVM (Part 2)

on YouTube ↗01h 11m

" summary

Hands-on use of Lincheck in Kotlin with IntelliJ demonstrates concrete checks: using checkObstructionFreedom in model checking mode finds an infinite read loop in the DataHolder (branch 5.1), the Michael-style queue fails unless a helping step is added (branch 5.2), marking ConcurrentHashMap methods as atomic avoids exploding interleavings and OOM during exhaustive verification (branch 6.1), adding a sequential spec and overriding extractState speeds verification (branch 7.1), rendezvous channels test as suspendable ops (8.1), final task targets a known bug in ConcurrentLinkedDeque (9.1).

AI-written summary · about

" chapters (6)

1. 0:00Start
2. 25:38Modular Testing
3. 38:32Label Transition System
4. 46:52Setting Sequential Specification of a Data Structure
5. 1:07:30What's the Difference of Linceck for Kotlin and for Java
6. 1:10:27Closing Ceremony

" related talks

• 39mLincheck: Testing concurrency on the JVMMaria Sokolova · Devoxx France 2023
• 45mHow we test concurrent algorithms in Kotlin CoroutinesNikita Koval · KotlinConf 2023
• 36mTesting Stateful and Concurrent Systems Using test.checkEric Normand · Clojure/west 2017
• 45mThe Hidden Art of Thread-Safe Programming: Exploring java.util.concurrentHeinz M. Kabutz · Voxxed Days Thessaloniki 2025
• 38mAsk Me Anything with Doug LeaDoug Lea, Laurence Tratt · PLDI 2020
• 43mEffective Unit testing with KotlinDanny Preussler · Android Makers 2019
• 50mThe Hidden Art of Thread-Safe Programming: Exploring java.util.con...Heinz M. Kabutz · JNation 2026
• 56mJava 4..21, Kotlin, Code Coverage, bytecode: scandals, intrigues, investigationsEvgeny Mandrikov · Voxxed Days Luxembourg 2023