Rust Ordering语义理解
Rust Ordering语义理解
目录
- 应用场景: 多线程之间使用原子类型通过共享内存的方式进行线程间通信;
- 使用条件: 支持原子类型操作的指令集架构平台, 如
x86/x86_64
支持LOCK
前缀的指令是原子操作;
注: 使用条件仅仅针对Rust, 当前1.43.1版本中Rust的所有Atomic**
实现中都加了#[cfg(target_has_atomic_load_store = "8")]
属性配置;
为什么需要内存顺序?
- 一些编译器有指令重排功能以优化代码执行效率, 在不同线程中针对同一变量(内存)的读写顺序可能会被打乱, 不能保证顺序的一致性;
- 一些处理器中有Cache缓存, 对某一内存的读取可能是从缓存中直接读取, 因此不同线程对同一变量的读写顺序亦不能保证一致性;
Rust原子操作操作有5中内存顺序: Relaxed/Release/Acquire/AcqRel/SeqCst
, 下面一一介绍;
没有内存顺序约束, 仅仅是原子类型的本条store/load
操作是原子操作, 即针对该原子类型的在不同线程之间的操作顺序是任意的;
Release
和Acquire
是在不同的线程间针对同一原子类型对象的进行store
和load
操作时配合使用. 当一个线程store
withRelease
写原子类型对象, 而有另一个线程load
withAcquire
度原子类型对象时, 那么在写及写之前的所有写原子操作都是发生在另一个线程中读该原子类型之后的所有读原子操作之前.
简而言之就是, Release
之前的写原子操作先于Acquire
之后的读原子操作;
和Release/Acquire的效果一样, 只不过是读的时候使用Acquire
顺序, 写的时候使用Release
顺序;
若某一原子类型对象在不同线程中使用SeqCst
读写, 那么该原子操作之前的所有读写原子操作都先于该原子操作之后的读写操作
- The Rust Standard Library Version 1.43.1;
- cppreference std::memory_order;
相关推荐
zhangxiafll 2020-11-13
svap 2020-11-09
viplinux 2020-10-28
Justhavefun 2020-10-22
lousir 2020-10-21
longzhiwen 2020-10-16
Justhavefun 2020-09-25
归去来兮 2020-09-18
zhouxiaojie 2020-09-16
gamedevd 2020-09-04
tkernel 2020-09-03
Trustport 2020-09-01
svap 2020-08-25
tkernel 2020-08-18
lihn 2020-08-18
归去来兮 2020-07-28
TianlangStudio 2020-07-18
iammjun 2020-07-07
Colourful 2020-07-03