面试题：Rust锁中毒问题的场景描述

典型场景

线程异常终止持有锁时：在Rust中，当一个线程获取了锁（例如使用Mutex或RwLock），然后这个线程因为发生panic等异常情况而终止，而没有正常释放锁。例如：

use std::sync::{Arc, Mutex};
use std::thread;

fn main() {
    let data = Arc::new(Mutex::new(0));
    let data_clone = data.clone();

    let handle = thread::spawn(move || {
        let mut guard = data_clone.lock().unwrap();
        // 模拟异常情况
        panic!("Oops!");
        *guard += 1;
    });

    handle.join().unwrap();

    let result = data.lock();
    if result.is_err() {
        println!("锁中毒，无法获取锁");
    }
}

跨线程传递锁所有权后异常处理不当：如果在不同线程间传递锁的所有权，接收线程没有正确处理可能出现的异常情况，导致锁没有被正确释放。比如在一个复杂的多线程任务调度系统中，一个线程获取锁并将锁的所有权传递给另一个线程执行某些操作，若接收线程panic，锁就可能中毒。

出现原因

Rust的内存安全机制：Rust通过所有权和借用规则保证内存安全，锁的设计也遵循这一原则。当一个线程获取锁后，会得到一个锁的Guard对象，这个Guard对象在其作用域结束时会自动释放锁。但是，当线程异常终止（如panic）时，Guard对象来不及正常执行析构函数释放锁。
防止数据不一致：Rust将这种锁无法正常释放的情况视为“锁中毒”，后续其他线程尝试获取该锁时会失败（返回Err），这是为了防止其他线程在锁处于未知状态（可能因为异常导致数据不一致）时获取锁并访问共享数据，从而避免潜在的数据竞争和未定义行为，维护程序的安全性和稳定性。

星途面试题库

面试题：Rust锁中毒问题的场景描述

知识考点

面试题答案

典型场景

出现原因