AtomicFU

>Note on Beta status: the plugin is in its active development phase and changes from release to release. >We do provide a compatibility of atomicfu-transformed artifacts between releases, but we do not provide >strict compatibility guarantees on plugin API and its general stability between Kotlin versions.

Atomicfu is a multiplatform library that provides the idiomatic and efficient way of using atomic operations in Kotlin.

Table of contents

• Requirements
• Features
• Example
• Quickstart

• Usage constraints
• Transformation modes

• Options for post-compilation transformation

• More features

• Kotlin/Native support

Requirements

To apply the current version of the atomicfu Gradle plugin, your project has to use:

• Gradle 8.2 or newer

• Kotlin 2.2.0 or newer

Note on Kotlin version: Currently, the kotlinx-atomicfu Gradle plugin only relies on the version of Kotlin Gradle Plugin (KGP) present in the user's project.

It's important to note this constraint if your project configures the custom Kotlin compiler version or modifies the Kotlin Native compiler version using kotlin.native.version property.

Features

• Complete multiplatform support: JVM, Native, JS and Wasm (since Kotlin 1.9.20).
• Code it like a boxed value atomic(0), but run it in production efficiently:

• Use Kotlin-specific extensions (e.g. inline loop, update, updateAndGet functions).
• Use atomic arrays, user-defined extensions on atomics and locks (see more features).
• Tracing operations for debugging.

Example

Let us declare a top variable for a lock-free stack implementation:

import kotlinx.atomicfu.* // import top-level functions from kotlinx.atomicfu
private val top = atomic<Node?>(null)

Use top.value to perform volatile reads and writes:

fun isEmpty() = top.value == null  // volatile read
fun clear() { top.value = null }   // volatile write

Use compareAndSet function directly:

if (top.compareAndSet(expect, update)) ...

Use higher-level looping primitives (inline extensions), for example:

top.loop { cur ->   // while(true) loop that volatile-reads current value 
   ...
}

Use high-level update, updateAndGet, and getAndUpdate, when possible, for idiomatic lock-free code, for example:

fun push(v: Value) = top.update { cur -> Node(v, cur) }
fun pop(): Value? = top.getAndUpdate { cur -> cur?.next } ?.value

Declare atomic integers and longs using type inference:

val myInt = atomic(0)    // note: integer initial value
val myLong = atomic(0L)  // note: long initial value

Integer and long atomics provide all the usual getAndIncrement, incrementAndGet, getAndAdd, addAndGet, and etc operations. They can be also atomically modified via += and -= operators.

Quickstart

Apply plugin

Gradle configuration

New plugin id: Please pay attention, that starting from version 0.25.0 the plugin id is org.jetbrains.kotlinx.atomicfu

Add the following to your top-level build file:

plugins {
     id("org.jetbrains.kotlinx.atomicfu") version "0.33.0"
}

plugins {
    id 'org.jetbrains.kotlinx.atomicfu' version '0.33.0'
}

Legacy plugin application

buildscript {
  repositories {
    mavenCentral()
  }
dependencies {     classpath("org.jetbrains.kotlinx:atomicfu-gradle-plugin:0.33.0")   } }
apply(plugin = "org.jetbrains.kotlinx.atomicfu")

buildscript {
    repositories {
        mavenCentral()
    }
    dependencies {
        classpath 'org.jetbrains.kotlinx:atomicfu-gradle-plugin:0.33.0'
    }
}
  
apply plugin: 'org.jetbrains.kotlinx.atomicfu'

Maven configuration

Maven configuration is supported for JVM projects.

<properties>
     <atomicfu.version>0.33.0</atomicfu.version>
</properties>

<dependencies>
    <dependency>
        <groupId>org.jetbrains.kotlinx</groupId>
        <artifactId>atomicfu</artifactId>
        <version>${atomicfu.version}</version>
        <scope>provided</scope>
    </dependency>
</dependencies>

Configure build steps so that Kotlin compiler puts classes into a different classes-pre-atomicfu directory, which is then transformed to a regular classes directory to be used later by tests and delivery.

<build>
  <plugins>
    <!-- compile Kotlin files to staging directory -->
    <plugin>
      <groupId>org.jetbrains.kotlin</groupId>
      <artifactId>kotlin-maven-plugin</artifactId>
      <version>${kotlin.version}</version>
      <executions>
        <execution>
          <id>compile</id>
          <phase>compile</phase>
          <goals>
            <goal>compile</goal>
          </goals>
          <configuration>
            <output>${project.build.directory}/classes-pre-atomicfu</output>
          </configuration>
        </execution>
      </executions>
    </plugin>
    <!-- transform classes with AtomicFU plugin -->
    <plugin>
      <groupId>org.jetbrains.kotlinx</groupId>
      <artifactId>atomicfu-maven-plugin</artifactId>
      <version>${atomicfu.version}</version>
      <executions>
        <execution>
          <goals>
            <goal>transform</goal>
          </goals>
          <configuration>
            <input>${project.build.directory}/classes-pre-atomicfu</input>
            <!-- "VH" to use Java 9 VarHandle, "BOTH" to produce multi-version code -->
            <variant>FU</variant>
          </configuration>
        </execution>
      </executions>
    </plugin>
  </plugins>
</build>

Usage constraints

• Declare atomic variables as private val or internal val. You can use just (public) val,

• To expose the value of an atomic property to the public, use a delegated property declared in the same scope

private val _foo = atomic<T>(initial) // private atomic, convention is to name it with leading underscore
public var foo: T by _foo            // public delegated property (val/var)

• Only simple operations on atomic variables directly are supported.

• Do not introduce complex data flow in parameters to atomic variable operations,

Atomicfu compiler plugin

