| /* |
| * 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.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) |
| } |
| } |