Uncomment tests and add README.md sample

aartdem · May 5, 2024 · 38b0ceb · 38b0ceb
1 parent cb0b4ba
commit 38b0ceb
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 3 deletions.
diff --git a/work1/README.md b/work1/README.md
diff --git a/work1/build.gradle.kts b/work1/build.gradle.kts
@@ -13,6 +13,7 @@ repositories {
 dependencies {
     implementation("de.m3y.kformat:kformat:0.11")
     implementation("org.apache.commons:commons-math3:3.6.1")
+    implementation("org.jetbrains.kotlinx:kotlinx-coroutines-core:1.8.0")
     testImplementation("org.jetbrains.kotlinx:lincheck:2.26")
     testImplementation("org.jetbrains.kotlin:kotlin-test")
 }

diff --git a/work1/src/main/kotlin/stack/benchmark/StackBenchmark.kt b/work1/src/main/kotlin/stack/benchmark/StackBenchmark.kt
@@ -30,7 +30,7 @@ class StackBenchmark<T> {
         }.map { it.toStackOperation() }
 
         repeat(measureScenario.threadsNum) {
-            threads.add(thread(false) {
+            threads.add(thread(start = false) {
                 operations.forEach { it.invoke(measureScenario.initialStack) }
             })
         }

diff --git a/work1/src/test/kotlin/stack/ConcurrentStackTests.kt b/work1/src/test/kotlin/stack/ConcurrentStackTests.kt
@@ -5,6 +5,8 @@ import org.jetbrains.kotlinx.lincheck.check
 import org.jetbrains.kotlinx.lincheck.strategy.managed.modelchecking.ModelCheckingOptions
 import org.jetbrains.kotlinx.lincheck.strategy.stress.StressOptions
 import stack.common.ConcurrentStack
+import stack.elimination.ConcurrentStackWithElimination
+import stack.simple.ConcurrentTreiberStack
 import kotlin.test.Test
 
 abstract class ConcurrentStackTests(private val stack: ConcurrentStack<Int>) {
@@ -46,6 +48,6 @@ abstract class ConcurrentStackTests(private val stack: ConcurrentStack<Int>) {
         .check(this::class)
 }
 
-//class ConcurrentStackWithEliminationTests : ConcurrentStackTests(ConcurrentTreiberStack())
+class ConcurrentTreiberStackTests : ConcurrentStackTests(ConcurrentTreiberStack())
 
-//class ConcurrentTreiberStackTests : ConcurrentStackTests(ConcurrentTreiberStack())
+class ConcurrentStackWithEliminationTests : ConcurrentStackTests(ConcurrentStackWithElimination())