Rust AtomicU64.compare_exchange_weak用法及代码示例

用法

pub fn compare_exchange_weak(    &self,     current: u64,     new: u64,     success: Ordering,     failure: Ordering) -> Result<u64, u64>

如果当前值与 current 值相同，则将值存储到原子整数中。

与 AtomicU64::compare_exchange 不同，即使比较成功，也允许此函数虚假失败，这可以在某些平台上产生更高效的代码。返回值是指示是否写入新值并包含先前值的结果。

compare_exchange_weak 采用两个 Ordering 参数来说明此操作的内存顺序。 success 说明了与 current 比较成功时发生的读取-修改-写入操作所需的顺序。 failure 说明了比较失败时发生的加载操作所需的顺序。使用 Acquire 作为成功排序使存储成为此操作的一部分 Relaxed ，并使用 Release 使成功加载 Relaxed 。失败排序只能是 SeqCst 、 Acquire 或 Relaxed 并且必须等于或弱于成功排序。

注意：此方法仅适用于支持原子操作的平台u64.

例子

use std::sync::atomic::{AtomicU64, Ordering};

let val = AtomicU64::new(4);

let mut old = val.load(Ordering::Relaxed);
loop {
    let new = old * 2;
    match val.compare_exchange_weak(old, new, Ordering::SeqCst, Ordering::Relaxed) {
        Ok(_) => break,
        Err(x) => old = x,
    }
}