core.atomic

The atomic module provides basic support for lock-free concurrent programming.

License:

Boost License 1.0

Authors:

Sean Kelly, Alex Rønne Petersen

Source

core/atomic.d

pure nothrow @nogc @safe HeadUnshared!T atomicOp(string op, T, V1)(ref shared T val, V1 mod)

Constraints:
if (__traits(compiles, mixin("*cast(T*)&val" ~ op ~ "mod")))

Performs the binary operation 'op' on val using 'mod' as the modifier.

Parameters:

T val	The target variable.
V1 mod	The modifier to apply.

Returns:

The result of the operation.

pure nothrow @nogc @safe bool cas(T, V1, V2)(shared(T)* here, const V1 ifThis, V2 writeThis)
pure nothrow @nogc @safe bool cas(T, V1, V2)(shared(T)* here, const shared(V1) ifThis, shared(V2) writeThis)
pure nothrow @nogc @safe bool cas(T, V1, V2)(shared(T)* here, const shared(V1)* ifThis, shared(V2)* writeThis)

Constraints:
if (!is(T == class) && !is(T U : U*) && __traits(compiles, () { *here = writeThis; } ))
if (is(T == class) && __traits(compiles, () { *here = writeThis; } ))
if (is(T U : U*) && __traits(compiles, () { *here = writeThis; } ))

Stores 'writeThis' to the memory referenced by 'here' if the value referenced by 'here' is equal to 'ifThis'. This operation is both lock-free and atomic.

Parameters:

shared(T)* here	The address of the destination variable.
V2 writeThis	The value to store.
V1 ifThis	The comparison value.

Returns:

true if the store occurred, false if not.

pure nothrow @nogc @safe HeadUnshared!T atomicLoad(MemoryOrder ms = MemoryOrder.seq, T)(ref const shared T val)

Loads 'val' from memory and returns it. The memory barrier specified by 'ms' is applied to the operation, which is fully sequenced by default. Valid memory orders are MemoryOrder.raw, MemoryOrder.acq, and MemoryOrder.seq.

Parameters:

T val

The target variable.

Returns:

The value of 'val'.

pure nothrow @nogc @safe void atomicStore(MemoryOrder ms = MemoryOrder.seq, T, V1)(ref shared T val, V1 newval)

Constraints:
if (__traits(compiles, () { val = newval; } ))

Writes 'newval' into 'val'. The memory barrier specified by 'ms' is applied to the operation, which is fully sequenced by default. Valid memory orders are MemoryOrder.raw, MemoryOrder.rel, and MemoryOrder.seq.

Parameters:

T val	The target variable.
V1 newval	The value to store.

enum MemoryOrder: int

Specifies the memory ordering semantics of an atomic operation.

raw

Not sequenced.

acq

Hoist-load + hoist-store barrier.

rel

Sink-load + sink-store barrier.

seq

Fully sequenced (acquire + release).

nothrow @nogc void atomicFence()

Inserts a full load/store memory fence (on platforms that need it). This ensures that all loads and stores before a call to this function are executed before any loads and stores after the call.