面试题：Rust常函数在并发场景下的设计与应用

设计常函数确保线程安全

使用 Mutex 或 RwLock 来保护共享资源：
- 在Rust中，Mutex（互斥锁）用于保护共享资源，确保同一时间只有一个线程可以访问。RwLock（读写锁）则允许多个线程同时进行读操作，但只允许一个线程进行写操作。对于仅查询状态信息的常函数，RwLock 更为合适，因为读操作可以并发执行，提高效率。
- 示例代码：

use std::sync::{Arc, RwLock};

// 定义共享资源结构体
struct SharedResource {
    // 假设这里有一些状态信息
    status: String,
}

// 定义常函数
fn query_status(shared_resource: &Arc<RwLock<SharedResource>>) -> String {
    let read_guard = shared_resource.read().unwrap();
    read_guard.status.clone()
}

线程安全的调用方式：
- 在多线程环境中，需要将共享资源包装在 Arc（原子引用计数）中，以便在多个线程间共享所有权。
- 示例代码：

use std::thread;

fn main() {
    let shared_resource = Arc::new(RwLock::new(SharedResource {
        status: "Initial status".to_string(),
    }));

    let mut handles = vec![];
    for _ in 0..10 {
        let shared_resource_clone = shared_resource.clone();
        let handle = thread::spawn(move || {
            let status = query_status(&shared_resource_clone);
            println!("Thread got status: {}", status);
        });
        handles.push(handle);
    }

    for handle in handles {
        handle.join().unwrap();
    }
}

常函数设计原则

不可变访问：常函数应该只对共享资源进行不可变访问，避免修改共享资源的状态，以确保线程安全。
最小化锁的持有时间：尽量减少在锁保护下执行的代码量，提高并发性能。在上述示例中，获取 read_guard 后尽快读取并返回所需信息，避免在 read_guard 作用域内进行不必要的计算。
错误处理：在获取锁时，要正确处理可能出现的错误，如 Mutex 或 RwLock 的死锁或中毒（PoisonError）情况。在上述示例中，简单地使用 unwrap() 处理错误，实际应用中应根据需求进行更合适的错误处理。

可能遇到的挑战和解决方案

死锁：
- 挑战：如果多个线程以不同顺序获取多个锁，可能会导致死锁。例如，线程A获取锁1，然后尝试获取锁2，而线程B获取锁2，然后尝试获取锁1，就会形成死锁。
- 解决方案：使用 lock_api 中的 lock_order 等工具来确保线程以相同顺序获取锁，或者尽量减少锁的嵌套使用。
性能问题：
- 挑战：频繁的锁获取和释放会带来性能开销，尤其是在高并发场景下。如果锁的粒度太大，会导致大量线程等待，降低并发性能。
- 解决方案：尽量减小锁的粒度，将共享资源划分为多个独立的部分，每个部分使用单独的锁保护。或者使用更细粒度的并发控制机制，如 RwLock 进行读写分离，提高读操作的并发度。
PoisonError 处理：
- 挑战：如果一个线程在持有锁时发生恐慌（panic），会导致锁中毒（poison），后续获取锁的操作会返回 PoisonError。
- 解决方案：在获取锁时正确处理 PoisonError，可以选择忽略中毒状态继续获取锁（unwrap_or_else 等方法），或者根据业务需求进行更复杂的处理，如重新初始化共享资源。例如：

fn query_status(shared_resource: &Arc<RwLock<SharedResource>>) -> String {
    let read_guard = shared_resource.read().unwrap_or_else(|e| {
        e.into_inner()
    });
    read_guard.status.clone()
}

星途面试题库

面试题：Rust常函数在并发场景下的设计与应用

知识考点

面试题答案

设计常函数确保线程安全

常函数设计原则

可能遇到的挑战和解决方案