当前位置: 首页>>代码示例 >>用法及示例精选 >>正文


Rust write_volatile用法及代码示例


本文简要介绍rust语言中 Function std::ptr::write_volatile 的用法。

用法

pub unsafe fn write_volatile<T>(dst: *mut T, src: T)

使用给定值执行内存位置的易失性写入,而不读取或删除旧值。

易失性操作旨在作用于 I/O 内存,并保证编译器不会在其他易失性操作中忽略或重新排序。

write_volatile 不会删除 dst 的内容。这是安全的,但它可能会泄漏分配或资源,因此应注意不要覆盖应删除的对象。

此外,它不会删除 src 。从语义上讲,src 被移动到 dst 指向的位置。

注意

Rust 目前没有严格且正式定义的内存模型,因此 “volatile” 的精确语义可能会随着时间的推移而发生变化。话虽这么说,语义几乎总是最终与 C11's definition of volatile 非常相似。

编译器不应更改易失性内存操作的相对顺序或数量。但是,对零大小类型的易失性内存操作(例如,如果将零大小类型传递给 write_volatile )是无操作的,可能会被忽略。

安全性

如果违反以下任何条件,则行为未定义:

  • 对于写入,dst 必须是 valid

  • dst 必须正确对齐。

请注意,即使 T 的大小为 0 ,指针也必须非空且正确对齐。

就像在 C 中一样,一个操作是否是 volatile 与涉及来自多个线程的并发访问的问题没有任何关系。在这方面,易失性访问的行为与非原子访问完全相同。特别是,write_volatile 与同一位置上的任何其他操作(读取或写入)之间的竞争是未定义的行为。

例子

基本用法:

let mut x = 0;
let y = &mut x as *mut i32;
let z = 12;

unsafe {
    std::ptr::write_volatile(y, z);
    assert_eq!(std::ptr::read_volatile(y), 12);
}

相关用法


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