Rust 学习笔记：关于共享状态并发的练习题

Rust 学习笔记：关于共享状态并发的练习题

参考视频：

1. https://www.bilibili.com/video/BV15ZovYgE1r

问题一

在某些并发 API 中，互斥锁和它保护的数据是分开的。

例如：

    let mut data = Vec::new();
    let mx: Mutex = Mutex::new();
    {
        let _guard = mx.lock();
        data.push(1);
    }

以下哪一项最好地描述了为什么 Rust 使用 Mutex<T> 而不仅仅是 Mutex？

A. 提高使用互斥锁的并发程序的效率
B. 防止互斥锁的数据在线程之间移动
C. 防止在不锁定互斥锁的前提下访问互斥锁的数据
D. 减少对互斥锁方法的调用

答：C。

问题二

以下程序能否通过编译？若能，输出是？

use std::sync::Arc;
use std::thread;

fn main() {
    let s = String::from("Hello world");
    let a = Arc::new(&s);
    let a2 = Arc::clone(&a);
    let t =  thread::spawn(move || a2.len());
    let len =  t.join().unwrap();
    println!("{} {}", a, len);
}

答：不能通过编译。

Arc<T> 得到的 s 的引用，而 Arc<T> 被使用在子线程 t。假如子线程的生命周期比主线程更长，这就会导致主线程执行完成后 s 被释放，而子线程仍然引用。Rust 编译器发现了这个可能的悬垂风险。