IndexOutOfBoundsException in the modelChecking test

[de-shyt]

The complete output with the detailed stack trace is in the file output.log

Exception stacktrace:
java.lang.IllegalStateException: Trying to switch the execution to thread 2,
but only the following threads are eligible to switch: [0]
	at org.jetbrains.kotlinx.lincheck.strategy.managed.modelchecking.ModelCheckingStrategy.chooseThread(ModelCheckingStrategy.kt:306)
	at org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategy.doSwitchCurrentThread(ManagedStrategy.kt:524)
	at org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategy.switchCurrentThread(ManagedStrategy.kt:500)
	at org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategy.switchCurrentThread$default(ManagedStrategy.kt:493)
	at org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategy.newSwitchPoint(ManagedStrategy.kt:402)
	at org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategy.newSwitchPointOnAtomicMethodCall(ManagedStrategy.kt:964)
	at org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategy.beforeMethodCall(ManagedStrategy.kt:903)
	at sun.nio.ch.lincheck.Injections.beforeMethodCall(Injections.java:249)
	at kotlinx.coroutines.CancellableContinuationImpl.tryResume(CancellableContinuationImpl.kt:279)
	at kotlinx.coroutines.CancellableContinuationImpl.dispatchResume(CancellableContinuationImpl.kt:468)
	at kotlinx.coroutines.CancellableContinuationImpl.completeResume(CancellableContinuationImpl.kt:591)
	at com.deshyt.buffered.BufferedChannel.tryResumeRequest(BufferedChannel.kt:249)
	at com.deshyt.buffered.BufferedChannel.tryResumeRequest(BufferedChannel.kt:238)
	at com.deshyt.buffered.BufferedChannel.updateCellOnSend(BufferedChannel.kt:106)
	at com.deshyt.buffered.BufferedChannel.send(BufferedChannel.kt:74)
	at com.deshyt.ChannelTestBase.send(ChannelTestBase.kt:22)
	at org.jetbrains.kotlinx.lincheck.runner.TestThreadExecution77.run(Unknown Source)
	at org.jetbrains.kotlinx.lincheck.runner.FixedActiveThreadsExecutor.testThreadRunnable$lambda$10(FixedActiveThreadsExecutor.kt:172)
	at java.base/java.lang.Thread.run(Thread.java:1583)

== Reporting the second execution ==
= Validation function validate has failed =
| ---------------------------------------------------------------------------------------------------------------------------------------------------- |
|                    Thread 1                    |                     Thread 2                     |                     Thread 3                     |
| ---------------------------------------------------------------------------------------------------------------------------------------------------- |
| receive(): IndexOutOfBoundsException #1        | send(3): void                                    | receive(): 3                                     |
| send(1) + cancel: IndexOutOfBoundsException #2 | receive(): IndexOutOfBoundsException #4          | receive() + cancel: IndexOutOfBoundsException #6 |
| receive(): IndexOutOfBoundsException #3        | receive() + cancel: IndexOutOfBoundsException #5 | send(1): IndexOutOfBoundsException #7            |
| ---------------------------------------------------------------------------------------------------------------------------------------------------- |
| validate(): IndexOutOfBoundsException          |                                                  |                                                  |
| ---------------------------------------------------------------------------------------------------------------------------------------------------- |

---
The number next to an exception name helps you find its stack trace provided after the interleaving section
---


