[K/N][tests] Migrate various runtime/ tests ^KT-61259

2024-03-11 22:48:50 +01:00
parent 7ad4e58a7a
commit d88092aa94
99 changed files with 2102 additions and 1905 deletions
@@ -0,0 +1,12 @@
+import kotlin.test.*
+
+class A {
+    var field: B? = null
+}
+
+class B(var field: Int)
+
+@Test fun runTest() {
+    val a = A()
+    a.field = B(2)
+}
@@ -0,0 +1,189 @@
+// DISABLE_NATIVE: gcType=NOOP
+// FREE_COMPILER_ARGS: -opt-in=kotlin.native.internal.InternalForKotlinNative,kotlin.native.runtime.NativeRuntimeApi,kotlin.experimental.ExperimentalNativeApi,kotlinx.cinterop.ExperimentalForeignApi
+
+import kotlin.test.*
+
+import kotlin.native.internal.*
+import kotlin.concurrent.AtomicInt
+import kotlin.concurrent.AtomicNativePtr
+import kotlin.native.concurrent.*
+import kotlin.native.ref.WeakReference
+import kotlin.native.ref.Cleaner
+import kotlin.native.ref.createCleaner
+import kotlin.native.runtime.GC
+
+class AtomicBoolean(initialValue: Boolean) {
+    private val impl = AtomicInt(if (initialValue) 1 else 0)
+
+    public var value: Boolean
+        get() = impl.value != 0
+        set(new) { impl.value = if (new) 1 else 0 }
+}
+
+class FunBox(private val impl: () -> Unit) {
+    fun call() {
+        impl()
+    }
+}
+
+@Test
+fun testCleanerLambda() {
+    val called = AtomicBoolean(false);
+    var funBoxWeak: WeakReference<FunBox>? = null
+    var cleanerWeak: WeakReference<Cleaner>? = null
+    {
+        val cleaner = {
+            val funBox = FunBox { called.value = true }
+            funBoxWeak = WeakReference(funBox)
+            createCleaner(funBox) { it.call() }
+        }()
+        GC.collect()  // Make sure local funBox reference is gone
+        cleanerWeak = WeakReference(cleaner)
+        assertFalse(called.value)
+    }()
+
+    GC.collect()
+    performGCOnCleanerWorker()
+
+    assertNull(cleanerWeak!!.value)
+    assertTrue(called.value)
+    assertNull(funBoxWeak!!.value)
+}
+
+@Test
+fun testCleanerAnonymousFunction() {
+    val called = AtomicBoolean(false);
+    var funBoxWeak: WeakReference<FunBox>? = null
+    var cleanerWeak: WeakReference<Cleaner>? = null
+    {
+        val cleaner = {
+            val funBox = FunBox { called.value = true }
+            funBoxWeak = WeakReference(funBox)
+            createCleaner(funBox, fun (it: FunBox) { it.call() })
+        }()
+        GC.collect()  // Make sure local funBox reference is gone
+        cleanerWeak = WeakReference(cleaner)
+        assertFalse(called.value)
+    }()
+
+    GC.collect()
+    performGCOnCleanerWorker()
+
+    assertNull(cleanerWeak!!.value)
+    assertTrue(called.value)
+    assertNull(funBoxWeak!!.value)
+}
+
+@Test
+fun testCleanerFunctionReference() {
+    val called = AtomicBoolean(false);
+    var funBoxWeak: WeakReference<FunBox>? = null
+    var cleanerWeak: WeakReference<Cleaner>? = null
+    {
+        val cleaner = {
+            val funBox = FunBox { called.value = true }
+            funBoxWeak = WeakReference(funBox)
+            createCleaner(funBox, FunBox::call)
+        }()
+        GC.collect()  // Make sure local funBox reference is gone
+        cleanerWeak = WeakReference(cleaner)
+        assertFalse(called.value)
+    }()
+
+    GC.collect()
+    performGCOnCleanerWorker()
+
+    assertNull(cleanerWeak!!.value)
+    assertTrue(called.value)
+    assertNull(funBoxWeak!!.value)
+}
+
+@Test
+fun testCleanerCleansWithoutGC() {
+    val called = AtomicBoolean(false);
+    var funBoxWeak: WeakReference<FunBox>? = null
+    var cleanerWeak: WeakReference<Cleaner>? = null
+    {
+        val cleaner = {
+            val funBox = FunBox { called.value = true }
+            funBoxWeak = WeakReference(funBox)
+            createCleaner(funBox) { it.call() }
+        }()
+        GC.collect()  // Make sure local funBox reference is gone
+        cleanerWeak = WeakReference(cleaner)
+        assertFalse(called.value)
+    }()
+
+    GC.collect()
+
+    assertNull(cleanerWeak!!.value)
+
+    waitCleanerWorker()
+
+    assertTrue(called.value)
+}
+
+val globalInt = AtomicInt(0)
+
+@Test
+fun testCleanerWithInt() {
+    var cleanerWeak: WeakReference<Cleaner>? = null
+    {
+        val cleaner = createCleaner(42) {
+            globalInt.value = it
+        }
+        cleanerWeak = WeakReference(cleaner)
+        assertEquals(0, globalInt.value)
+    }()
+
+    GC.collect()
+    performGCOnCleanerWorker()
+
+    assertNull(cleanerWeak!!.value)
+    assertEquals(42, globalInt.value)
+}
+
+val globalPtr = AtomicNativePtr(NativePtr.NULL)
+
+@Test
+fun testCleanerWithNativePtr() {
+    var cleanerWeak: WeakReference<Cleaner>? = null
+    {
+        val cleaner = createCleaner(NativePtr.NULL + 42L) {
+            globalPtr.value = it
+        }
+        cleanerWeak = WeakReference(cleaner)
+        assertEquals(NativePtr.NULL, globalPtr.value)
+    }()
+
+    GC.collect()
+    performGCOnCleanerWorker()
+
+    assertNull(cleanerWeak!!.value)
+    assertEquals(NativePtr.NULL + 42L, globalPtr.value)
+}
+
+@Test
+fun testCleanerWithException() {
+    val called = AtomicBoolean(false);
+    var funBoxWeak: WeakReference<FunBox>? = null
+    var cleanerWeak: WeakReference<Cleaner>? = null
+    {
+        val funBox = FunBox { called.value = true }
+        funBoxWeak = WeakReference(funBox)
+        val cleaner = createCleaner(funBox) {
+            it.call()
+            error("Cleaner block failed")
+        }
+        cleanerWeak = WeakReference(cleaner)
+    }()
+
+    GC.collect()
+    performGCOnCleanerWorker()
+
+    assertNull(cleanerWeak!!.value)
+    // Cleaners block started executing.
+    assertTrue(called.value)
+    // Even though the block failed, the captured funBox is freed.
+    assertNull(funBoxWeak!!.value)
+}
@@ -0,0 +1,34 @@
+// DISABLE_NATIVE: gcType=NOOP
+// FREE_COMPILER_ARGS: -opt-in=kotlin.native.internal.InternalForKotlinNative,kotlin.native.runtime.NativeRuntimeApi,kotlin.experimental.ExperimentalNativeApi,kotlinx.cinterop.ExperimentalForeignApi
+
+import kotlin.test.*
+
+import kotlin.concurrent.AtomicInt
+import kotlin.native.concurrent.*
+import kotlin.native.internal.*
+import kotlin.native.ref.Cleaner
+import kotlin.native.ref.createCleaner
+import kotlin.native.runtime.GC
+
+@ThreadLocal
+var tlsCleaner: Cleaner? = null
+
+val value = AtomicInt(0)
+
+@Test
+fun test() {
+    val worker = Worker.start()
+
+    worker.execute(TransferMode.SAFE, {}) {
+        tlsCleaner = createCleaner(42) {
+            value.value = it
+        }
+    }
+
+    worker.requestTermination().result
+    waitWorkerTermination(worker)
+    GC.collect()
+    waitCleanerWorker()
+
+    assertEquals(42, value.value)
+}
@@ -0,0 +1,170 @@
+// DISABLE_NATIVE: gcType=NOOP
+// FREE_COMPILER_ARGS: -opt-in=kotlin.native.internal.InternalForKotlinNative,kotlin.native.runtime.NativeRuntimeApi,kotlin.experimental.ExperimentalNativeApi,kotlinx.cinterop.ExperimentalForeignApi
+
+import kotlin.test.*
+
+import kotlin.native.internal.*
+import kotlin.concurrent.AtomicInt
+import kotlin.concurrent.AtomicReference
+import kotlin.native.concurrent.*
+import kotlin.native.ref.WeakReference
+import kotlin.native.ref.Cleaner
+import kotlin.native.ref.createCleaner
+import kotlin.native.runtime.GC
+
+class AtomicBoolean(initialValue: Boolean) {
+    private val impl = AtomicInt(if (initialValue) 1 else 0)
+
+    public var value: Boolean
+        get() = impl.value != 0
+        set(new) { impl.value = if (new) 1 else 0 }
+}
+
+class FunBox(private val impl: () -> Unit) {
+    fun call() {
+        impl()
+    }
+}
+
+@Test
+fun testCleanerDestroyInChild() {
+    val worker = Worker.start()
+
+    val called = AtomicBoolean(false);
+    var funBoxWeak: WeakReference<FunBox>? = null
+    var cleanerWeak: WeakReference<Cleaner>? = null
+    worker.execute(TransferMode.SAFE, {
+        val funBox = FunBox { called.value = true }
+        funBoxWeak = WeakReference(funBox)
+        val cleaner = createCleaner(funBox) { it.call() }
+        cleanerWeak = WeakReference(cleaner)
+        Pair(called, cleaner)
+    }) { (called, cleaner) ->
+        assertFalse(called.value)
+    }.result
+
+    GC.collect()
+    worker.execute(TransferMode.SAFE, {}) { GC.collect() }.result
+    performGCOnCleanerWorker()
+
+    assertNull(cleanerWeak!!.value)
+    assertTrue(called.value)
+    assertNull(funBoxWeak!!.value)
+
+    worker.requestTermination().result
+}
+
+@Test
+fun testCleanerDestroyWithChild() {
+    val worker = Worker.start()
+
+    val called = AtomicBoolean(false);
+    var funBoxWeak: WeakReference<FunBox>? = null
+    var cleanerWeak: WeakReference<Cleaner>? = null
+    worker.execute(TransferMode.SAFE, {
+        val funBox = FunBox { called.value = true }
+        funBoxWeak = WeakReference(funBox)
+        val cleaner = createCleaner(funBox) { it.call() }
+        cleanerWeak = WeakReference(cleaner)
+        Pair(called, cleaner)
+    }) { (called, cleaner) ->
+        assertFalse(called.value)
+    }.result
+
+    GC.collect()
+    worker.requestTermination().result
+    waitWorkerTermination(worker)
+
+    performGCOnCleanerWorker()  // Collect cleaners stack
+
+    assertNull(cleanerWeak!!.value)
+    assertTrue(called.value)
+    assertNull(funBoxWeak!!.value)
+}
+
+@Test
+fun testCleanerDestroyInMain() {
+    val worker = Worker.start()
+
+    val called = AtomicBoolean(false);
+    var funBoxWeak: WeakReference<FunBox>? = null
+    var cleanerWeak: WeakReference<Cleaner>? = null
+    {
+        val result = worker.execute(TransferMode.SAFE, { called }) { called ->
+            val funBox = FunBox { called.value = true }
+            val cleaner = createCleaner(funBox) { it.call() }
+            Triple(cleaner, WeakReference(funBox), WeakReference(cleaner))
+        }.result
+        val cleaner = result.first
+        funBoxWeak = result.second
+        cleanerWeak = result.third
+        assertFalse(called.value)
+    }()
+
+    GC.collect()
+    worker.execute(TransferMode.SAFE, {}) { GC.collect() }.result
+    performGCOnCleanerWorker()
+
+    assertNull(cleanerWeak!!.value)
+    assertTrue(called.value)
+    assertNull(funBoxWeak!!.value)
+
+    worker.requestTermination().result
+}
+
+@Test
+fun testCleanerDestroyShared() {
+    val worker = Worker.start()
+
+    val called = AtomicBoolean(false);
+    var funBoxWeak: WeakReference<FunBox>? = null
+    var cleanerWeak: WeakReference<Cleaner>? = null
+    val cleanerHolder: AtomicReference<Cleaner?> = AtomicReference(null);
+    {
+        val funBox = FunBox { called.value = true }
+        funBoxWeak = WeakReference(funBox)
+        val cleaner = createCleaner(funBox) { it.call() }
+        cleanerWeak = WeakReference(cleaner)
+        cleanerHolder.value = cleaner
+        worker.execute(TransferMode.SAFE, { Pair(called, cleanerHolder) }) { (called, cleanerHolder) ->
+            cleanerHolder.value = null
+            assertFalse(called.value)
+        }.result
+    }()
+
+    GC.collect()
+    worker.execute(TransferMode.SAFE, {}) { GC.collect() }.result
+    performGCOnCleanerWorker()
+
+    assertNull(cleanerWeak!!.value)
+    assertTrue(called.value)
+    assertNull(funBoxWeak!!.value)
+
+    worker.requestTermination().result
+}
+
+@ThreadLocal
+var tlsValue = 11
+
+@Test
+fun testCleanerWithTLS() {
+    val worker = Worker.start()
+
+    tlsValue = 12
+
+    val value = AtomicInt(0)
+    worker.execute(TransferMode.SAFE, {value}) {
+        tlsValue = 13
+        createCleaner(it) {
+            it.value = tlsValue
+        }
+        Unit
+    }.result
+
+    worker.execute(TransferMode.SAFE, {}) { GC.collect() }.result
+    performGCOnCleanerWorker()
+
+    assertEquals(11, value.value)
+
+    worker.requestTermination().result
+}
@@ -0,0 +1,8 @@
+import kotlin.native.runtime.GC
+import kotlin.test.*
+
+@OptIn(kotlin.native.runtime.NativeRuntimeApi::class)
+@Test
+fun test() {
+    GC.collect()
+}
@@ -0,0 +1,49 @@
+// DISABLE_NATIVE: gcType=NOOP
+import kotlin.test.*
+
+data class Node(val data: Int, var next: Node?, var prev: Node?, val outer: Node?)
+
+fun makeCycle(len: Int, outer: Node?): Node {
+    val start = Node(0, null, null, outer)
+    var prev = start
+    for (i in 1 .. len - 1) {
+        prev = Node(i, prev, null, outer)
+    }
+    start.next = prev
+    return start
+}
+
+fun makeDoubleCycle(len: Int): Node {
+    val start = makeCycle(len, null)
+    var prev = start
+    var cur = prev.next
+    while (cur != start) {
+        cur!!.prev = prev
+        prev = cur
+        cur = cur.next
+    }
+    start.prev = prev
+    return start
+}
+
+fun createCycles(junk: Node) {
+    val cycle1 = makeCycle(1, junk)
+    val cycle2 = makeCycle(2, junk)
+    val cycle10 = makeCycle(10, junk)
+    val cycle100 = makeCycle(100, junk)
+    val dcycle1 = makeDoubleCycle(1)
+    val dcycle2 = makeDoubleCycle(2)
+    val dcycle10 = makeDoubleCycle(10)
+    val dcycle100 = makeDoubleCycle(100)
+
+}
+
+@OptIn(kotlin.native.runtime.NativeRuntimeApi::class)
+@Test fun runTest() {
+    // Create outer link from cyclic garbage.
+    val outer = Node(42, null, null, null)
+    createCycles(outer)
+    kotlin.native.runtime.GC.collect()
+    // Ensure outer is not collected.
+    assertEquals(42, outer.data)
+}
@@ -0,0 +1,19 @@
+// DISABLE_NATIVE: gcType=NOOP
+
+import kotlin.test.*
+import kotlin.native.ref.*
+
+@OptIn(kotlin.native.runtime.NativeRuntimeApi::class, kotlin.experimental.ExperimentalNativeApi::class)
+@Test fun runTest() {
+    val weakRefToTrashCycle = createLoop()
+    kotlin.native.runtime.GC.collect()
+    assertNull(weakRefToTrashCycle.get())
+}
+
+@OptIn(kotlin.experimental.ExperimentalNativeApi::class)
+private fun createLoop(): WeakReference<Any> {
+    val loop = Array<Any?>(1, { null })
+    loop[0] = loop
+
+    return WeakReference(loop)
+}
@@ -0,0 +1,55 @@
+import kotlin.test.*
+
+//fun foo1(arg: String) : String = foo0(arg)
+fun foo1(arg: Any) : Any = foo0(arg)
+
+fun foo0(arg: Any) : Any = Any()
+
+var global : Any =  Any()
+
+fun foo0_escape(arg: Any) : Any{
+    global = arg
+    return Any()
+}
+
+class Node(var previous: Node?)
+
+fun zoo3() : Node {
+    var current = Node(null)
+    for (i in 1 .. 5) {
+        current = Node(current)
+    }
+    return current
+}
+
+fun zoo4(arg: Int) : Any {
+    var a = Any()
+    var b = Any()
+    var c = Any()
+    a = b
+    val x = 3
+    a = when {
+        x < arg -> b
+        else -> c
+    }
+    return a
+}
+
+fun zoo5(arg: Any) : Any{
+    foo1(arg)
+    return arg
+}
+
+fun zoo6(arg: Any) : Any {
+    return zoo7(arg, "foo", 11)
+}
+
+fun zoo7(arg1: Any, arg2: Any, selector: Int) : Any {
+    return if (selector < 2) arg1 else arg2;
+}
+
+@Test fun runTest() {
+    //val z = zoo7(Any(), Any(), 1)
+    val x = zoo5(Any())
+    //println(bar(foo1(foo2("")), foo2(foo1(""))))
+}
@@ -0,0 +1,16 @@
+import kotlin.test.*
+
+class B(val s: String)
+
+class A {
+    val b = B("zzz")
+}
+
+fun foo(): B {
+    val a = A()
+    return a.b
+}
+
+@Test fun runTest() {
+    assertEquals("zzz", foo().s)
+}
@@ -0,0 +1,26 @@
+import kotlin.test.*
+
+class A(val s: String)
+
+class B {
+    var a: A? = null
+}
+
+class C(val b: B)
+
+fun foo(c: C) {
+    c.b.a = A("zzz")
+}
+
+fun bar(b: B) {
+    val c = C(b)
+    foo(c)
+}
+
+@ThreadLocal
+val global = B()
+
+@Test fun runTest() {
+    bar(global)
+    assertEquals("zzz", global.a!!.s)
+}
@@ -0,0 +1,55 @@
+// DISABLE_NATIVE: gcType=NOOP
+// FREE_COMPILER_ARGS: -Xbinary=gcSchedulerType=manual -opt-in=kotlin.native.runtime.NativeRuntimeApi,kotlin.ExperimentalStdlibApi,kotlinx.cinterop.ExperimentalForeignApi
+import kotlin.native.runtime.GC
+import kotlin.test.*
+
+@Test
+fun `nothing new collected`() {
+    GC.collect()
+    GC.collect()
+    val stat = GC.lastGCInfo
+    assertNotNull(stat)
+    for (key in stat.sweepStatistics.keys) {
+        assertEquals(stat.sweepStatistics[key]!!.sweptCount, 0L)
+    }
+}
+
+object Global {
+    val x = listOf(1, 2, 3)
+}
+
+@Test
+fun `stable refs in root set`() {
+    GC.collect()
+    val stat0 = GC.lastGCInfo
+    assertNotNull(stat0)
+    val rootSet0 = stat0.rootSet
+    assertNotNull(rootSet0)
+    val x = listOf(1, 2, 3)
+    val stable = kotlinx.cinterop.StableRef.create(x)
+    GC.collect();
+    val stat1 = GC.lastGCInfo
+    assertNotNull(stat1)
+    val rootSet1 = stat1.rootSet
+    assertNotNull(rootSet1)
+    assertEquals(rootSet0.stableReferences + 1, rootSet1.stableReferences)
+    stable.dispose()
+    Global.x // to initialize and register global object
+    GC.collect();
+    val stat2 = GC.lastGCInfo
+    assertNotNull(stat2)
+    val rootSet2 = stat2.rootSet
+    assertNotNull(rootSet2)
+    assertEquals(rootSet0.stableReferences, rootSet2.stableReferences)
+    assertEquals(rootSet1.globalReferences + 1, rootSet2.globalReferences)
+}
+
+@Test
+fun `check everything is filled at the end`() {
+    GC.collect()
+    val stat = GC.lastGCInfo
+    assertNotNull(stat)
+    // GC.collect is waiting for finalizers, so it should bet not null
+    assertNotNull(stat.postGcCleanupTimeNs)
+}
+
@@ -0,0 +1,23 @@
+// DISABLE_NATIVE: gcType=NOOP
+import kotlin.native.runtime.GC
+import kotlin.test.*
+
+object Foo {
+    val bar = Bar()
+}
+
+class Bar {
+    val f by lazy {
+        foo()
+    }
+
+    fun foo() = 123
+}
+
+@OptIn(kotlin.native.runtime.NativeRuntimeApi::class)
+@Test
+fun test() {
+    assertEquals(123, Foo.bar.f)
+    GC.collect()
+    assertEquals(123, Foo.bar.f)
+}
@@ -0,0 +1,29 @@
+// DISABLE_NATIVE: gcType=NOOP
+import kotlin.native.ref.WeakReference
+import kotlin.native.runtime.GC
+import kotlin.test.*
+
+@OptIn(kotlin.experimental.ExperimentalNativeApi::class)
+private fun makeWeakRef(create: () -> Any) = WeakReference(create())
+
+@OptIn(kotlin.native.runtime.NativeRuntimeApi::class, kotlin.experimental.ExperimentalNativeApi::class)
+private fun ensureGetsCollected(create: () -> Any) {
+    val ref = makeWeakRef(create)
+    GC.collect()
+    assertNull(ref.get())
+}
+
+class LazyCapturesThis {
+    fun foo() = 42
+    val bar by lazy { foo() }
+}
+
+@Test
+fun test() {
+    ensureGetsCollected { LazyCapturesThis() }
+    ensureGetsCollected {
+        val l = LazyCapturesThis()
+        l.bar
+        l
+    }
+}
@@ -0,0 +1,25 @@
+// DISABLE_NATIVE: gcType=NOOP
+import kotlin.native.ref.WeakReference
+import kotlin.native.runtime.GC
+import kotlin.test.*
+
+@OptIn(kotlin.experimental.ExperimentalNativeApi::class)
+private fun makeWeakRef(create: () -> Any) = WeakReference(create())
+
+@OptIn(kotlin.native.runtime.NativeRuntimeApi::class, kotlin.experimental.ExperimentalNativeApi::class)
+private fun ensureGetsCollected(create: () -> Any) {
+    val ref = makeWeakRef(create)
+    GC.collect()
+    assertNull(ref.get())
+}
+
+@OptIn(kotlin.experimental.ExperimentalNativeApi::class)
+@Test
+fun test() {
+    ensureGetsCollected { Throwable() }
+    ensureGetsCollected {
+        val throwable = Throwable()
+        throwable.getStackTrace()
+        throwable
+    }
+}
@@ -0,0 +1,38 @@
+// DISABLE_NATIVE: gcType=NOOP
+import kotlin.test.*
+import kotlin.native.ref.*
+
+data class Data(val s: String)
+
+@OptIn(kotlin.experimental.ExperimentalNativeApi::class)
+fun localWeak(): WeakReference<Data>  {
+    val x = Data("Hello")
+    val weak = WeakReference(x)
+    assertSame(x, weak.get())
+    return weak
+}
+
+@OptIn(kotlin.experimental.ExperimentalNativeApi::class)
+fun multiWeak(): Array<WeakReference<Data>>  {
+    val x = Data("Hello")
+    val weaks = Array(100, { WeakReference(x) } )
+    weaks.forEach {
+        it -> if (it.get()?.s != "Hello") throw Error("bad reference")
+    }
+    return weaks
+}
+
+@OptIn(kotlin.native.runtime.NativeRuntimeApi::class, kotlin.experimental.ExperimentalNativeApi::class)
+@Test fun runTest() {
+    val weak = localWeak()
+    kotlin.native.runtime.GC.collect()
+    assertNull(weak.get())
+
+    val weaks = multiWeak()
+
+    kotlin.native.runtime.GC.collect()
+
+    weaks.forEach {
+        it -> if (it.get()?.s != null) throw Error("not null")
+    }
+}
@@ -0,0 +1,13 @@
+import kotlin.test.*
+import kotlin.native.ref.*
+
+class Node(var next: Node?)
+
+@OptIn(kotlin.experimental.ExperimentalNativeApi::class)
+@Test fun runTest1() {
+    val node1 = Node(null)
+    val node2 = Node(node1)
+    node1.next = node2
+
+    WeakReference(node1)
+}
@@ -0,0 +1,174 @@
+// OUTPUT_DATA_FILE: worker10.out
+// DISABLE_NATIVE: gcType=NOOP
+// FREE_COMPILER_ARGS: -opt-in=kotlin.experimental.ExperimentalNativeApi,kotlin.native.runtime.NativeRuntimeApi,kotlinx.cinterop.ExperimentalForeignApi
+
+import kotlin.test.*
+import kotlin.concurrent.AtomicReference
+import kotlin.concurrent.AtomicInt
+import kotlin.concurrent.*
+import kotlin.native.concurrent.*
+import kotlin.native.ref.WeakReference
+import kotlinx.cinterop.StableRef
+
+class Data(val x: Int)
+
+val topInt = 1
+val topString = "string"
+var topStringVar = "string"
+val topSharedStringWithGetter: String
+        get() = "top"
+val topData = Data(42)
+val topSharedData = Data(43)
+
+@Test fun runTest1() {
+    val worker = Worker.start()
+
+    assertEquals(1, topInt)
+    assertEquals("string", topString)
+    assertEquals(42, topData.x)
+    assertEquals(43, topSharedData.x)
+    assertEquals("top", topSharedStringWithGetter)
+
+    worker.execute(TransferMode.SAFE, { -> }, {
+        it -> topInt == 1
+    }).consume {
+        result -> assertEquals(true, result)
+    }
+
+    worker.execute(TransferMode.SAFE, { -> }, {
+        it -> topString == "string"
+    }).consume {
+        result -> assertEquals(true, result)
+    }
+
+    worker.execute(TransferMode.SAFE, { -> }, {
+        it -> topStringVar == "string"
+    }).consume {
+        result -> assertTrue(result)
+    }
+
+    worker.execute(TransferMode.SAFE, { -> }, {
+        it -> topSharedStringWithGetter == "top"
+    }).consume {
+        result -> assertTrue(result)
+    }
+
+    worker.execute(TransferMode.SAFE, { -> }, {
+        it -> topData.x == 42
+    }).consume {
+        result -> assertTrue(result)
+    }
+
+    worker.execute(TransferMode.SAFE, { -> }, {
+        it -> try {
+            topSharedData.x == 43
+        } catch (e: Throwable) {
+            false
+        }
+    }).consume {
+        result -> assertTrue(result)
+    }
+
+    worker.requestTermination().result
+    println("OK")
+}
+
+val atomicRef = AtomicReference<Any?>(Any())
+val stableRef = StableRef.create(Any())
+val semaphore = AtomicInt(0)
+
+@Test fun runTest2() {
+    semaphore.value = 0
+    val worker = Worker.start()
+    val future = worker.execute(TransferMode.SAFE, { null }) {
+        val value = atomicRef.value
+        semaphore.incrementAndGet()
+        while (semaphore.value != 2) {}
+        println(value.toString() != "")
+    }
+    while (semaphore.value != 1) {}
+    atomicRef.value = null
+    kotlin.native.runtime.GC.collect()
+    semaphore.incrementAndGet()
+    future.result
+    worker.requestTermination().result
+}
+
+@Test fun runTest3() {
+    semaphore.value = 0
+    val worker = Worker.start()
+    val future = worker.execute(TransferMode.SAFE, { null }) {
+        val value = stableRef.get()
+        semaphore.incrementAndGet()
+        while (semaphore.value != 2) {}
+        println(value.toString() != "")
+    }
+    while (semaphore.value != 1) {}
+    stableRef.dispose()
+    kotlin.native.runtime.GC.collect()
+    semaphore.incrementAndGet()
+    future.result
+    worker.requestTermination().result
+}
+
+fun <T: Any> ensureWeakIs(weak: WeakReference<T>, expected: T?) {
+    assertEquals(expected, weak.get())
+}
+
+val stableHolder1 = StableRef.create(("hello" to "world"))
+
+@Test fun runTest4() {
+    val worker = Worker.start()
+    semaphore.value = 0
+    val future = worker.execute(TransferMode.SAFE, { WeakReference(stableHolder1.get()) }) {
+        ensureWeakIs(it, "hello" to "world")
+        semaphore.incrementAndGet()
+        while (semaphore.value != 2) {}
+        kotlin.native.runtime.GC.collect()
+        ensureWeakIs(it, null)
+    }
+    while (semaphore.value != 1) {}
+    stableHolder1.dispose()
+    kotlin.native.runtime.GC.collect()
+    semaphore.incrementAndGet()
+    future.result
+    worker.requestTermination().result
+}
+
+val stableHolder2 = StableRef.create(("hello" to "world"))
+
+@Test fun runTest5() {
+    val worker = Worker.start()
+    semaphore.value = 0
+    val future = worker.execute(TransferMode.SAFE, { WeakReference(stableHolder2.get()) }) {
+        val value = it.get()
+        semaphore.incrementAndGet()
+        while (semaphore.value != 2) {}
+        kotlin.native.runtime.GC.collect()
+        assertEquals("hello" to "world", value)
+    }
+    while (semaphore.value != 1) {}
+    stableHolder2.dispose()
+    kotlin.native.runtime.GC.collect()
+    semaphore.incrementAndGet()
+    future.result
+    worker.requestTermination().result
+}
+
+val atomicRef2 = AtomicReference<Any?>(Any())
+@Test fun runTest6() {
+    semaphore.value = 0
+    val worker = Worker.start()
+    val future = worker.execute(TransferMode.SAFE, { null }) {
+        val value = atomicRef2.compareAndExchange(null, null)
+        semaphore.incrementAndGet()
+        while (semaphore.value != 2) {}
+        assertEquals(true, value.toString() != "")
+    }
+    while (semaphore.value != 1) {}
+    atomicRef2.value = null
+    kotlin.native.runtime.GC.collect()
+    semaphore.incrementAndGet()
+    future.result
+    worker.requestTermination().result
+}
@@ -0,0 +1,3 @@
+OK
+true
+true
@@ -0,0 +1,340 @@
+// DISABLE_NATIVE: gcType=NOOP
+// FREE_COMPILER_ARGS: -opt-in=kotlin.experimental.ExperimentalNativeApi,kotlin.native.runtime.NativeRuntimeApi,kotlin.native.FreezingIsDeprecated
+
+import kotlin.test.*
+
+import kotlin.concurrent.AtomicInt
+import kotlin.concurrent.AtomicReference
+import kotlin.native.concurrent.*
+import kotlin.native.*
+import kotlin.native.ref.WeakReference
+import kotlin.native.runtime.GC
+
+class A(var a: Int)
+
+class Wrapper(val ref: WorkerBoundReference<A>)
+
+fun getOwnerAndWeaks(initial: Int): Triple<AtomicReference<WorkerBoundReference<A>?>, WeakReference<WorkerBoundReference<A>>, WeakReference<A>> {
+    val ref = WorkerBoundReference(A(initial))
+    val refOwner: AtomicReference<WorkerBoundReference<A>?> = AtomicReference(ref)
+    val refWeak = WeakReference(ref)
+    val refValueWeak = WeakReference(ref.value)
+
+    return Triple(refOwner, refWeak, refValueWeak)
+}
+
+@Test
+fun testCollect() {
+    val (refOwner, refWeak, refValueWeak) = getOwnerAndWeaks(3)
+
+    refOwner.value = null
+    GC.collect()
+
+    // Last reference to WorkerBoundReference is gone, so it and it's referent are destroyed.
+    assertNull(refWeak.value)
+    assertNull(refValueWeak.value)
+}
+
+fun getOwnerAndWeaksFrozen(initial: Int): Triple<AtomicReference<WorkerBoundReference<A>?>, WeakReference<WorkerBoundReference<A>>, WeakReference<A>> {
+    val ref = WorkerBoundReference(A(initial)).freeze()
+    val refOwner: AtomicReference<WorkerBoundReference<A>?> = AtomicReference(ref)
+    val refWeak = WeakReference(ref)
+    val refValueWeak = WeakReference(ref.value)
+
+    return Triple(refOwner, refWeak, refValueWeak)
+}
+
+@Test
+fun testCollectFrozen() {
+    val (refOwner, refWeak, refValueWeak) = getOwnerAndWeaksFrozen(3)
+
+    refOwner.value = null
+    if (Platform.memoryModel == MemoryModel.EXPERIMENTAL) {
+        // This runs the finalizer on the WorkerBoundReference<A>, which schedules removing A from the root set
+        GC.collect()
+        // This actually frees A
+        GC.collect()
+    } else {
+        GC.collect()
+    }
+
+    // Last reference to WorkerBoundReference is gone, so it and it's referent are destroyed.
+    assertNull(refWeak.value)
+    assertNull(refValueWeak.value)
+}
+
+fun collectInWorkerFrozen(worker: Worker, semaphore: AtomicInt): Pair<WeakReference<A>, Future<Unit>> {
+    val (refOwner, _, refValueWeak) = getOwnerAndWeaksFrozen(3)
+
+    val future = worker.execute(TransferMode.SAFE, { Pair(refOwner, semaphore) }) { (refOwner, semaphore) ->
+        semaphore.incrementAndGet()
+        while (semaphore.value < 2) {
+        }
+
+        refOwner.value = null
+        GC.collect()
+    }
+
+    while (semaphore.value < 1) {
+    }
+    // At this point worker is spinning on semaphore. refOwner still contains reference to
+    // WorkerBoundReference, so referent is kept alive.
+    GC.collect()
+    assertNotNull(refValueWeak.value)
+
+    return Pair(refValueWeak, future)
+}
+
+@Test
+fun testCollectInWorkerFrozen() {
+    val semaphore: AtomicInt = AtomicInt(0)
+
+    val worker = Worker.start()
+
+    val (refValueWeak, future) = collectInWorkerFrozen(worker, semaphore)
+    semaphore.incrementAndGet()
+    future.result
+
+    // At this point WorkerBoundReference no longer has a reference, so it's referent is destroyed.
+    GC.collect()
+    assertNull(refValueWeak.value)
+
+    worker.requestTermination().result
+}
+
+fun doNotCollectInWorkerFrozen(worker: Worker, semaphore: AtomicInt): Future<WorkerBoundReference<A>> {
+    val ref = WorkerBoundReference(A(3)).freeze()
+
+    return worker.execute(TransferMode.SAFE, { Pair(ref, semaphore) }) { (ref, semaphore) ->
+        semaphore.incrementAndGet()
+        while (semaphore.value < 2) {
+        }
+
+        GC.collect()
+        ref
+    }
+}
+
+@Test
+fun testDoNotCollectInWorkerFrozen() {
+    val semaphore: AtomicInt = AtomicInt(0)
+
+    val worker = Worker.start()
+
+    val future = doNotCollectInWorkerFrozen(worker, semaphore)
+    while (semaphore.value < 1) {
+    }
+    GC.collect()
+    semaphore.incrementAndGet()
+
+    val value = future.result
+    assertEquals(3, value.value.a)
+    worker.requestTermination().result
+}
+
+class B1 {
+    lateinit var b2: WorkerBoundReference<B2>
+}
+
+data class B2(val b1: WorkerBoundReference<B1>)
+
+fun createCyclicGarbage(): Triple<AtomicReference<WorkerBoundReference<B1>?>, WeakReference<B1>, WeakReference<B2>> {
+    val ref1 = WorkerBoundReference(B1())
+    val ref1Owner: AtomicReference<WorkerBoundReference<B1>?> = AtomicReference(ref1)
+    val ref1Weak = WeakReference(ref1.value)
+
+    val ref2 = WorkerBoundReference(B2(ref1))
+    val ref2Weak = WeakReference(ref2.value)
+
+    ref1.value.b2 = ref2
+
+    return Triple(ref1Owner, ref1Weak, ref2Weak)
+}
+
+@Test
+fun collectCyclicGarbage() {
+    val (ref1Owner, ref1Weak, ref2Weak) = createCyclicGarbage()
+
+    ref1Owner.value = null
+    GC.collect()
+
+    assertNull(ref1Weak.value)
+    assertNull(ref2Weak.value)
+}
+
+fun createCyclicGarbageFrozen(): Triple<AtomicReference<WorkerBoundReference<B1>?>, WeakReference<B1>, WeakReference<B2>> {
+    val ref1 = WorkerBoundReference(B1()).freeze()
+    val ref1Owner: AtomicReference<WorkerBoundReference<B1>?> = AtomicReference(ref1)
+    val ref1Weak = WeakReference(ref1.value)
+
+    val ref2 = WorkerBoundReference(B2(ref1)).freeze()
+    val ref2Weak = WeakReference(ref2.value)
+
+    ref1.value.b2 = ref2
+
+    return Triple(ref1Owner, ref1Weak, ref2Weak)
+}
+
+@Test
+fun doesNotCollectCyclicGarbageFrozen() {
+    if (!Platform.isFreezingEnabled) return
+    val (ref1Owner, ref1Weak, ref2Weak) = createCyclicGarbageFrozen()
+
+    ref1Owner.value = null
+    GC.collect()
+
+    // If these asserts fail, that means WorkerBoundReference managed to clean up cyclic garbage all by itself.
+    assertNotNull(ref1Weak.value)
+    assertNotNull(ref2Weak.value)
+}
+
+fun createCrossThreadCyclicGarbageFrozen(
+        worker: Worker
+): Triple<AtomicReference<WorkerBoundReference<B1>?>, WeakReference<B1>, WeakReference<B2>> {
+    val ref1 = WorkerBoundReference(B1()).freeze()
+    val ref1Owner: AtomicReference<WorkerBoundReference<B1>?> = AtomicReference(ref1)
+    val ref1Weak = WeakReference(ref1.value)
+
+    val future = worker.execute(TransferMode.SAFE, { ref1 }) { ref1 ->
+        val ref2 = WorkerBoundReference(B2(ref1)).freeze()
+        Pair(ref2, WeakReference(ref2.value))
+    }
+    val (ref2, ref2Weak) = future.result
+
+    ref1.value.b2 = ref2
+
+    return Triple(ref1Owner, ref1Weak, ref2Weak)
+}
+
+@Test
+fun doesNotCollectCrossThreadCyclicGarbageFrozen() {
+    if (!Platform.isFreezingEnabled) return
+    val worker = Worker.start()
+
+    val (ref1Owner, ref1Weak, ref2Weak) = createCrossThreadCyclicGarbageFrozen(worker)
+
+    ref1Owner.value = null
+    GC.collect()
+    worker.execute(TransferMode.SAFE, {}) { GC.collect() }.result
+
+    // If these asserts fail, that means WorkerBoundReference managed to clean up cyclic garbage all by itself.
+    assertNotNull(ref1Weak.value)
+    assertNotNull(ref2Weak.value)
+
+    worker.requestTermination().result
+}
+
+class C1 {
+    lateinit var c2: AtomicReference<WorkerBoundReference<C2>?>
+
+    fun dispose() {
+        c2.value = null
+    }
+}
+
+data class C2(val c1: AtomicReference<WorkerBoundReference<C1>>)
+
+fun createCyclicGarbageWithAtomicsFrozen(): Triple<AtomicReference<WorkerBoundReference<C1>?>, WeakReference<C1>, WeakReference<C2>> {
+    val ref1 = WorkerBoundReference(C1()).freeze()
+    val ref1Weak = WeakReference(ref1.value)
+
+    val ref2 = WorkerBoundReference(C2(AtomicReference(ref1))).freeze()
+    val ref2Weak = WeakReference(ref2.value)
+
+    ref1.value.c2 = AtomicReference(ref2)
+
+    return Triple(AtomicReference(ref1), ref1Weak, ref2Weak)
+}
+
+fun dispose(refOwner: AtomicReference<WorkerBoundReference<C1>?>) {
+    refOwner.value!!.value.dispose()
+    refOwner.value = null
+}
+
+@Test
+fun doesNotCollectCyclicGarbageWithAtomicsFrozen() {
+    if (!Platform.isFreezingEnabled) return
+    val (ref1Owner, ref1Weak, ref2Weak) = createCyclicGarbageWithAtomicsFrozen()
+
+    ref1Owner.value = null
+    GC.collect()
+
+    // If these asserts fail, that means AtomicReference<WorkerBoundReference> managed to clean up cyclic garbage all by itself.
+    assertNotNull(ref1Weak.value)
+    assertNotNull(ref2Weak.value)
+}
+
+@Test
+fun collectCyclicGarbageWithAtomicsFrozen() {
+    val (ref1Owner, ref1Weak, ref2Weak) = createCyclicGarbageWithAtomicsFrozen()
+
+    dispose(ref1Owner)
+    if (Platform.memoryModel == MemoryModel.EXPERIMENTAL) {
+        // Finalizes WorkerBoundReference<C2> and schedules C2 removal from the root set
+        GC.collect()
+        // Frees C2, finalizes WorkerBoundReference<C1> and schedules C1 removal from the root set
+        GC.collect()
+        // Frees C1
+        GC.collect()
+    } else {
+        GC.collect()
+    }
+
+    assertNull(ref1Weak.value)
+    assertNull(ref2Weak.value)
+}
+
+fun createCrossThreadCyclicGarbageWithAtomicsFrozen(
+        worker: Worker
+): Triple<AtomicReference<WorkerBoundReference<C1>?>, WeakReference<C1>, WeakReference<C2>> {
+    val ref1 = WorkerBoundReference(C1()).freeze()
+    val ref1Weak = WeakReference(ref1.value)
+
+    val future = worker.execute(TransferMode.SAFE, { ref1 }) { ref1 ->
+        val ref2 = WorkerBoundReference(C2(AtomicReference(ref1))).freeze()
+        Pair(ref2, WeakReference(ref2.value))
+    }
+    val (ref2, ref2Weak) = future.result
+
+    ref1.value.c2 = AtomicReference(ref2)
+
+    return Triple(AtomicReference(ref1), ref1Weak, ref2Weak)
+}
+
+@Test
+fun doesNotCollectCrossThreadCyclicGarbageWithAtomicsFrozen() {
+    if (!Platform.isFreezingEnabled) return
+    val worker = Worker.start()
+
+    val (ref1Owner, ref1Weak, ref2Weak) = createCrossThreadCyclicGarbageWithAtomicsFrozen(worker)
+
+    ref1Owner.value = null
+    GC.collect()
+    worker.execute(TransferMode.SAFE, {}) { GC.collect() }.result
+
+    // If these asserts fail, that means AtomicReference<WorkerBoundReference> managed to clean up cyclic garbage all by itself.
+    assertNotNull(ref1Weak.value)
+    assertNotNull(ref2Weak.value)
+
+    worker.requestTermination().result
+}
+
+@Test
+fun collectCrossThreadCyclicGarbageWithAtomicsFrozen() {
+    val worker = Worker.start()
+
+    val (ref1Owner, ref1Weak, ref2Weak) = createCrossThreadCyclicGarbageWithAtomicsFrozen(worker)
+
+    dispose(ref1Owner)
+    // This marks C2 as gone on the main thread
+    GC.collect()
+    // This cleans up all the references from the worker thread and destroys C2, but C1 is still alive.
+    worker.execute(TransferMode.SAFE, {}) { GC.collect() }.result
+    // And this finally destroys C1
+    GC.collect()
+
+    assertNull(ref1Weak.value)
+    assertNull(ref2Weak.value)
+
+    worker.requestTermination().result
+}