Rust 学习笔记:共享状态并发

Rust 学习笔记:共享状态并发

消息传递是处理并发性的好方法,但不是唯一的方法。另一种方法是让多个线程访问相同的共享数据。

智能指针使多重所有权成为可能,多重所有权会增加复杂性,因为这些不同的所有者需要管理。Rust 的类型系统和所有权规则极大地帮助了这种管理的正确性。

让我们看看互斥锁,这是共享内存中比较常见的并发原语之一。

互斥锁

互斥只允许一个线程在任何给定的时间访问某些数据。要访问互斥锁中的数据,线程必须首先通过请求获取互斥锁来发出访问信号。lock 是一种数据结构,是互斥锁的一部分,它跟踪当前谁对数据具有独占访问权。

使用互斥锁的两条规则:

  1. 在使用数据之前,必须尝试获取锁。
  2. 在处理完互斥锁保护的数据后,必须解锁数据,以便其他线程可以获取该锁。

Mutex<T> 的 API

使用 new 函数创建 Mutex<T>。

为了访问互斥体内的数据,我们使用 lock 方法来获取锁。这个调用将阻塞当前线程,因此它不能做任何工作,直到轮到我们获得锁。

如果持有锁的另一个线程 panic,lock 方法将失败。在这种情况下,没有人能够获得锁,所以我们选择了 unwrap,并在这种情况下让线程 panic。

use std::sync::Mutex;

fn main() {
    let m = Mutex::new(5);

    {
        let mut num = m.lock().unwrap();
        *num = 6;
    }

    println!("m = {m:?}");
}

在获得锁之后,可以将返回值(在本例中名为 num)作为对内部数据的可变引用。类型系统确保我们在使用 m 中的值之前获得锁。m 的类型是Mutex<i32>,而不是 i32,所以我们必须调用 lock 才能使用 i32 的值。

lock 方法返回一个名为 MutexGuard 的智能指针,封装在调用 unwrap 时处理的 LockResult 中。MutexGuard 智能指针实现了 Deref 和 Drop trait。

当 MutexGuard 超出作用域时自动释放锁,这种情况发生在内部作用域的末尾。因此,我们不会冒忘记释放锁而阻塞互斥锁被其他线程使用的风险,因为锁的释放是自动发生的。

在解除锁之后,我们可以打印互斥锁的值,并看到我们能够将内部的 i32 更改为 6。

在这里插入图片描述

在多个线程之间共享互斥锁

现在让我们尝试使用 Mutex<T> 在多个线程之间共享一个值。

启动 10 个线程,并让每个线程将计数器的值增加 1。

use std::sync::Mutex;
use std::thread;

fn main() {
    let counter = Mutex::new(0);
    let mut handles = vec![];

    for _ in 0..10 {
        let handle = thread::spawn(move || {
            let mut num = counter.lock().unwrap();

            *num += 1;
        });
        handles.push(handle);
    }

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

    println!("Result: {}", *counter.lock().unwrap());
}

编译出错:

在这里插入图片描述

错误消息指出计数器值在循环的前一次迭代中被移动。Rust 告诉我们不能将互斥锁的所有权转移到多个线程中。让我们用多重所有权方法来修复错误。

多线程的多重所有权

我们知道使用智能指针 Rc<T> 可以将一个值赋给多个所有者。

修改之前的代码,用 Rc<T> 包装 Mutex<T>,并在将所有权转移到线程之前克隆 Rc<T>。

use std::rc::Rc;
use std::sync::Mutex;
use std::thread;

fn main() {
    let counter = Rc::new(Mutex::new(0));
    let mut handles = vec![];

    for _ in 0..10 {
        let counter = Rc::clone(&counter);
        let handle = thread::spawn(move || {
            let mut num = counter.lock().unwrap();

            *num += 1;
        });
        handles.push(handle);
    }

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

    println!("Result: {}", *counter.lock().unwrap());
}

还是编译错误:

在这里插入图片描述

Rc<T> 不是线程安全的。当 Rc<T> 管理引用计数时,它将每次克隆调用的计数相加,并在每个克隆被删除时从计数中减去。但是它没有使用任何并发原语来确保计数的更改不会被另一个线程中断。这可能会导致错误的计数,进而导致内存泄漏或在我们完成之前丢弃值。

我们需要的是一种完全类似于 Rc<T> 的类型,但它以线程安全的方式对引用计数进行更改。

Arc<T>:原子引用计数类型

原子引用计数类型 Arc<T> 是一种类似 Rc<T> 的类型,在并发情况下使用是安全的。

原子是一种额外的并发原语,确保线程安全,但线程安全带来了性能损失。

Arc<T> 和 Rc<T> 具有相同的 API,因此我们通过更改 use 行、对 new 的调用和对 clone 的调用来修复程序。

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

fn main() {
    let counter = Arc::new(Mutex::new(0));
    let mut handles = vec![];

    for _ in 0..10 {
        let counter = Arc::clone(&counter);
        let handle = thread::spawn(move || {
            let mut num = counter.lock().unwrap();

            *num += 1;
        });
        handles.push(handle);
    }

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

    println!("Result: {}", *counter.lock().unwrap());
}

程序运行成功,并输出了正确的结果:

在这里插入图片描述

注意,如果要进行简单的数值操作,标准库的 std::sync::atomic 模块提供了比 Mutex<T> 更简单的类型。这些类型提供对基本类型的安全、并发的原子访问。

在本例中,我们选择将 Mutex<T> 与基本类型一起使用,这样我们就可以专注于 Mutex<T> 是如何工作的。

RefCell<T>/Rc<T> 与 Mutex<T>/Arc<T> 的相似性

你可能已经注意到 Mutex<T> 提供了内部可变性。

就像我们使用 RefCell<T> 来改变 Rc<T> 中的内容一样,我们使用 Mutex<T> 来改变 Arc<T> 中的内容。

使用 Rc<T> 有创建引用循环的风险,其中两个 Rc<T> 值相互引用,导致内存泄漏。类似地,Mutex<T> 也有创建死锁的风险。当一个操作需要锁定两个资源,并且两个线程各自获得了其中一个锁,导致它们永远等待对方时,就会发生这种情况。

内容概要:本文档是《云计算服务存储资源管理合作协议书》,详细规定了服务提供方(甲方)和服务接受方(乙方)在云计算服务存储管理方面的权利、义务和责任。合同明确了甲方向乙方提供稳定、安全、可靠的云计算服务存储资源,以及相应的技术支持和服务,包括系统维护、故障排除、数据备份与恢复等。同时,甲方需对乙方数据保密并定期提供服务使用情况报告。乙方则需合理使用存储资源,确保数据合法合规,按时支付服务费用,并配合甲方进行系统维护。此外,合同还涉及支付方式、违约责任、争议解决机制等内容,确保双方合作顺利进行,实现资源共享,提高乙方业务效率。 适合人群:适用于云计算服务提供商和需要使用云计算存储资源的企业或机构。 使用场景及目标:①为企业或机构提供稳定的云计算存储服务,满足其业务需求;②规范双方在云计算服务存储管理中的权利和义务,确保合作顺畅;③保障数据安全,防止数据泄露、丢失或损坏;④建立合理的支付机制和违约处理机制,确保合同有效执行。 其他说明:合同还包括了详细的附件,如需求文档、设计方案、技术规格等,确保双方在具体操作层面有一致的理解和依据。合同签订后,双方需遵守相关法律法规,依法纳税,并在争议发生时优先通过友好协商解决。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

打赏作者

UestcXiye

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

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

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

打赏作者

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

抵扣说明:

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

余额充值