atomics

nimony/lib/std/atomics.nim

• type MemoryOrder = enum
    moRelaxed = (0, "moRelaxed")
    moConsume = (1, "moConsume")
    moAcquire = (2, "moAcquire")
    moRelease = (3, "moRelease")
    moAcquireRelease = (4, "moAcquireRelease")
    moSequentiallyConsistent = (5, "moSequentiallyConsistent")

• func dollar`.MemoryOrder(e: MemoryOrder): string
• type Trivial = int64|int8|int16|int32|int64|uint64|uint8|uint16|uint32|uint64|bool|OrdinalEnum|HoleyEnum|ptr|pointer not nil
• type AtomicFlag = distinct bool
• proc atomicLoad(location: var T; order: MemoryOrder): T
• proc atomicStore(location: var T; desired: T; order: MemoryOrder)
• proc atomicExchange(location: var T; desired: T; order: MemoryOrder): T
• proc atomicCompareExchange(location: var T; expected: var T; desired: T; success: MemoryOrder; failure: MemoryOrder): bool
• proc atomicCompareExchange(location: var T; expected: var T; desired: T; order: MemoryOrder): bool
• proc atomicCompareExchangeWeak(location: var T; expected: var T; desired: T; success: MemoryOrder; failure: MemoryOrder): bool
• proc atomicCompareExchangeWeak(location: var T; expected: var T; desired: T; order: MemoryOrder): bool
• proc atomicFetchAdd(location: var T; value: T; order: MemoryOrder): T
• proc atomicFetchSub(location: var T; value: T; order: MemoryOrder): T
• proc atomicFetchAnd(location: var T; value: T; order: MemoryOrder): T
• proc atomicFetchOr(location: var T; value: T; order: MemoryOrder): T
• proc atomicFetchXor(location: var T; value: T; order: MemoryOrder): T
• proc testAndSet(location: var AtomicFlag; order: MemoryOrder): bool
• proc clear(location: var AtomicFlag; order: MemoryOrder)
• proc atomicFence(order: MemoryOrder)
• proc atomicSignalFence(order: MemoryOrder)
• proc cpuRelax()

  Hints the CPU that we are in a spin-wait loop. Reduces power consumption and avoids memory-order violations on hyper-threaded cores.

  pause on x86-64, yield on AArch64, and nothing at all on a target with neither — a hint that does not exist is a hint that can be skipped, so no when guards this call and no target has to be enumerated here.

• proc atomicInc(location: var T; value: T)
• proc atomicDec(location: var T; value: T)