55_使用Sync和Send来扩展并发

1. 概述

rust语言本身的并发特性较少,目前讲的并发特性都是来自标准库(而不是语言本身)。

其实我们无需仅限于标准库的并发,可以自己实现并发。

但在rust语言中有两个并发概念:

  • std::marker::Syncstd::marker::Send这两个trait。

2. Send

Send:允许线程间转移所有权。

  • 实现Send trait的类型可以在线程间转移所有权,Rust中几乎所有的类型都实现了Send
    • Rc<T>没有实现Send,它只用于单线程的场景。
  • 任何完全由Send组成的类型也被标记为Send
  • 实际上除了原始指针之外,几乎所有的基础类型都实现了Send

例如:

rust 复制代码
use std::thread;

fn main() {
    let number = 5;
    let handle = thread::spawn(move || {
        println!("{}", number); // 这里可以正常工作,因为number实现了Send trait
    });
    println!("{}", number);

    handle.join().unwrap();
}

我们创建了一个新的线程,并把一个number变量移动到这个新线程中。这是因为number的类型(在这个例子中是i32)实现了Send trait,所以我们可以安全地在两个线程之间转移所有权的所有权。

3. Sync

Sync:允许从多线程同时访问。

  • 实现Sync的类型可以安全的被多个线程引用
  • 也就是说:如果T实现了Sync,那么&T(T的引用)就是实现了Send
    • 表示T的引用可以被安全地送往另一个线程
  • 基础类型都实现了Sync
  • 完全由Sync类型组成的类型也是Sync
    • 但是Rc<T>不是Sync
    • RefCell<T>Cell<T>家族也不是Sync
    • Mutex<T>实现了Sync
rust 复制代码
use std::sync::Arc;
use std::thread;

fn main() {
    let shared_data = Arc::new(Some(5)); // Arc封装了一个可共享的数据,并且可以安全地在多个线程之间共享。
    let handle = thread::spawn(move || {
        println!("{:?}", shared_data); // 这里可以正常工作,因为Arc<T>实现了Sync trait
    });

    handle.join().unwrap();
}

我们创建了一个新的线程,并尝试在两个线程之间共享一个Arc<T>对象。这是因为Arc<T>(通过其内部的类型T)实现了Sync trait,所以我们可以安全地在多个线程之间共享这个对象。

如果我们尝试在两个线程之间直接共享一个没有实现Sync的对象,Rust编译器会给出错误。

4. 手动实现Send和Sync很难保证安全

手动来实现Send和Sync是很难保证安全的,因为手动实现这些trait的时候涉及到使用特殊不安全的Rust代码,你需要非常谨慎地确保设计,才能满足线程间的安全性要求。

相关推荐
智践行1 分钟前
Trae开发实战之转盘小程序
前端·trae
最新资讯动态7 分钟前
DialogHub上线OpenHarmony开源社区,高效开发鸿蒙应用弹窗
前端
lvbb6616 分钟前
框架修改思路
前端·javascript·vue.js
树上有只程序猿18 分钟前
Java程序员需要掌握的技术
前端
从零开始学安卓21 分钟前
Kotlin(三) 协程
前端
阿镇吃橙子25 分钟前
一些手写及业务场景处理问题汇总
前端·算法·面试
庸俗今天不摸鱼26 分钟前
【万字总结】前端全方位性能优化指南(九)——FSP(First Screen Paint)像素级分析、RUM+合成监控、Lighthouse CI
前端·性能优化
逆袭的小黄鸭26 分钟前
JavaScript:作用域与作用域链的底层逻辑
前端·javascript·面试
用户261245834016126 分钟前
vue2实现滚动条自动滚动
前端