Rust循环引用与多线程并发

循环引用与自引用

循环引用的概念

循环引用指的是两个或多个对象之间相互持有对方的引用。在 Rust 中,由于所有权和生命周期的严格约束,直接创建循环引用通常会导致编译失败。例如:

// 错误的循环引用示例
struct Node {next: Option<Box<Node>>,
}fn create_cycle() {let n1 = Box::new(Node { next: None });let n2 = Box::new(Node { next: Some(n1) }); // 编译错误n1.next = Some(n2); // 编译错误
}

在这个例子中,尝试创建一个简单的双向链表,但由于所有权转移问题,编译器会报错。

自引用结构体的实现

自引用结构体是指一个结构体内部包含对自身实例的引用。这种结构常用于实现树形数据结构或其他需要递归引用的场景。

use std::rc::{Rc, Weak};struct Node {value: i32,parent: Option<Weak<Rc<Node>>>,children: Vec<Rc<Node>>,
}impl Node {fn new(value: i32) -> Self {Node {value,parent: None,children: Vec::new(),}}fn add_child(&mut self, child: Rc<Node>) {self.children.push(child.clone());child.parent = Some(Rc::downgrade(&self));}
}

使用 Rc 和 Weak 解决循环引用

为了处理循环引用问题,Rust 提供了 Rc 和 Weak 两种类型:

  • Rc<T>: 引用计数类型,允许多个所有者。
  • Weak<T>: 对应于 Rc<T> 的弱引用版本,不会增加引用计数。

通过使用 Weak 可以打破循环引用,因为 Weak 不会增加其指向的对象的引用计数。

生命周期注解的应用

在 Rust 中,生命周期注解可以帮助编译器更好地理解引用之间的关系。特别是在自引用和循环引用的情况下,生命周期注解尤为重要。

// 定义一个带有生命周期注解的函数
fn process_node<'a>(node: &'a Node) {println!("Processing node with value: {}", node.value);// 访问子节点for child in &node.children {process_node(child); // 递归处理子节点}
}// 使用生命周期注解的结构体方法
impl<'a> Node {fn traverse<'b>(&'a self, visitor: &dyn Fn(&'b Node)) {visitor(self);for child in &self.children {child.traverse(visitor);}}
}

实际代码示例与分析

下面是一个完整的示例,展示了如何创建并操作自引用结构体:

use std::rc::{Rc, Weak};struct Node {value: i32,parent: Option<Weak<Rc<Node>>>,children: Vec<Rc<Node>>,
}impl Node {fn new(value: i32) -> Self {Node {value,parent: None,children: Vec::new(),}}fn add_child(&mut self, child: Rc<Node>) {self.children.push(child.clone());child.parent = Some(Rc::downgrade(&self));}
}fn main() {let root = Rc::new(Node::new(0));let child1 = Rc::new(Node::new(1));let child2 = Rc::new(Node::new(2));root.add_child(child1.clone());root.add_child(child2.clone());println!("Root has {} children", root.children.len());// 访问子节点的父节点if let Some(parent) = child1.parent {if let Some(p) = parent.upgrade() {println!("Child 1's parent is {}", p.value);}}// 遍历树结构root.traverse(&|node| println!("Visiting node with value: {}", node.value));
}

定义 Node 结构:

  • value: 节点存储的值。
  • parent: 父节点的弱引用,初始为 None。
  • children: 一个向量,存储子节点的强引用。

创建新节点:

  • new 方法初始化一个新的 Node 实例,此时没有父节点也没有子节点。

添加子节点:

  • add_child 方法接收一个 Rc<Node> 类型的参数作为子节点。
  • 将子节点添加到当前节点的 children 向量中。
  • 更新子节点的 parent 字段,使用 Rc::downgrade 转换为 Weak 引用。

遍历树结构:

  • traverse 方法使用生命周期注解,递归地遍历整个树结构。

多线程并发

并发与并行概述

  • 并发 (Concurrency): 多个任务可以在同一时间间隔内执行,但不一定在同一时刻执行。
  • 并行 (Parallelism): 多个任务在同一时刻执行,通常涉及硬件支持。

在 Rust 中,可以通过多线程实现并发,而并行则依赖于多核处理器的支持。

使用多线程

在 Rust 中,可以使用标准库中的 std::thread 模块来创建和管理线程。

创建线程

use std::thread;
use std::time::Duration;fn spawn_thread() {thread::spawn(|| {for i in 1..10 {println!("Thread spawned: {}", i);thread::sleep(Duration::from_millis(1));}});for i in 1..5 {println!("Main thread: {}", i);thread::sleep(Duration::from_millis(1));}
}fn main() {spawn_thread();
}

