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);