set the channel topic: Lincheck — framework for testing concurrent data structures on JVM.

set the channel topic: Lincheck — framework for testing concurrent data structures on JVM.

Thanks for the great talk! I've been working for some time on a Coroutine-based reactive cache implementation, and I was struggling to figure out how to test it. I read the Lincheck announcement a few months ago, but it all seemed like magic—the talk explained really well what it does and how to use it 👍

hey - i've been trying to use lincheck to test the following (racy) implementation:

public class FireAtLeastOnceConsumer<V>(
    private val delegate: Consumer<V>,
) : Consumer<V> {
    @Volatile
    private var fired = false

    public fun consumeIfFirst(value: V) {
        if (!fired) {
            consume(value)
        }
    }
    override fun consume(data: V) {
        fired = true
        delegate.consume(data)
    }
}

But I'm having a really hard time getting lincheck to find the problem. See thread for more details about what I've tried.