Atomic lazy getter. (#1769)

This commit is contained in:
Nikolay Igotti
2018-07-06 13:40:11 +03:00
committed by GitHub
parent 6360b1a1ba
commit bc15678cd6
3 changed files with 91 additions and 1 deletions
+6
View File
@@ -696,6 +696,12 @@ task atomic0(type: RunKonanTest) {
source = "runtime/workers/atomic0.kt"
}
task lazy0(type: RunKonanTest) {
disabled = (project.testTarget == 'wasm32') // Workers need pthreads.
goldValue = "OK\n"
source = "runtime/workers/lazy0.kt"
}
task enumIdentity(type: RunKonanTest) {
disabled = (project.testTarget == 'wasm32') // Workers need pthreads.
goldValue = "true\n"
@@ -0,0 +1,38 @@
package runtime.workers.lazy0
import kotlin.test.*
import konan.worker.*
data class Data(val x: Int, val y: String)
object Immutable {
val x by atomicLazy {
42
}
}
object Immutable2 {
val y by atomicLazy {
Data(239, "Kotlin")
}
}
@Test fun runTest() {
assertEquals(42, Immutable.x)
val COUNT = 5
val workers = Array(COUNT, { _ -> startWorker()})
val set = mutableSetOf<Any?>()
for (attempt in 1 .. 3) {
val futures = Array(workers.size, { workerIndex ->
workers[workerIndex].schedule(TransferMode.CHECKED, { "" }) { _ -> Immutable2.y }
})
futures.forEach { set += it.result() }
}
assertEquals(set.size, 1)
assertEquals(set.single(), Immutable2.y)
println("OK")
}
@@ -149,4 +149,50 @@ class AtomicReference<T>(private var value: T? = null) {
*/
@SymbolName("Kotlin_AtomicReference_get")
external public fun get(): T?
}
}
internal object UNINITIALIZED
internal object INITIALIZING
@Frozen
internal class AtomicLazyImpl<out T>(initializer: () -> T) : Lazy<T> {
private val initializer_ = AtomicReference<Function0<T>?>(initializer.freeze())
private val value_ = AtomicReference<Any?>(UNINITIALIZED)
override val value: T
get() {
if (value_.compareAndSwap(UNINITIALIZED, INITIALIZING) === UNINITIALIZED) {
// We execute exclusively here.
val ctor = initializer_.get()
if (ctor != null && initializer_.compareAndSwap(ctor, null) === ctor) {
value_.compareAndSwap(INITIALIZING, ctor().freeze())
} else {
// Something wrong.
assert(false)
}
}
var result: Any?
do {
result = value_.get()
} while (result === INITIALIZING)
assert(result !== UNINITIALIZED && result != INITIALIZING)
@Suppress("UNCHECKED_CAST")
return result as T
}
// Racy!
override fun isInitialized(): Boolean = value_.get() !== UNINITIALIZED
override fun toString(): String = if (isInitialized())
value_.get().toString() else "Lazy value not initialized yet."
}
/**
* Atomic lazy initializer, could be used in frozen objects, freezes initializing lambda,
* so use very carefully. Also, as with other uses of an @AtomicReference may potentially
* leak memory, so it is recommended to use `atomicLazy` in cases of objects living forever,
* such as object signletons, or in cases where it's guaranteed not to have cyclical garbage.
*/
public fun <T> atomicLazy(initializer: () -> T): Lazy<T> = AtomicLazyImpl(initializer)