Fray: A Controlled Concurrency Testing Framework for the JVM

by 0x54MUR41on 6/8/2025, 6:21 AMwith 3 comments

by AugustoCASon 6/8/2025, 6:47 PM

I wonder how this works when one runs test in parallel (something I always enable in any project). By this I mean configuring JUnit to run as many tests as cores are available to speed up the run of the whole test suite.

I took a peek at the code and I have the impression it doesn't work that well as it hooks into when a thread is started. Also, I'm not sure if this works with fibers.

by gavinrayon 6/8/2025, 1:46 PM

See also: "lincheck" by Jetbrains

https://github.com/JetBrains/lincheck

Toolkit for automatically deriving linearizability proofs for Concurrent Data Structures/Primtives.

https://blog.jetbrains.com/kotlin/2021/02/how-we-test-concur...