| /* |
| * Copyright 2016-2017 JetBrains s.r.o. |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| |
| package kotlinx.coroutines.experimental.channels |
| |
| import com.devexperts.dxlab.lincheck.LinChecker |
| import com.devexperts.dxlab.lincheck.annotations.Operation |
| import com.devexperts.dxlab.lincheck.annotations.Param |
| import com.devexperts.dxlab.lincheck.annotations.Reset |
| import com.devexperts.dxlab.lincheck.paramgen.IntGen |
| import com.devexperts.dxlab.lincheck.stress.* |
| import kotlinx.coroutines.experimental.* |
| import org.junit.Test |
| |
| @Param(name = "value", gen = IntGen::class, conf = "1:3") |
| class ChannelLinearizabilityTest : TestBase() { |
| private val lt = LinTesting() |
| private lateinit var channel: Channel<Int> |
| |
| @Reset |
| fun reset() { |
| channel = Channel<Int>() |
| } |
| |
| @Operation(runOnce = true) |
| fun send1(@Param(name = "value") value: Int) = lt.run("send1") { channel.send(value) } |
| |
| @Operation(runOnce = true) |
| fun send2(@Param(name = "value") value: Int) = lt.run("send2") { channel.send(value) } |
| |
| @Operation(runOnce = true) |
| fun send3(@Param(name = "value") value: Int) = lt.run("send3") { channel.send(value) } |
| |
| @Operation(runOnce = true) |
| fun receive1() = lt.run("receive1") { channel.receive() } |
| |
| @Operation(runOnce = true) |
| fun receive2() = lt.run("receive2") { channel.receive() } |
| |
| @Operation(runOnce = true) |
| fun receive3() = lt.run("receive3") { channel.receive() } |
| |
| // @Operation(runOnce = true) |
| // fun close1() = lt.run("close1") { channel.close(IOException("close1")) } |
| // |
| // @Operation(runOnce = true) |
| // fun close2() = lt.run("close2") { channel.close(IOException("close2")) } |
| |
| @Test |
| fun testLinearizability() { |
| val options = StressOptions() |
| .iterations(100) |
| .invocationsPerIteration(1000 * stressTestMultiplier) |
| .addThread(1, 3) |
| .addThread(1, 3) |
| .addThread(1, 3) |
| .verifier(LinVerifier::class.java) |
| LinChecker.check(ChannelLinearizabilityTest::class.java, options) |
| } |
| } |