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,
    }
}