| /* |
| * Copyright 2016-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license. |
| */ |
| |
| package kotlinx.coroutines.experimental.internal |
| |
| import com.devexperts.dxlab.lincheck.* |
| import com.devexperts.dxlab.lincheck.annotations.* |
| import com.devexperts.dxlab.lincheck.paramgen.* |
| import com.devexperts.dxlab.lincheck.stress.* |
| import kotlinx.coroutines.experimental.* |
| import kotlin.test.* |
| |
| @Param(name = "value", gen = IntGen::class, conf = "1:3") |
| class LockFreeListLinearizabilityTest : TestBase() { |
| class Node(val value: Int): LockFreeLinkedListNode() |
| |
| lateinit var q: LockFreeLinkedListHead |
| |
| @Reset |
| fun reset() { |
| q = LockFreeLinkedListHead() |
| } |
| |
| @Operation |
| fun addLast(@Param(name = "value") value: Int) { |
| q.addLast(Node(value)) |
| } |
| |
| @Operation |
| fun addLastIfNotSame(@Param(name = "value") value: Int) { |
| q.addLastIfPrev(Node(value)) { !it.isSame(value) } |
| } |
| |
| @Operation |
| fun removeFirst(): Int? { |
| val node = q.removeFirstOrNull() ?: return null |
| return (node as Node).value |
| } |
| |
| @Operation |
| fun removeFirstOrPeekIfNotSame(@Param(name = "value") value: Int): Int? { |
| val node = q.removeFirstIfIsInstanceOfOrPeekIf<Node> { !it.isSame(value) } ?: return null |
| return node.value |
| } |
| |
| fun Any.isSame(value: Int) = this is Node && this.value == value |
| |
| @Test |
| fun testAddRemoveLinearizability() { |
| val options = StressOptions() |
| .iterations(100) |
| .invocationsPerIteration(1000 * stressTestMultiplier) |
| .addThread(1, 2) |
| .addThread(1, 2) |
| .addThread(1, 2) |
| .addThread(1, 2) |
| LinChecker.check(LockFreeListLinearizabilityTest::class.java, options) |
| } |
| } |