com.oracle.graal.pointsto.util

Class AtomicUtils

java.lang.Object

com.oracle.graal.pointsto.util.AtomicUtils

public class AtomicUtils
extends Object

Constructor Summary

Constructors

Constructor and Description
AtomicUtils()

Method Summary

Modifier and Type	Method and Description
static <T> boolean	atomicMark(T holder, AtomicIntegerFieldUpdater<T> updater) Atomically set the field to 1 if the current value is 0.
static <T,V> boolean	atomicSet(T holder, V value, AtomicReferenceFieldUpdater<T,V> updater)
static <T,V> boolean	atomicSetAndRun(T holder, V value, AtomicReferenceFieldUpdater<T,V> updater, Runnable task)
static <T> boolean	isSet(T holder, AtomicIntegerFieldUpdater<T> updater) Return true if the field is set to 1, false otherwise.
static <T,V> boolean	isSet(T holder, AtomicReferenceFieldUpdater<T,V> updater)
static <T> T	produceAndSetValue(AtomicReference<T> reference, Supplier<T> supplier, Consumer<T> initializer) Utility to lazily produce and initialize an object stored in an AtomicReference.

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AtomicUtils

public AtomicUtils()

Method Detail

atomicSet

public static <T,V> boolean atomicSet(T holder,
                                      V value,
                                      AtomicReferenceFieldUpdater<T,V> updater)

atomicSetAndRun

public static <T,V> boolean atomicSetAndRun(T holder,
                                            V value,
                                            AtomicReferenceFieldUpdater<T,V> updater,
                                            Runnable task)

isSet

public static <T,V> boolean isSet(T holder,
                                  AtomicReferenceFieldUpdater<T,V> updater)

atomicMark

public static <T> boolean atomicMark(T holder,
                                     AtomicIntegerFieldUpdater<T> updater)

Atomically set the field to 1 if the current value is 0. Performing a read before the compare and set is more cache friendly.

Returns:

true if successful.

isSet

public static <T> boolean isSet(T holder,
                                AtomicIntegerFieldUpdater<T> updater)

Return true if the field is set to 1, false otherwise.

produceAndSetValue

public static <T> T produceAndSetValue(AtomicReference<T> reference,
                                       Supplier<T> supplier,
                                       Consumer<T> initializer)

Utility to lazily produce and initialize an object stored in an AtomicReference. The supplier may be invoked multiple times, but the initializer is guaranteed to only be invoked for the winning value. Note that other threads can see the state of the object returned by the supplier before the initializer has finished or even started to be executed.