To provide a user-friendly atomic API on the frontend and efficient usage of atomic values on the backend kotlinx-atomicfu library uses the compiler plugin to transform IR for all the target backends:

• JVM: atomics are replaced with java.util.concurrent.atomic.AtomicXxxFieldUpdater.
• Native: atomics are implemented via atomic intrinsics on Kotlin/Native.
• JS: atomics are unboxed and represented as plain values.

Please note, that starting from version 0.24.0 of the library your project is required to use Kotlin version >= 1.9.0.

See the requirements section.

kotlinx.atomicfu.enableJvmIrTransformation=true // for JVM IR transformation
kotlinx.atomicfu.enableNativeIrTransformation=true // for Native IR transformation
kotlinx.atomicfu.enableJsIrTransformation=true // for JS IR transformation

kotlinx.atomicfu.enableJvmIrTransformation=true // for JVM IR transformation
kotlinx.atomicfu.enableNativeIrTransformation=true // for Native IR transformation
kotlinx.atomicfu.enableJsIrTransformation=true // for JS IR transformation

kotlinx.atomicfu.enableIrTransformation=true // only JS IR transformation is supported

kotlin.js.compiler=ir // or both

Options for post-compilation transformation

Some configuration options are available for post-compilation transform tasks on JVM and JS.

To set configuration options you should create atomicfu section in a build.gradle file, like this:

atomicfu {   dependenciesVersion = '0.33.0' }

JVM options

To turn off transformation for Kotlin/JVM set option transformJvm to false.

Configuration option jvmVariant defines the Java class that replaces atomics during bytecode transformation. Here are the valid options:

• FU – atomics are replaced with AtomicXxxFieldUpdater.
• VH – atomics are replaced with VarHandle,

• BOTH – multi-release jar file will be created with both AtomicXxxFieldUpdater for JDK <= 8 and VarHandle for JDK 9+.

JS options

Starting from version 0.26.0 transformJs flag does not take any effect and is disabled by default.

Please ensure that this flag is not used in the atomicfu configuration of your project, you can safely remove it.

Here are all available configuration options (with their defaults):

atomicfu {   dependenciesVersion = '0.33.0' // set to null to turn-off auto dependencies   transformJvm = true // set to false to turn off JVM transformation   jvmVariant = "FU" // JVM transformation variant: FU,VH, or BOTH }

More features

AtomicFU provides some additional features that you can use.

Arrays of atomic values

You can declare arrays of all supported atomic value types. By default arrays are transformed into the corresponding java.util.concurrent.atomic.Atomic*Array instances.

If you configure variant = "VH" an array will be transformed to plain array using VarHandle to support atomic operations.

val a = atomicArrayOfNulls<T>(size) // similar to Array constructor

val x = a[i].value // read value a[i].value = x // set value a[i].compareAndSet(expect, update) // do atomic operations

Atomic delegates

You can expose the value of an atomic property to the public, using a delegated property declared in the same scope:

private val _foo = atomic<T>(initial) // private atomic, convention is to name it with leading underscore
public var foo: T by _foo            // public delegated property (val/var)

You can also delegate a property to the atomic factory invocation, that is equal to declaring a volatile property:

public var foo: T by atomic(0)

This feature is only supported for the IR transformation mode, see the atomicfu compiler plugin section for details.

User-defined extensions on atomics

You can define you own extension functions on AtomicXxx types but they must be inline and they cannot be public and be used outside of the module they are defined in. For example:

@Suppress("NOTHINGTOINLINE")
private inline fun AtomicBoolean.tryAcquire(): Boolean = compareAndSet(false, true)

Locks

This project includes kotlinx.atomicfu.locks package providing multiplatform locking primitives that require no additional runtime dependencies on Kotlin/JVM and Kotlin/JS with a library implementation for Kotlin/Native.

• SynchronizedObject is designed for inheritance. You write class MyClass : SynchronizedObject() and then

• ReentrantLock is designed for delegation. You write val lock = reentrantLock() to construct its instance and

Note that package kotlinx.atomicfu.locks is experimental explicitly even while atomicfu is experimental itself,

meaning that no ABI guarantees are provided whatsoever. API from this package is not recommended to use in libraries

that other projects depend on.

Tracing operations

You can debug your tests tracing atomic operations with a special trace object:

private val trace = Trace()
private val current = atomic(0, trace)
fun update(x: Int): Int {                // custom trace message     trace { "calling update($x)" }     // automatic tracing of modification operations      return current.getAndAdd(x) }

All trace messages are stored in a cyclic array inside trace. You can optionally set the size of trace's message array and format function. For example, you can add a current thread name to the traced messages:

private val trace = Trace(size = 64) {   
    index, // index of a trace message 
    text   // text passed when invoking trace { text }
    -> "$index: [${Thread.currentThread().name}] $text" 
}

trace is only seen before transformation and completely erased after on Kotlin/JVM and Kotlin/JS.

Kotlin Native support

Since Kotlin/Native does not generally provide binary compatibility between versions, you should use the same version of Kotlin compiler as was used to build AtomicFU. See gradle.properties in AtomicFU project for its kotlinversion.

Available Kotlin/Native targets are based on non-deprecated official targets Tier list with the corresponding compatibility guarantees.

Gradle Build Scans

Gradle Build Scans can provide insights into an Atomicfu Build. JetBrains runs a Gradle Develocity server. that can be used to automatically upload reports.

To automatically opt in add the following to $GRADLEUSERHOME/gradle.properties.

org.jetbrains.atomicfu.build.scan.enabled=true
optionally provide a username that will be attached to each report
org.jetbrains.atomicfu.build.scan.username=John Wick

A Build Scan may contain identifiable information. See the Terms of Use https://gradle.com/legal/terms-of-use/.