lincheck: Hang in FixedActiveThreadsExecutor (Lincheck 2.19)

When running on 2.18.1 a github action takes 8 minutes to run the tests. When upgrading, it is still running after 58 minutes. When running locally the tests complete without an error. I’ll revert that upgrade to isolate it, but the other changes were benign code readability changes to please a static analyzer. So for now this is an fyi as I try to reproduce locally.

It canceled after a 60 minute timeout trying to verify an embedded copy of JCTools’ MpscGrowableArrayQueue.

Gradle suite > Gradle test > com.github.benmanes.caffeine.cache.MpscGrowableArrayQueueLincheckTest > modelCheckingTest STARTED

Gradle suite > Gradle test > com.github.benmanes.caffeine.cache.MpscGrowableArrayQueueLincheckTest > stressTest STARTED