Kotlin/Native and C/C++ support

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "cpp/libcuckoo/libcuckoo"]
+	path = cpp/libcuckoo/libcuckoo
+	url = https://github.com/efficient/libcuckoo

build.gradle.kts

@@ -1,5 +1,11 @@
 import org.gradle.jvm.tasks.Jar
 
+allprojects {
+    ext {
+        set("hostManager", org.jetbrains.kotlin.konan.target.HostManager())
+    }
+}
+
 // atomicfu
 buildscript {
     val atomicfuVersion: String by project
@@ -9,6 +15,8 @@ buildscript {
 }
 apply(plugin = "kotlinx-atomicfu")
 
+apply(from = rootProject.file("gradle/native-targets.gradle"))
+
 plugins {
     java
     kotlin("multiplatform")
@@ -36,6 +44,34 @@ kotlin {
     }
 
     sourceSets {
+        val commonMain by getting {
+            kotlin.srcDir("src/common/main")
+
+            val kotlinVersion: String by project
+            val kotlinxCoroutinesVersion: String by project
+            val asmVersion: String by project
+            val reflectionsVersion: String by project
+            dependencies {
+                api("org.jetbrains.kotlin:kotlin-stdlib:$kotlinVersion")
+                api("org.jetbrains.kotlin:kotlin-stdlib-common:$kotlinVersion")
+                api("org.jetbrains.kotlin:kotlin-reflect:$kotlinVersion")
+                api("org.jetbrains.kotlinx:kotlinx-coroutines-core:$kotlinxCoroutinesVersion")
+                api("org.ow2.asm:asm-commons:$asmVersion")
+                api("org.ow2.asm:asm-util:$asmVersion")
+                api("org.reflections:reflections:$reflectionsVersion")
+            }
+        }
+
+        val commonTest by getting {
+            kotlin.srcDir("src/common/test")
+
+            val kotlinVersion: String by project
+            dependencies {
+                implementation(kotlin("test-common", kotlinVersion))
+                implementation(kotlin("test-annotations-common", kotlinVersion))
+            }
+        }
+
         val jvmMain by getting {
             kotlin.srcDir("src/jvm/main")
 
@@ -80,6 +116,11 @@ sourceSets.test {
     java.srcDirs("src/jvm/test")
 }
 
+tasks.wrapper {
+    gradleVersion = "6.7.1"
+    distributionType = Wrapper.DistributionType.ALL
+}
+
 tasks {
     // empty xxx-javadoc.jar
     register<Jar>("javadocJar") {
@@ -89,7 +130,7 @@ tasks {
     withType<Test> {
         maxParallelForks = 1
         jvmArgs("--add-opens", "java.base/jdk.internal.misc=ALL-UNNAMED",
-                "--add-exports", "java.base/jdk.internal.util=ALL-UNNAMED")
+            "--add-exports", "java.base/jdk.internal.util=ALL-UNNAMED")
     }
 
     withType<Jar> {
@@ -104,6 +145,28 @@ tasks {
     }
 }
 
+tasks.register("cppTest") {
+    dependsOn("linkNative")
+    doLast {
+        exec {
+            workingDir("cpp")
+            commandLine("mkdir", "-p", "build")
+        }
+        exec {
+            workingDir("cpp/build")
+            commandLine("cmake", "..")
+        }
+        exec {
+            workingDir("cpp/build")
+            commandLine("make")
+        }
+        exec {
+            workingDir("cpp/build")
+            commandLine("ctest", "--output-on-failure")
+        }
+    }
+}
+
 publishing {
     publications.withType<MavenPublication> {
         // add empty javadoc

cpp/CMakeLists.txt

@@ -0,0 +1,97 @@
+cmake_minimum_required(VERSION 3.16)
+project(lincheck_test)
+
+set(CMAKE_CXX_STANDARD 17)
+
+# add lincheck shared library
+add_library(lincheck_library SHARED IMPORTED GLOBAL)
+if(EXISTS "${PROJECT_SOURCE_DIR}/../build/bin/native/releaseShared/libnative.so") #linux .so
+    set_target_properties(lincheck_library PROPERTIES IMPORTED_LOCATION "${PROJECT_SOURCE_DIR}/../build/bin/native/releaseShared/libnative.so")
+else() # mac .dylib
+    set_target_properties(lincheck_library PROPERTIES IMPORTED_LOCATION "${PROJECT_SOURCE_DIR}/../build/bin/native/releaseShared/libnative.dylib")
+endif()
+
+# add gtest
+include(FetchContent)
+FetchContent_Declare(
+        googletest
+        URL https://github.com/google/googletest/archive/609281088cfefc76f9d0ce82e1ff6c30cc3591e5.zip
+)
+# For Windows: Prevent overriding the parent project's compiler/linker settings
+set(gtest_force_shared_crt ON CACHE BOOL "" FORCE)
+FetchContent_MakeAvailable(googletest)
+
+# add libcds
+FetchContent_Declare(
+        libcds
+        GIT_REPOSITORY https://github.com/khizmax/libcds
+        GIT_TAG master
+        GIT_SHALLOW TRUE
+)
+
+FetchContent_GetProperties(libcds)
+if (NOT libcds_POPULATED)
+    FetchContent_Populate(libcds)
+    add_subdirectory(${libcds_SOURCE_DIR} ${libcds_BINARY_DIR})
+endif ()
+
+# add folly
+FetchContent_Declare(
+        folly
+        GIT_REPOSITORY https://github.com/facebook/folly
+        GIT_TAG master
+        GIT_SHALLOW TRUE
+)
+
+FetchContent_GetProperties(folly)
+if (NOT folly_POPULATED)
+    FetchContent_Populate(folly)
+    add_subdirectory(${folly_SOURCE_DIR} ${folly_BINARY_DIR})
+endif ()
+
+# add libcuckoo
+FetchContent_Declare(
+        libcuckoo
+        GIT_REPOSITORY https://github.com/efficient/libcuckoo
+        GIT_TAG master
+        GIT_SHALLOW TRUE
+)
+
+FetchContent_GetProperties(libcuckoo)
+if (NOT libcuckoo_POPULATED)
+    FetchContent_Populate(libcuckoo)
+    add_subdirectory(${libcuckoo_SOURCE_DIR} ${libcuckoo_BINARY_DIR})
+    include_directories(${libcuckoo_SOURCE_DIR})
+endif ()
+
+# add boost
+set(Boost_USE_STATIC_LIBS OFF)
+set(Boost_USE_MULTITHREADED ON)
+set(Boost_USE_STATIC_RUNTIME OFF)
+find_package(Boost REQUIRED COMPONENTS thread program_options)
+
+add_executable(
+        tests
+        counter_test.cpp
+        libcds_test.cpp
+        libcuckoo_test.cpp
+        folly_test.cpp
+        boost_lockfree_test.cpp
+)
+
+enable_testing()
+
+target_link_libraries(tests gtest_main)
+target_link_libraries(tests gmock_main)
+target_link_libraries(tests lincheck_library)
+target_link_libraries(tests cds)
+target_link_libraries(tests libcuckoo)
+target_link_libraries(tests folly)
+set(Boost_USE_STATIC_LIBS OFF)
+set(Boost_USE_MULTITHREADED ON)
+set(Boost_USE_STATIC_RUNTIME OFF)
+include_directories(${Boost_INCLUDE_DIR} ${BOOST_LOCKFREE_DIR})
+target_link_libraries(tests ${Boost_LIBRARIES})
+
+include(GoogleTest)
+gtest_discover_tests(tests)

cpp/README.MD

@@ -0,0 +1,8 @@
+In the kotlinx-lincheck directory run `./gradlew linkNative`. It generates `build/bin/native/debugShared` and `build/bin/native/releaseShared`
+
+Run this as a CMake application
+1. `mkdir build`
+2. `cd build`
+3. `cmake ..`
+4. `make`
+5. `./lincheck_test`