java.lang.IndexOutOfBoundsException: Index 10 out of bounds for length 7
	at java.base/jdk.internal.util.Preconditions.outOfBounds(Preconditions.java:100)
	at java.base/jdk.internal.util.Preconditions.outOfBoundsCheckIndex(Preconditions.java:106)
	at java.base/jdk.internal.util.Preconditions.checkIndex(Preconditions.java:302)
	at java.base/java.util.Objects.checkIndex(Objects.java:385)
	at java.base/java.util.ArrayList.get(ArrayList.java:427)
	at org.jetbrains.kotlinx.lincheck.strategy.managed.ReplayModeLoopDetectorHelper.getCurrentHistoryNode(LoopDetector.kt:645)
	at org.jetbrains.kotlinx.lincheck.strategy.managed.ReplayModeLoopDetectorHelper.getCurrentlyInSpinCycle(LoopDetector.kt:651)
	at org.jetbrains.kotlinx.lincheck.strategy.managed.LoopDetector.getReplayModeCurrentlyInSpinCycle(LoopDetector.kt:120)
	at org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategy$TraceCollector.checkActiveLockDetected(ManagedStrategy.kt:1392)
	at org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategy.beforeMethodCall(ManagedStrategy.kt:899)
	at sun.nio.ch.lincheck.Injections.beforeMethodCall(Injections.java:249)
	at com.deshyt.ChannelTestBase.validate(ChannelTestBase.kt:54)
	at org.jetbrains.kotlinx.lincheck.runner.TestThreadExecution83.run(Unknown Source)
	at org.jetbrains.kotlinx.lincheck.runner.FixedActiveThreadsExecutor.testThreadRunnable$lambda$10(FixedActiveThreadsExecutor.kt:172)
	at java.base/java.lang.Thread.run(Thread.java:1583)