线程同步:消息传递

在 Rust 中,消息传递是一种常见的线程间通信方式。常用的工具包括 std::sync::mpsc 模块中的通道 (channel)。

使用通道

use std::sync::mpsc;
use std::thread;fn send_messages() {let (tx, rx) = mpsc::channel();thread::spawn(move || {let val = String::from("Hello from the other side!");tx.send(val).unwrap();});let received = rx.recv().unwrap();println!("Got: {}", received);
}fn main() {send_messages();
}

线程同步:锁

Rust 标准库提供了多种锁机制,如 Mutex、RwLock 和 Arc。

使用 Mutex

use std::sync::Mutex;
use std::thread;fn lock_data() {let counter = Mutex::new(0);let mut handles = vec![];for _ in 0..10 {let counter = Mutex::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!("Counter: {}", *counter.lock().unwrap());
}fn main() {lock_data();
}

使用 RwLock

use std::sync::RwLock;
use std::thread;fn read_write_lock() {let data = RwLock::new(String::from("Hello"));let mut handles = vec![];for _ in 0..10 {let data = RwLock::clone(&data);let handle = thread::spawn(move || {let mut d = data.write().unwrap();*d += "!";});handles.push(handle);}for handle in handles {handle.join().unwrap();}println!("Data: {}", *data.read().unwrap());
}fn main() {read_write_lock();
}

线程同步:条件变量和信号量

Rust 标准库提供了 Condvar 和 Semaphore 等高级同步原语。

使用 Condvar

use std::sync::{Arc, Condvar, Mutex};
use std::thread;fn condition_variable() {let pair = Arc::new((Mutex::new(false), Condvar::new()));let pair_clone = Arc::clone(&pair);thread::spawn(move || {let (lock, cvar) = &*pair;let mut started = lock.lock().unwrap();*started = true;cvar.notify_one();});let (lock, cvar) = &*pair;let mut started = lock.lock().unwrap();while !*started {started = cvar.wait(started).unwrap();}println!("Condition variable signaled!");
}fn main() {condition_variable();
}

使用 Semaphore

use std::sync::Semaphore;
use std::thread;fn semaphore_example() {let sem = Semaphore::new(3);let mut handles = vec![];for _ in 0..5 {let sem = sem.clone();let handle = thread::spawn(move || {sem.acquire().unwrap();println!("Acquired semaphore");thread::sleep(std::time::Duration::from_secs(1));sem.release();});handles.push(handle);}for handle in handles {handle.join().unwrap();}
}fn main() {semaphore_example();
}

线程同步:原子操作与内存顺序

Rust 标准库提供了 std::sync::atomic 模块,用于原子操作和内存顺序控制。

原子操作

use std::sync::atomic::{AtomicUsize, Ordering};fn atomic_operations() {let counter = AtomicUsize::new(0);let mut handles = vec![];for _ in 0..10 {let counter = counter.clone();let handle = thread::spawn(move || {counter.fetch_add(1, Ordering::Relaxed);});handles.push(handle);}for handle in handles {handle.join().unwrap();}println!("Counter: {}", counter.load(Ordering::Relaxed));
}fn main() {atomic_operations();
}

内存顺序

use std::sync::atomic::{AtomicUsize, Ordering};fn memory_ordering() {let flag = AtomicUsize::new(0);let data = AtomicUsize::new(0);let mut handles = vec![];let flag_clone = flag.clone();let data_clone = data.clone();let handle1 = thread::spawn(move || {flag_clone.store(1, Ordering::Release);data_clone.store(42, Ordering::Relaxed);});let flag_clone = flag.clone();let data_clone = data.clone();let handle2 = thread::spawn(move || {while flag_clone.load(Ordering::Acquire) == 0 {}assert_eq!(data_clone.load(Ordering::Relaxed), 42);});handles.push(handle1);handles.push(handle2);for handle in handles {handle.join().unwrap();}println!("Memory ordering example completed.");
}fn main() {memory_ordering();
}

基于 Send 和 Sync 的线程安全

在 Rust 中,Send 和 Sync 是两个重要的类型约束,用于确保数据在线程间安全传递。

Send 约束

use std::thread;fn send_constraint() {struct NotSend(u8);impl NotSend {fn new() -> Self {NotSend(0)}}// NotSend 类型不能在线程间传递// let handle = thread::spawn(move || {//     println!("NotSend value: {}", NotSend::new().0);// });// 正确的示例let handle = thread::spawn(|| {println!("Send value: {}", 42);});handle.join().unwrap();
}fn main() {send_constraint();
}

Sync 约束

use std::sync::Arc;
use std::thread;fn sync_constraint() {struct NotSync(u8);impl NotSync {fn new() -> Self {NotSync(0)}}// NotSync 类型不能在线程间共享// let shared = NotSync::new();// let handle = thread::spawn(move || {//     println!("NotSync value: {}", shared.0);// });// 正确的示例let shared = Arc::new(42);let handle = thread::spawn(move || {println!("Sync value: {}", shared);});handle.join().unwrap();
}fn main() {sync_constraint();
}

文章到此结束,更多相关的信息,请,https://t.me/gtokentool
 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/888253.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

ambari metrics单机模式改成集群模式

最近碰到了ambari平台ambari metrics相关的lib较大&#xff0c;导致系统盘使用率较高。今天对这个组件进行转移到其他磁盘使用率低的服务器上&#xff0c;在安装好metrice collector组件后&#xff0c;发现启动时一直报如下错误。 通过报错可以定位到&#xff0c;该组件的模式是…

langchain实现基于sql的问答

1. 数据准备 import requestsurl "https://storage.googleapis.com/benchmarks-artifacts/chinook/Chinook.db"response requests.get(url)if response.status_code 200:# Open a local file in binary write modewith open("Chinook.db", "wb&qu…

安全关系型数据库查询新选择:Rust 语言的 rust-query 库深度解析

在当今这个数据驱动的时代&#xff0c;数据库作为信息存储和检索的核心组件&#xff0c;其重要性不言而喻。然而&#xff0c;对于开发者而言&#xff0c;如何在保证数据安全的前提下&#xff0c;高效地进行数据库操作却是一项挑战。传统的 SQL 查询虽然强大&#xff0c;但存在诸…

VSCode中“Run Code”运行程序时,终端出现中文乱码解决方法

问题描述 在VSCode中“Run Code”运行程序时&#xff0c;终端输出结果出现中文乱码现象&#xff1a; 解决方法 1. 检查系统cmd的默认编码 查看Windows终端当前编码方式的命令&#xff1a; chcp输出结果是一段数字代码&#xff0c;如936&#xff0c;这说明当前的cmd编码方式…

【Python】ASCII-generator 将图像、文本或视频转换为 ASCII 艺术 生成字符图(测试代码)

目录 预览效果安装环境报错分析基本例程总结 欢迎关注 『Python』 系列&#xff0c;持续更新中 欢迎关注 『Python』 系列&#xff0c;持续更新中 预览效果 原图 黑白图 彩色图 安装环境 拉取代码 https://github.com/vietnh1009/ASCII-generatorpython3.8 pip install…

Qt桌面应用开发 第十天(综合项目二 翻金币)

目录 1.主场景搭建 1.1重载绘制事件&#xff0c;绘制背景图和标题图片 1.2设置窗口标题&#xff0c;大小&#xff0c;图片 1.3退出按钮对应关闭窗口&#xff0c;连接信号 2.开始按钮创建 2.1封装MyPushButton类 2.2加载按钮上的图片 3.开始按钮跳跃效果 3.1按钮向上跳…

【maven-4】IDEA 配置本地 Maven 及如何使用 Maven 创建 Java 工程

IntelliJ IDEA&#xff08;以下简称 IDEA&#xff09;是一款功能强大的集成开发环境&#xff0c;广泛应用于 Java 开发。下面将详细介绍如何在 IDEA 中配置本地 Maven&#xff0c;并创建一个 Maven Java 工程&#xff0c;快速上手并高效使用 Maven 进行 Java 开发。 1. Maven …

利用Ubuntu批量下载modis图像(New)

由于最近modis原来批量下载的代码不再直接给出&#xff0c;因此&#xff0c;再次梳理如何利用Ubuntu下载modis数据。 之前的下载代码为十分长&#xff0c;现在只给出一部分&#xff0c;需要自己再补充另一部分。之前的为&#xff1a; 感谢郭师兄的指导&#xff08;https://blo…

vue3图片报错转换为空白不显示的方法

vue3图片报错转换为空白不显示的方法 直接上代码&#xff1a; <el-table-column label"领料人" align"center"><template #default"scope"><el-imagev-if"scope.row.receiver":src"scope.row.receiver"style…

混沌工程/混沌测试/云原生测试/云平台测试

背景 私有云/公有云/混合云等具有复杂&#xff0c;分布式&#xff0c;环境多样性等特点&#xff0c;许多特殊场景引发的线上问题很难被有效发现。所以需要引入混沌工程&#xff0c;建立对系统抵御生产环境中失控条件的能力以及信心&#xff0c;提高系统面对未知风险得能力。 …

C++之 String 类的模拟实现

本文只简述string类模拟实现的重点&#xff0c;其余不再过多赘述 一、模拟实现string类的构造函数 本文主要实现下图两个构造函数&#xff0c;即string()和string(const string& str) 而关于string的底层&#xff0c;其实就是数组&#xff0c;在物理逻辑上是连续的空间&am…

数据结构基础之《(9)—归并排序》

一、什么是归并排序 1、整体是递归&#xff0c;左边排好序右边排好序merge让整体有序 2、让其整体有序的过程里用了排外序方法 3、利用master公式来求解时间复杂度 4、当然可以用非递归实现 二、归并排序说明 1、首先有一个f函数 void f(arr, L, R) 说明&#xff1a;在arr上…

UIE与ERNIE-Layout:智能视频问答任务初探

内容来自百度飞桨ai社区UIE与ERNIE-Layout&#xff1a;智能视频问答任务初探&#xff1a; 如有侵权&#xff0c;请联系删除 1 环境准备 In [2] # 安装依赖库 !pip install paddlenlp --upgrade !pip install paddleocr --upgrade !pip install paddlespeech --upgrade In …

[代码随想录06]哈希表的使用,有效字母异位词,两数组交集,快乐数,两数之和

前言 哈希表是什么&#xff1f;一句话带你理解&#xff0c;简单来说我们对于杂乱的数据&#xff0c;怎么快速找到数据&#xff0c;如何做呢&#xff1f;一般的做法就是遍历复杂度为o(N)去找寻一个数据&#xff0c;但是吧&#xff0c;我们这样思考的话&#xff0c;还是花了大量时…

三维路径规划|基于黑翅鸢BKA优化算法的三维路径规划Matlab程序

三维路径规划|基于黑翅鸢BKA优化算法的三维路径规划Matlab程序 文章目录 前言三维路径规划|基于黑翅鸢BKA优化算法的三维路径规划Matlab程序基于黑翅鸢BKA优化算法的三维路径规划一、研究基本原理二、黑翅鸢BKA优化算法的基本步骤&#xff1a;三、详细流程四、总结 二、实验结果…

【问题】webdriver.Chrome()设置参数executable_path报不存在

场景1: 标红报错unresolved reference executable_path 场景2: 执行报错TypeError: __init__() got an unexpected keyword argument executable_path 原因&#xff1a; 上述两种场景是因为selenium4开始不再支持某些初始化参数。比如executable_path 解决&#xff1a; 方案…

Java - JSR223规范解读_在JVM上实现多语言支持

文章目录 1. 概述2. 核心目标3. 支持的脚本语言4. 主要接口5. 脚本引擎的使用执行JavaScript脚本执行groovy脚本1. Groovy简介2. Groovy脚本示例3. 如何在Java中集成 Groovy4. 集成注意事项 6. 与Java集成7. 常见应用场景8. 优缺点9. 总结 1. 概述 JSR223&#xff08;Java Spe…

无序抓取系列(一)

文章目录 一 摘要 二 资源 三 内容 一 摘要 最近&#xff0c;已经提出了许多抓取检测方法&#xff0c;这些方法可用于直接从传感器数据中定位机器人抓取配置&#xff0c;而无需估计物体姿态。其基本思想是将抓握感知视作计算机视觉中的对象检测。这些方法将噪声和部分遮挡的…

论文阅读:Deep divergence-based approach to clustering

论文地址&#xff1a;main.pdf (sciencedirectassets.com) 摘要 深度学习研究中的一个有前景的方向是通过优化判别损失函数&#xff0c;学习表示并同时发现无标签数据中的聚类结构。与监督式深度学习不同&#xff0c;这一研究方向尚处于起步阶段&#xff0c;如何设计和优化合适…

关于单片机的原理与应用!

成长路上不孤单&#x1f60a;&#x1f60a;&#x1f60a;&#x1f60a;&#x1f60a;&#x1f60a; 【14后&#x1f60a;///计算机爱好者&#x1f60a;///目前正在学习C&#x1f60a;///持续分享所学&#x1f60a;///如有需要欢迎收藏转发///&#x1f60a;】 今日分享关于单片…