Rust 的多线程安全引用 Arc

Rust 的多线程安全引用 Arc

作者: 许野平

1 Arc 与 Rc 几乎一样,但是多线程安全的

Arc 与 Rc 类似,唯一不同的地方在于 Arc 是多线程安全的。参见下面的例子:

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

fn main() {
    let nums = Arc::new(vec![0, 1, 2, 3, 4]);
    let mut childs = vec![];
    for n in 0..5 {
        let ns = nums.clone();
        let c = thread::spawn(move || println!("{:?}", ns[n]));
        childs.push(c);
    }
    for c in childs {
        c.join().unwrap();
    }
}
-------------------------------------------------------------------------------
>cargo run
0
2
4
1
3

2 Arc 可以打破只读的魔咒

Arc、Rc 都是只读的共享。但是,这个所谓的只读,仅仅是语法层面的。我们可以构造语法结构上是只读的,但实际上允许修改的数据类型。Mutex 就是一个这样的引用类型。看代码吧:

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

fn main() {
    let nums = Arc::new(Mutex::new(vec![]));
    let mut childs = vec![];
    for n in 0..5 {
        let ns = nums.clone();
        let c = thread::spawn(move || {
            let mut v = ns.lock().unwrap();
            v.push(n);
        });
        childs.push(c);
    }
    for c in childs {
        c.join().unwrap();
    }
    println!("{:?}", nums);
}
-------------------------------------------------------------------------------
>cargo run
Mutex { data: [0, 1, 3, 2, 4], poisoned: false, .. }
Rust 中,`Arc`、`Mutex` 和 `Option` 都是非常常用的类型,尤其是在多线程编程中。 `Arc` 是一个智能指针类型,它可以在多线程环境中安全地共享数据。`Arc` 的全称是“原子引用计数器”(Atomic Reference Counting),它可以让多个线程同时拥有同一个值的所有权,并且保证所有权的转移是线程安全的。 `Mutex` 是一个互斥体类型,它可以保证在同一时刻只有一个线程能够访问被锁定的数据。在多线程编程中,如果多个线程同时访问同一个变量,就会出现竞争条件(Race Condition),导致程序出错。使用 `Mutex` 可以解决这个问题。 `Option` 是一个枚举类型,它可以表示一个值存在或不存在。在多线程编程中,如果多个线程同时访问同一个变量,就可能会出现空指针异常(Null Pointer Exception)。使用 `Option` 可以明确地表示一个值是否存在,从而避免这个问题。 下面是一个使用这些类型的例子: ```rust use std::sync::{Arc, Mutex}; fn main() { let data = Arc::new(Mutex::new(Some("hello"))); let mut handles = vec![]; for i in 0..10 { let data = data.clone(); let handle = std::thread::spawn(move || { let mut data = data.lock().unwrap(); // 这里使用了 take 方法,将 Option 类型的值取出来并赋值为 None // 这样可以避免多个线程同时访问同一个变量的问题 let value = data.take().unwrap(); println!("Thread {} got value: {}", i, value); }); handles.push(handle); } for handle in handles { handle.join().unwrap(); } } ``` 上面的代码创建了一个共享数据 `data`,它是一个 `Arc<Mutex<Option<&str>>>` 类型。在每个线程中,我们都使用了 `data.lock().unwrap()` 来获取数据的可变引用,并使用了 `take()` 方法将数据取出来。这样所有的线程都可以安全地访问 `data` 的值,而不用担心竞争条件和空指针异常。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

许野平

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值