Rust AtomicU64.compare_and_swap用法及代碼示例

用法

pub fn compare_and_swap(&self, current: u64, new: u64, order: Ordering) -> u64

如果當前值與 current 值相同，則將值存儲到原子整數中。

返回值始終是前一個值。如果它等於 current ，則該值已更新。

compare_and_swap 還接受一個 Ordering 參數，該參數說明了此操作的內存順序。請注意，即使使用 AcqRel ，操作也可能會失敗，因此隻執行 Acquire 加載，但沒有 Release 語義。使用 Acquire 使存儲部分成為此操作 Relaxed (如果發生)，使用 Release 使加載部分成為 Relaxed 。

注意：此方法僅適用於支持原子操作的平台u64.

遷移到 compare_exchange 和 compare_exchange_weak

compare_and_swap 等價於 compare_exchange，具有以下內存排序映射：

即使比較成功，compare_exchange_weak 也允許虛假失敗，這允許編譯器在循環中使用比較和交換時生成更好的匯編代碼。

例子

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

let some_var = AtomicU64::new(5);

assert_eq!(some_var.compare_and_swap(5, 10, Ordering::Relaxed), 5);
assert_eq!(some_var.load(Ordering::Relaxed), 10);

assert_eq!(some_var.compare_and_swap(6, 12, Ordering::Relaxed), 10);
assert_eq!(some_var.load(Ordering::Relaxed), 10);