Rust AtomicU64.compare_exchange用法及代码示例

本文简要介绍rust语言中 std::sync::atomic::AtomicU64.compare_exchange 的用法。

用法

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

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

返回值是指示是否写入新值并包含先前值的结果。成功时，此值保证等于 current 。

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

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

例子

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

let some_var = AtomicU64::new(5);

assert_eq!(some_var.compare_exchange(5, 10,
                                     Ordering::Acquire,
                                     Ordering::Relaxed),
           Ok(5));
assert_eq!(some_var.load(Ordering::Relaxed), 10);

assert_eq!(some_var.compare_exchange(6, 12,
                                     Ordering::SeqCst,
                                     Ordering::Acquire),
           Err(10));
assert_eq!(some_var.load(Ordering::Relaxed), 10);

相关用法

注：本文由纯净天空筛选整理自rust-lang.org大神的英文原创作品 std::sync::atomic::AtomicU64.compare_exchange。非经特殊声明，原始代码版权归原作者所有，本译文未经允许或授权，请勿转载或复制。