[HN Gopher] Fray: A Controlled Concurrency Testing Framework for...
       ___________________________________________________________________
        
       Fray: A Controlled Concurrency Testing Framework for the JVM
        
       Author : 0x54MUR41
       Score  : 64 points
       Date   : 2025-06-08 06:21 UTC (16 hours ago)
        
 (HTM) web link (github.com)
 (TXT) w3m dump (github.com)
        
       | l2dy wrote:
       | Related: https://news.ycombinator.com/item?id=44211779
        
       | gavinray wrote:
       | 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...
        
       | AugustoCAS wrote:
       | 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.
        
       ___________________________________________________________________
       (page generated 2025-06-08 23:01 UTC)