Play around with Lincheck

[djspiewak]

https://github.com/Kotlin/kotlinx-lincheck

I think we could really benefit from stress-testing some of our stuff, particularly in WSTP and IOFiber itself.

[durban]

An alternative could be JCStress (#3499 has some examples). Based on reading its documentation, it seems lincheck has 2 modes of testing: stress testing and "model" testing. Both seem very useful, as they could detect different problems. JCStress definitely only does stress testing, but based on what I've seen from JCStress and what I've read about lincheck, I'd expect JCStress to do stress testing somewhat better (it has knowledge about openjdk internals, and uses it to, e.g., run one thread without JIT compilation, and the other with). But I have not much experience with lincheck, so this is just a feeling. And of course, it would be possible to use both (in different tests).

[vasilmkd]

For what it's worth, I'm a maintainer of sbt-jcstress, we could update it, not sure how much work that will require. I believe it is quite out of date now.

[durban]

I'm using sbt-jcstress. I'm sure it could be improved, but honestly, it seems to work. Fortunately it is possible to update the JCStress version without updating the sbt plugin (e.g., here).

[vasilmkd]

That's great! I did not know that 🤣