面试题：Rust原子操作与内存模型对线程安全性的深度探讨

Rust内存模型概念与原子操作的相互作用

顺序一致性（Sequential Consistency）
- 概念：顺序一致性要求所有线程以相同的顺序观察所有内存操作。在这种模型下，所有的读写操作形成一个全序关系，就好像所有线程在一个单线程环境下按顺序执行这些操作一样。
- 与原子操作作用：Rust中的原子类型（如AtomicUsize等）默认使用顺序一致性语义。例如，当使用load和store方法对原子变量进行操作时，默认遵循顺序一致性。这意味着所有线程都能以相同顺序观察到这些操作，保证了操作的可预测性。比如，线程A和线程B同时对一个AtomicUsize变量进行操作，无论在哪个线程中先进行store操作，其他线程观察到的顺序都是一致的。
释放 - 获得语义（Release - Acquire Semantics）
- 概念：释放（Release）操作会将修改刷新到内存中，确保所有之前的写操作对其他线程可见。获得（Acquire）操作会从内存中读取最新的值，并确保后续的读操作能看到之前被释放的写操作的结果。
- 与原子操作作用：在Rust中，原子类型的store方法可以使用Ordering::Release顺序，load方法可以使用Ordering::Acquire顺序。例如，一个线程使用store并指定Ordering::Release对原子变量进行写操作，其他线程使用load并指定Ordering::Acquire读取该变量时，能保证读到的是最新的、被释放的值，且能看到在释放操作之前的所有写操作的结果。这在需要在多个线程间传递数据或同步状态时非常有用。

不遵循规则导致的线程安全问题及解决办法

线程安全问题示例
- 场景：假设有两个线程，线程A负责更新一个共享的AtomicUsize变量的值，线程B负责读取这个值。如果线程A使用store时没有使用合适的内存顺序（如使用了Ordering::Relaxed，而不是Ordering::Release），线程B使用load时也使用了Ordering::Relaxed，就可能出现线程B读取到的值不是线程A最新更新的值，因为线程A的更新可能还没有被刷新到内存中，线程B从缓存中读取到了旧值。
- 代码示例

use std::sync::atomic::{AtomicUsize, Ordering};
use std::thread;

fn main() {
    let shared_value = AtomicUsize::new(0);
    let handle = thread::spawn(move || {
        shared_value.store(1, Ordering::Relaxed);
    });
    if shared_value.load(Ordering::Relaxed) != 1 {
        println!("可能读取到旧值");
    }
    handle.join().unwrap();
}

解决办法
- 修改为正确方式：在线程A的store操作中使用Ordering::Release，在线程B的load操作中使用Ordering::Acquire。

use std::sync::atomic::{AtomicUsize, Ordering};
use std::thread;

fn main() {
    let shared_value = AtomicUsize::new(0);
    let handle = thread::spawn(move || {
        shared_value.store(1, Ordering::Release);
    });
    if shared_value.load(Ordering::Acquire) != 1 {
        println!("应该不会出现这种情况");
    }
    handle.join().unwrap();
}

原理：这样修改后，线程A的store操作会将更新刷新到内存，线程B的load操作会从内存中读取最新的值，遵循了释放 - 获得语义，从而确保了线程安全。

星途面试题库

面试题：Rust原子操作与内存模型对线程安全性的深度探讨

知识考点

面试题答案

Rust内存模型概念与原子操作的相互作用

不遵循规则导致的线程安全问题及解决办法