面试题：Rust线程错误处理之基本机制

Rust处理线程间共享数据错误的机制

所有权和借用规则：Rust的核心机制，通过确保同一时间只有一个所有者能修改数据，避免数据竞争。在多线程场景下，此规则同样适用，从根本上限制了数据访问冲突的可能性。
Mutex（互斥锁）：用于保护共享数据，确保同一时间只有一个线程能访问数据。
- 使用Mutex可能出现的错误：
  - 死锁：当两个或多个线程互相等待对方释放锁时会发生死锁。例如，线程A持有锁1并等待锁2，而线程B持有锁2并等待锁1。
  - Mutex未初始化：如果在使用Mutex之前没有正确初始化，可能导致未定义行为。
  - 双重释放：虽然Rust的内存管理机制通常能避免这种情况，但如果手动管理锁的释放且操作不当，可能出现双重释放锁的问题。
- 处理方式：
  - 死锁处理：通过合理设计锁的获取顺序，例如所有线程按相同顺序获取多个锁，可以避免死锁。此外，使用std::sync::MutexGuard的自动释放机制，确保锁在作用域结束时自动释放，也有助于避免死锁。
  - 初始化问题：确保在使用Mutex之前正确初始化，可以使用Mutex::new()来创建并初始化Mutex实例。
  - 双重释放：依赖Rust的RAII（Resource Acquisition Is Initialization）机制，MutexGuard会在离开作用域时自动释放锁，避免手动管理锁释放带来的双重释放风险。
Arc（原子引用计数）：与Mutex结合使用，Arc用于在多个线程间共享数据的所有权，Mutex用于保护数据的安全访问。这样可以在多线程环境下安全地共享可变数据。例如：

use std::sync::{Arc, Mutex};
let data = Arc::new(Mutex::new(0));
let data_clone = data.clone();
std::thread::spawn(move || {
    let mut num = data_clone.lock().unwrap();
    *num += 1;
});
let mut num = data.lock().unwrap();
*num += 1;

条件变量Condvar：用于线程间的同步，当线程需要等待某个条件满足时可以使用。例如，一个线程在数据准备好时通知其他等待的线程。结合Mutex使用，确保在等待和通知过程中数据的安全访问。

use std::sync::{Arc, Mutex, Condvar};
let data = Arc::new((Mutex::new(false), Condvar::new()));
let data_clone = data.clone();
std::thread::spawn(move || {
    let (lock, cvar) = &*data_clone;
    let mut ready = lock.lock().unwrap();
    while!*ready {
        ready = cvar.wait(ready).unwrap();
    }
});
let (lock, cvar) = &*data;
let mut ready = lock.lock().unwrap();
*ready = true;
cvar.notify_all();

星途面试题库

面试题：Rust线程错误处理之基本机制

知识考点

面试题答案

Rust处理线程间共享数据错误的机制