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代码,你需要非常谨慎地确保设计,才能满足线程间的安全性要求。

相关推荐
然我32 分钟前
不用 Redux 也能全局状态管理?看我用 useReducer+Context 搞个 Todo 应用
前端·javascript·react.js
前端小巷子37 分钟前
Web 实时通信:从短轮询到 WebSocket
前端·javascript·面试
神仙别闹41 分钟前
基于C#+SQL Server实现(Web)学生选课管理系统
前端·数据库·c#
web前端神器1 小时前
指定阿里镜像原理
前端
枷锁—sha1 小时前
【DVWA系列】——CSRF——Medium详细教程
android·服务器·前端·web安全·网络安全·csrf
枷锁—sha1 小时前
跨站请求伪造漏洞(CSRF)详解
运维·服务器·前端·web安全·网络安全·csrf
群联云防护小杜1 小时前
深度隐匿源IP:高防+群联AI云防护防绕过实战
运维·服务器·前端·网络·人工智能·网络协议·tcp/ip
汉得数字平台1 小时前
【鲲苍提效】全面洞察用户体验,助力打造高性能前端应用
前端·前端监控
花海如潮淹2 小时前
前端性能追踪工具:用户体验的毫秒战争
前端·笔记·ux
_丿丨丨_6 小时前
XSS(跨站脚本攻击)
前端·网络·xss