【早晨读书会】深入理解rust并发编程

2024-04-24 11:12

本文主要是介绍【早晨读书会】深入理解rust并发编程,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

第一章 线程

线程

线程是调度的最小单位

同一进程中的多条线程将共享该进程中的全部系统资源,如虚拟地址空间,文件描述符和信号处理等等。但同一进程中的多个线程有各自的调用栈(call stack),自己的寄存器上下文(register context),自己的线程本
地存储(thread-local storage)。

SmallTalk、Ruby、Lua、Python 等,还会有协程(英语:coroutine)更小的调度单位。协程非常类似于线程。但是协程是协作式多任务的,而线程典型是抢占式多任务的。这意味着协程提供并发性而非并行性。

Rust 实现并发的基本单位是线程

Rust 标准库std::thread crate 提供了线程相关的函数。正如上面所说,一个 Rust 程序执行的会启动一个进程,这个进程会包含一个或者多个线程,Rust 中的线程是纯操作的系统的线程,拥有自己的栈和状态。线程之间的通讯可以通过 channel,就像 Go 语言中的 channel 的那样,也可以通过一些同步原语。

Thread builder
通过 Builder 你可以对线程的初始状态进行更多的控制,比如设置线程的名称、栈大大小等等。

pub fn start_one_thread_by_builder() {let builder = thread::Builder::new().name("foo".into()) // set thread name.stack_size(32 * 1024); // set stack sizelet handler = builder.spawn(|| {println!("Hello from a thread!");}).unwrap();handler.join().unwrap();
}

你可以通过 available_parallelism 获取当前的并发数
affinity (不支持 MacOS) crate 可以提供当前的 CPU 核数
更多的场景下,我们使用 num_cpus 获取 CPU 的核数(逻辑核)

(Rust 生态圈就是这样,有很多功能相同或者类似的 crate, 你可能需要花费时间进行评估和比较, 不像 Go 生态圈,优选标准库的包,如果没有,生态圈中一般会有一个或者几个高标准的大家公认的库可以使用。相对而言,Rust 生态圈就比较分裂, 这一点在选择异步运行时或者网络库的时候感受相当明显。)

sleep and park

有时候我们我们需要将当前的业务暂停一段时间,可能是某些条件不满足,比如实现spinlock, 或者是想定时的执行某些业务,如 cron 类的程序,这个时候我们可以调用thread::sleep 函数.
它至少保证当前线程 sleep 指定的时间。因为它会阻塞当前的线程,所以不要在异步的代码中调用它。如果时间设置为 0, 不同的平台处理是不一样的,Unix 类的平台会立即返回,不会调用 nanosleep 系统调用,而 Windows 平台总是会调用底层的 Sleep系统调用。如果你只是想让渡出时间片,你不用设置时间为 0,而是调用 yield_now 函数即可。
如果在休眠时间不确定的情况下,我们想让某个线程休眠,将来在某个事件发生之后,我们再主动的唤醒它,那么就可以使用我们前面介绍的 park 和 unpark 方法了。
一个线程只有一个令牌用来负责park和unpark

scoped thread

它可以借用 scope 外部的非 ‘static’ 数据。使用thread::scope 函数提供的 Scope 的参数,可以创建 (spawn) scoped thread。创建出来的 scoped thread 如果没有手工调用 join , 在这个函数返回前会自动 join 。

1 pub fn wrong_start_threads_without_scoped() {
2 let mut a = vec![1, 2, 3];
3 let mut x = 0;
4
5 thread::spawn(move || {
6 println!("hello from the first scoped thread");
7 dbg!(&a);
8 });
9 thread::spawn(move || {
10 println!("hello from the second scoped thread");
11 x += a[0] + a[2];
12 });
13 println!("hello from the main thread");
14
15 // After the scope, we can modify and access our variables again:
16 a.push(4);
17 assert_eq!(x, a.len());
18 }

上述代码无法编译,因为a被放入了许多个线程中。要知道所有权一旦交出去就无法再交给其他人了,东西已经送出去了。
如果你需要多次给到其他线程就需要进行scope thread