The following interleaving leads to the error:
| ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
|                                                                           Thread 1                                                                           |                                                                         Thread 2                                                                         |                                                                   Thread 3                                                                   |
| ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
|                                                                                                                                                              |                                                                                                                                                          | receive(): 3                                                                                                                                 |
|                                                                                                                                                              |                                                                                                                                                          |   c.receive(): COROUTINE_SUSPENDED at ChannelTestBase.receive(ChannelTestBase.kt:29)                                                         |
|                                                                                                                                                              |                                                                                                                                                          |     receiveSegment.READ: ChannelSegment#1 at BufferedChannel.receive(BufferedChannel.kt:124)                                                 |
|                                                                                                                                                              |                                                                                                                                                          |     receiversCounter.getAndIncrement(): 0 at BufferedChannel.receive(BufferedChannel.kt:128)                                                 |
|                                                                                                                                                              |                                                                                                                                                          |     updateCellOnReceive(0,ChannelSegment#1,0,<cont>): COROUTINE_SUSPENDED at BufferedChannel.receive(BufferedChannel.kt:144)                 |
|                                                                                                                                                              |                                                                                                                                                          |       ChannelSegment#1.getState$kotlin_channels(0): null at BufferedChannel.updateCellOnReceive(BufferedChannel.kt:158)                      |
|                                                                                                                                                              |                                                                                                                                                          |       sendersCounter.READ: 0 at BufferedChannel.updateCellOnReceive(BufferedChannel.kt:159)                                                  |
|                                                                                                                                                              |                                                                                                                                                          |       trySuspendRequest(ChannelSegment#1,0,false,<cont>): COROUTINE_SUSPENDED at BufferedChannel.updateCellOnReceive(BufferedChannel.kt:163) |
|                                                                                                                                                              |                                                                                                                                                          |         <cont>.initCancellability() at BufferedChannel.trySuspendRequest(BufferedChannel.kt:575)                                             |
|                                                                                                                                                              |                                                                                                                                                          |         <cont>.invokeOnCancellation(trySuspendRequest$2$1) at BufferedChannel.trySuspendRequest(BufferedChannel.kt:221)                      |
|                                                                                                                                                              |                                                                                                                                                          |         ChannelSegment#1.casState$kotlin_channels(0,null,Coroutine#1): true at BufferedChannel.trySuspendRequest(BufferedChannel.kt:224)     |
|                                                                                                                                                              |                                                                                                                                                          |         BufferedChannel.access$expandBuffer(BufferedChannel#1) at BufferedChannel.trySuspendRequest(BufferedChannel.kt:230)                  |
|                                                                                                                                                              |                                                                                                                                                          |         <cont>.getResult(): COROUTINE_SUSPENDED at BufferedChannel.trySuspendRequest(BufferedChannel.kt:577)                                 |
|                                                                                                                                                              |                                                                                                                                                          |           trySuspend(): true at CancellableContinuationImpl.getResult(CancellableContinuationImpl.kt:294)                                    |
|                                                                                                                                                              |                                                                                                                                                          |           getParentHandle(): ChildContinuation#1 at CancellableContinuationImpl.getResult(CancellableContinuationImpl.kt:304)                |
|                                                                                                                                                              |                                                                                                                                                          |   switch (reason: coroutine is suspended)                                                                                                    |
|                                                                                                                                                              |                                                                                                                                                          |   result: 3                                                                                                                                  |
| receive(): IndexOutOfBoundsException #1                                                                                                                      |                                                                                                                                                          |                                                                                                                                              |
|   c.receive() at ChannelTestBase.receive(ChannelTestBase.kt:29)                                                                                              |                                                                                                                                                          |                                                                                                                                              |
|     receiveSegment.READ: ChannelSegment#1 at BufferedChannel.receive(BufferedChannel.kt:124)                                                                 |                                                                                                                                                          |                                                                                                                                              |
|     receiversCounter.getAndIncrement(): 1 at BufferedChannel.receive(BufferedChannel.kt:128)                                                                 |                                                                                                                                                          |                                                                                                                                              |
|     updateCellOnReceive(1,ChannelSegment#1,1,<cont>): threw IndexOutOfBoundsException at BufferedChannel.receive(BufferedChannel.kt:144)                     |                                                                                                                                                          |                                                                                                                                              |
|       ChannelSegment#1.getState$kotlin_channels(1): null at BufferedChannel.updateCellOnReceive(BufferedChannel.kt:158)                                      |                                                                                                                                                          |                                                                                                                                              |
|       sendersCounter.READ: 0 at BufferedChannel.updateCellOnReceive(BufferedChannel.kt:159)                                                                  |                                                                                                                                                          |                                                                                                                                              |
|       trySuspendRequest(ChannelSegment#1,1,false,<cont>): threw IndexOutOfBoundsException at BufferedChannel.updateCellOnReceive(BufferedChannel.kt:163)     |                                                                                                                                                          |                                                                                                                                              |
|         <cont>.initCancellability() at BufferedChannel.trySuspendRequest(BufferedChannel.kt:575)                                                             |                                                                                                                                                          |                                                                                                                                              |
|         <cont>.invokeOnCancellation(trySuspendRequest$2$1) at BufferedChannel.trySuspendRequest(BufferedChannel.kt:221)                                      |                                                                                                                                                          |                                                                                                                                              |
|         ChannelSegment#1.casState$kotlin_channels(1,null,Coroutine#2): true at BufferedChannel.trySuspendRequest(BufferedChannel.kt:224)                     |                                                                                                                                                          |                                                                                                                                              |
|         BufferedChannel.access$expandBuffer(BufferedChannel#1): threw IndexOutOfBoundsException at BufferedChannel.trySuspendRequest(BufferedChannel.kt:230) |                                                                                                                                                          |                                                                                                                                              |
|           Buffered1ChannelTest#1.c.expandBuffer(): threw IndexOutOfBoundsException at BufferedChannel.access$expandBuffer(BufferedChannel.kt:12)             |                                                                                                                                                          |                                                                                                                                              |
|             bufferEndSegment.READ: ChannelSegment#1 at BufferedChannel.expandBuffer(BufferedChannel.kt:363)                                                  |                                                                                                                                                          |                                                                                                                                              |
|             bufferEnd.getAndIncrement(): 2 at BufferedChannel.expandBuffer(BufferedChannel.kt:368)                                                           |                                                                                                                                                          |                                                                                                                                              |
|             switch                                                                                                                                           |                                                                                                                                                          |                                                                                                                                              |
|                                                                                                                                                              | send(3)                                                                                                                                                  |                                                                                                                                              |
|                                                                                                                                                              | receive(): IndexOutOfBoundsException #4                                                                                                                  |                                                                                                                                              |
|                                                                                                                                                              |   c.receive() at ChannelTestBase.receive(ChannelTestBase.kt:29)                                                                                          |                                                                                                                                              |
|                                                                                                                                                              |     receiveSegment.READ: ChannelSegment#1 at BufferedChannel.receive(BufferedChannel.kt:124)                                                             |                                                                                                                                              |
|                                                                                                                                                              |     receiversCounter.getAndIncrement(): 2 at BufferedChannel.receive(BufferedChannel.kt:128)                                                             |                                                                                                                                              |
|                                                                                                                                                              |     findSegmentReceive(1,ChannelSegment#1): ChannelSegment#2 at BufferedChannel.receive(BufferedChannel.kt:136)                                          |                                                                                                                                              |
|                                                                                                                                                              |     updateCellOnReceive(2,ChannelSegment#2,0,<cont>): threw IndexOutOfBoundsException at BufferedChannel.receive(BufferedChannel.kt:144)                 |                                                                                                                                              |
|                                                                                                                                                              |       ChannelSegment#2.getState$kotlin_channels(0): null at BufferedChannel.updateCellOnReceive(BufferedChannel.kt:158)                                  |                                                                                                                                              |
|                                                                                                                                                              |       sendersCounter.READ: 1 at BufferedChannel.updateCellOnReceive(BufferedChannel.kt:159)                                                              |                                                                                                                                              |
|                                                                                                                                                              |       trySuspendRequest(ChannelSegment#2,0,false,<cont>): threw IndexOutOfBoundsException at BufferedChannel.updateCellOnReceive(BufferedChannel.kt:163) |                                                                                                                                              |
|                                                                                                                                                              |         <cont>.initCancellability() at BufferedChannel.trySuspendRequest(BufferedChannel.kt:575)                                                         |                                                                                                                                              |
|                                                                                                                                                              |         <cont>.invokeOnCancellation(trySuspendRequest$2$1) at BufferedChannel.trySuspendRequest(BufferedChannel.kt:221)                                  |                                                                                                                                              |
|                                                                                                                                                              |         ChannelSegment#2.casState$kotlin_channels(0,null,Coroutine#3): true at BufferedChannel.trySuspendRequest(BufferedChannel.kt:224)                 |                                                                                                                                              |
|                                                                                                                                                              |         BufferedChannel.access$expandBuffer(BufferedChannel#1) at BufferedChannel.trySuspendRequest(BufferedChannel.kt:230)                              |                                                                                                                                              |
|                                                                                                                                                              |           Buffered1ChannelTest#1.c.expandBuffer() at BufferedChannel.access$expandBuffer(BufferedChannel.kt:12)                                          |                                                                                                                                              |
|                                                                                                                                                              |             bufferEndSegment.READ: ChannelSegment#1 at BufferedChannel.expandBuffer(BufferedChannel.kt:363)                                              |                                                                                                                                              |
|                                                                                                                                                              |             bufferEnd.getAndIncrement(): 3 at BufferedChannel.expandBuffer(BufferedChannel.kt:368)                                                       |                                                                                                                                              |
|                                                                                                                                                              |             sendersCounter.READ: 1 at BufferedChannel.expandBuffer(BufferedChannel.kt:373)                                                               |                                                                                                                                              |
|                                                                                                                                                              |             switch                                                                                                                                       |                                                                                                                                              |
|                                                                                                                                                              |                                                                                                                                                          | receive() + cancel: IndexOutOfBoundsException #6                                                                                             |
|                                                                                                                                                              |                                                                                                                                                          |   c.receive(): COROUTINE_SUSPENDED at ChannelTestBase.receive(ChannelTestBase.kt:29)                                                         |
|                                                                                                                                                              |                                                                                                                                                          |     receiveSegment.READ: ChannelSegment#2 at BufferedChannel.receive(BufferedChannel.kt:124)                                                 |
|                                                                                                                                                              |                                                                                                                                                          |     receiversCounter.getAndIncrement(): 3 at BufferedChannel.receive(BufferedChannel.kt:128)                                                 |
|                                                                                                                                                              |                                                                                                                                                          |     updateCellOnReceive(3,ChannelSegment#2,1,<cont>): COROUTINE_SUSPENDED at BufferedChannel.receive(BufferedChannel.kt:144)                 |
|                                                                                                                                                              |                                                                                                                                                          |       ChannelSegment#2.getState$kotlin_channels(1): null at BufferedChannel.updateCellOnReceive(BufferedChannel.kt:158)                      |
|                                                                                                                                                              |                                                                                                                                                          |       sendersCounter.READ: 1 at BufferedChannel.updateCellOnReceive(BufferedChannel.kt:159)                                                  |
|                                                                                                                                                              |                                                                                                                                                          |       switch                                                                                                                                 |
|                                                                                                                                                              |             BufferedChannel.incCompletedExpandBufferAttempts$default(BufferedChannel#1,0,1,null) at BufferedChannel.expandBuffer(BufferedChannel.kt:376) |                                                                                                                                              |
|                                                                                                                                                              |         switch                                                                                                                                           |                                                                                                                                              |
|                                                                                                                                                              |   result: IndexOutOfBoundsException #4                                                                                                                   |                                                                                                                                              |
|                                                                                                                                                              | receive() + cancel: IndexOutOfBoundsException #5                                                                                                         |                                                                                                                                              |
| ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| send(1) + cancel: IndexOutOfBoundsException #2                                                                                                               |                                                                                                                                                          |                                                                                                                                              |
| receive(): IndexOutOfBoundsException #3                                                                                                                      |                                                                                                                                                          |                                                                                                                                              |
| validate(): IndexOutOfBoundsException                                                                                                                        |                                                                                                                                                          |                                                                                                                                              |
| ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |

Exception stack traces:
#1: java.lang.IndexOutOfBoundsException: Index 7 out of bounds for length 7
	at java.base/jdk.internal.util.Preconditions.outOfBounds(Preconditions.java:100)
	at java.base/jdk.internal.util.Preconditions.outOfBoundsCheckIndex(Preconditions.java:106)
	at java.base/jdk.internal.util.Preconditions.checkIndex(Preconditions.java:302)
	at java.base/java.util.Objects.checkIndex(Objects.java:385)
	at java.base/java.util.ArrayList.get(ArrayList.java:427)

#2: java.lang.IndexOutOfBoundsException: Index 7 out of bounds for length 7
	at java.base/jdk.internal.util.Preconditions.outOfBounds(Preconditions.java:100)
	at java.base/jdk.internal.util.Preconditions.outOfBoundsCheckIndex(Preconditions.java:106)
	at java.base/jdk.internal.util.Preconditions.checkIndex(Preconditions.java:302)
	at java.base/java.util.Objects.checkIndex(Objects.java:385)
	at java.base/java.util.ArrayList.get(ArrayList.java:427)

#3: java.lang.IndexOutOfBoundsException: Index 7 out of bounds for length 7
	at java.base/jdk.internal.util.Preconditions.outOfBounds(Preconditions.java:100)
	at java.base/jdk.internal.util.Preconditions.outOfBoundsCheckIndex(Preconditions.java:106)
	at java.base/jdk.internal.util.Preconditions.checkIndex(Preconditions.java:302)
	at java.base/java.util.Objects.checkIndex(Objects.java:385)
	at java.base/java.util.ArrayList.get(ArrayList.java:427)

#4: java.lang.IndexOutOfBoundsException: Index 8 out of bounds for length 7
	at java.base/jdk.internal.util.Preconditions.outOfBounds(Preconditions.java:100)
	at java.base/jdk.internal.util.Preconditions.outOfBoundsCheckIndex(Preconditions.java:106)
	at java.base/jdk.internal.util.Preconditions.checkIndex(Preconditions.java:302)
	at java.base/java.util.Objects.checkIndex(Objects.java:385)
	at java.base/java.util.ArrayList.get(ArrayList.java:427)

#5: java.lang.IndexOutOfBoundsException: Index 8 out of bounds for length 7
	at java.base/jdk.internal.util.Preconditions.outOfBounds(Preconditions.java:100)
	at java.base/jdk.internal.util.Preconditions.outOfBoundsCheckIndex(Preconditions.java:106)
	at java.base/jdk.internal.util.Preconditions.checkIndex(Preconditions.java:302)
	at java.base/java.util.Objects.checkIndex(Objects.java:385)
	at java.base/java.util.ArrayList.get(ArrayList.java:427)

#6: java.lang.IndexOutOfBoundsException: Index 9 out of bounds for length 7
	at java.base/jdk.internal.util.Preconditions.outOfBounds(Preconditions.java:100)
	at java.base/jdk.internal.util.Preconditions.outOfBoundsCheckIndex(Preconditions.java:106)
	at java.base/jdk.internal.util.Preconditions.checkIndex(Preconditions.java:302)
	at java.base/java.util.Objects.checkIndex(Objects.java:385)
	at java.base/java.util.ArrayList.get(ArrayList.java:427)

#7: java.lang.IndexOutOfBoundsException: Index 9 out of bounds for length 7
	at java.base/jdk.internal.util.Preconditions.outOfBounds(Preconditions.java:100)
	at java.base/jdk.internal.util.Preconditions.outOfBoundsCheckIndex(Preconditions.java:106)
	at java.base/jdk.internal.util.Preconditions.checkIndex(Preconditions.java:302)
	at java.base/java.util.Objects.checkIndex(Objects.java:385)
	at java.base/java.util.ArrayList.get(ArrayList.java:427)

        at org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategy.tryCollectTrace(ManagedStrategy.kt:263)
	at org.jetbrains.kotlinx.lincheck.strategy.StrategyKt.verify(Strategy.kt:127)
	at org.jetbrains.kotlinx.lincheck.strategy.StrategyKt.runIteration(Strategy.kt:108)
	at org.jetbrains.kotlinx.lincheck.LinChecker.run(LinChecker.kt:147)
	at org.jetbrains.kotlinx.lincheck.LinChecker.checkImpl(LinChecker.kt:104)
	at org.jetbrains.kotlinx.lincheck.LinChecker.checkImpl$lincheck(LinChecker.kt:65)
	at org.jetbrains.kotlinx.lincheck.LinChecker.check(LinChecker.kt:47)
	at org.jetbrains.kotlinx.lincheck.LinChecker$Companion.check(LinChecker.kt:195)
	at org.jetbrains.kotlinx.lincheck.LinCheckerKt.check(LinChecker.kt:295)
	at org.jetbrains.kotlinx.lincheck.LinCheckerKt.check(LinChecker.kt:304)
	at com.deshyt.TestBase.modelCheckingTest(Unknown Source)
	at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
	at java.base/java.lang.reflect.Method.invoke(Method.java:580)
	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:59)
	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)
	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:56)
	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)
	at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
	at org.junit.runners.BlockJUnit4ClassRunner$1.evaluate(BlockJUnit4ClassRunner.java:100)
	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:366)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:103)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63)
	at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
	at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
	at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
	at org.gradle.api.internal.tasks.testing.junit.JUnitTestClassExecutor.runTestClass(JUnitTestClassExecutor.java:112)
	at org.gradle.api.internal.tasks.testing.junit.JUnitTestClassExecutor.execute(JUnitTestClassExecutor.java:58)
	at org.gradle.api.internal.tasks.testing.junit.JUnitTestClassExecutor.execute(JUnitTestClassExecutor.java:40)
	at org.gradle.api.internal.tasks.testing.junit.AbstractJUnitTestClassProcessor.processTestClass(AbstractJUnitTestClassProcessor.java:60)
	at org.gradle.api.internal.tasks.testing.SuiteTestClassProcessor.processTestClass(SuiteTestClassProcessor.java:52)
	at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
	at java.base/java.lang.reflect.Method.invoke(Method.java:580)
	at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:36)
	at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24)
	at org.gradle.internal.dispatch.ContextClassLoaderDispatch.dispatch(ContextClassLoaderDispatch.java:33)
	at org.gradle.internal.dispatch.ProxyDispatchAdapter$DispatchingInvocationHandler.invoke(ProxyDispatchAdapter.java:94)
	at jdk.proxy1/jdk.proxy1.$Proxy2.processTestClass(Unknown Source)
	at org.gradle.api.internal.tasks.testing.worker.TestWorker$2.run(TestWorker.java:176)
	at org.gradle.api.internal.tasks.testing.worker.TestWorker.executeAndMaintainThreadName(TestWorker.java:129)
	at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:100)
	at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:60)
	at org.gradle.process.internal.worker.child.ActionExecutionWorker.execute(ActionExecutionWorker.java:56)
	at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:119)
	at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:66)
	at worker.org.gradle.process.internal.worker.GradleWorkerMain.run(GradleWorkerMain.java:69)
	at worker.org.gradle.process.internal.worker.GradleWorkerMain.main(GradleWorkerMain.java:74)

The code is stored here. The error can be reproduced by running Buffered1ChannelTest.
I am using blocking operations, and for this purpose I created a blockingActor method in the Lincheck library. The corresponding PR is here.

Lincheck version: 2.34
Lincheck plugin version: 0.9
Intellij IDEA version: 2024.2.3