1 pub fn start_scoped_threads() {
2 let mut a = vec![1, 2, 3];
3 let mut x = 0;
5 thread::scope(|s| {
6		 s.spawn(|| {
7	 	println!("hello from the first scoped thread");
8 		dbg!(&a);
9		 });
10 		s.spawn(|| {
11	 	println!("hello from the second scoped thread");
12 		x += a[0] + a[2];
13		 });
14 		println!("hello from the main thread");
15 });
16
17 // After the scope, we can modify and access our variables again:
18 		a.push(4);
19 		assert_eq!(x, a.len());
20 }

因为我们对 a 只是读,对 x 只有单线程的写,所以不用考虑并发问题。thread::scope 返回后,两个线程已经执行完毕,所以外部的线程又可以访问变量了。
如果你希望启动一个线程但是又不希望交出数据的所有权,那么加上一个限制我单线程的去处理这个数据以避免并发的问题就可以实现启动线程却不交出所有权。

这篇关于【早晨读书会】深入理解rust并发编程的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/931593

相关文章

Rust 数据类型详解

《Rust数据类型详解》本文介绍了Rust编程语言中的标量类型和复合类型,标量类型包括整数、浮点数、布尔和字符,而复合类型则包括元组和数组,标量类型用于表示单个值,具有不同的表示和范围,本文介绍的非... 目录一、标量类型(Scalar Types)1. 整数类型(Integer Types)1.1 整数字

一文带你理解Python中import机制与importlib的妙用

《一文带你理解Python中import机制与importlib的妙用》在Python编程的世界里,import语句是开发者最常用的工具之一,它就像一把钥匙,打开了通往各种功能和库的大门,下面就跟随小... 目录一、python import机制概述1.1 import语句的基本用法1.2 模块缓存机制1.

深入理解C语言的void*

《深入理解C语言的void*》本文主要介绍了C语言的void*,包括它的任意性、编译器对void*的类型检查以及需要显式类型转换的规则,具有一定的参考价值,感兴趣的可以了解一下... 目录一、void* 的类型任意性二、编译器对 void* 的类型检查三、需要显式类型转换占用的字节四、总结一、void* 的

深入理解Redis大key的危害及解决方案

《深入理解Redis大key的危害及解决方案》本文主要介绍了深入理解Redis大key的危害及解决方案,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着... 目录一、背景二、什么是大key三、大key评价标准四、大key 产生的原因与场景五、大key影响与危

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中,规

Rust中的Option枚举快速入门教程

《Rust中的Option枚举快速入门教程》Rust中的Option枚举用于表示可能不存在的值,提供了多种方法来处理这些值,避免了空指针异常,文章介绍了Option的定义、常见方法、使用场景以及注意事... 目录引言Option介绍Option的常见方法Option使用场景场景一:函数返回可能不存在的值场景

C#反射编程之GetConstructor()方法解读

《C#反射编程之GetConstructor()方法解读》C#中Type类的GetConstructor()方法用于获取指定类型的构造函数,该方法有多个重载版本,可以根据不同的参数获取不同特性的构造函... 目录C# GetConstructor()方法有4个重载以GetConstructor(Type[]

【前端学习】AntV G6-08 深入图形与图形分组、自定义节点、节点动画(下)

【课程链接】 AntV G6:深入图形与图形分组、自定义节点、节点动画(下)_哔哩哔哩_bilibili 本章十吾老师讲解了一个复杂的自定义节点中,应该怎样去计算和绘制图形,如何给一个图形制作不间断的动画,以及在鼠标事件之后产生动画。(有点难,需要好好理解) <!DOCTYPE html><html><head><meta charset="UTF-8"><title>06

认识、理解、分类——acm之搜索

普通搜索方法有两种:1、广度优先搜索;2、深度优先搜索; 更多搜索方法: 3、双向广度优先搜索; 4、启发式搜索(包括A*算法等); 搜索通常会用到的知识点:状态压缩(位压缩,利用hash思想压缩)。

深入探索协同过滤:从原理到推荐模块案例

文章目录 前言一、协同过滤1. 基于用户的协同过滤(UserCF)2. 基于物品的协同过滤(ItemCF)3. 相似度计算方法 二、相似度计算方法1. 欧氏距离2. 皮尔逊相关系数3. 杰卡德相似系数4. 余弦相似度 三、推荐模块案例1.基于文章的协同过滤推荐功能2.基于用户的协同过滤推荐功能 前言     在信息过载的时代,推荐系统成为连接用户与内容的桥梁。本文聚焦于