rust嵌入式开发之基于await构造应用级临界区

2024-04-14 06:44

本文主要是介绍rust嵌入式开发之基于await构造应用级临界区,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

在rust嵌入式开发之await一文中我们讨论了如何用await来实现异步操作的串行化。而并发编程时还有一个更重要的问题需要我们解决:资源竞争。

针对并发时的资源竞争,最简单的办法就是利用系统提供的临界区机制来互斥的使用资源。嵌入式rust提供了critical-section来提供临界区的原语,同时在cortex-m这样的crate中都加以了实现。

嵌入式的临界区有几种实现方式:

  • 单核无系统,关闭中断
  • 多核无系统,关闭中断加核心间的硬件自旋锁
  • ROTS,由系统以库函数/系统调用的方式提供

可以看到,临界区必须在硬件/或控制了硬件的系统【如rust的tock、c的rt-thread等】的支持下实现。如果没有系统,就只能通过关中断来实现互斥访问。

Embassy目前还只是一个有限的运行时,还不是一个ROTS,提供不了系统级的临界区。这就导致在用Embassy开发时,在需要用临界区解决资源竞争时必须快进快出,而无法用在串行化交互这种需要长期持有资源的场景中了,如通过RS485总线同时管理多台设备。

针对这个问题,笔者就考虑如何在应用层面提供不需要关中断就可以实现临界区保护的互斥锁。实质上,就是基于Embassy运行时来实现应用层面的互斥锁。

锁协议

嵌入式的应用场景比较简单,所以直接借鉴java的synchronized语义,即对象级的读写互斥锁,不支持共享读。其实,就嵌入式的应用来说,过于复杂的锁协议也没啥必要,属于过渡设计了。

此外,由于rust稳定版尚不支持异步闭包,所以锁的申请与释放必须分开。当然,对于FnOnce的闭包可以提供with来简化,但由于我们设计互斥锁的目的主要是用于异步串行化的资源长期持有,所以with语句用途有限。

所以呢,可长期持有的互斥锁的锁协议为:

  • 一个数据对象【代表一个资源】用一个可长期持有的锁来提供互斥性的临界区保护
  • 可长期持有的锁,应该有可配置的超时间隔
  • 可长期持有的锁允许竞争性申请,申请到锁的任务方可操作对应的受保护资源
  • 未申请到锁的任务应等待直至超时退出锁的竞争
  • 申请到锁的任务操作完毕后,应主动释放锁
  • 当锁释放时,如果有等待的任务,从中挑选一个授予锁

在锁的持有期内,完全可以执行各种await操作。

实现

由于笔者写的项目为商业项目,无法直接贴出源码,所以我们主要讨论原理并辅以说明性的伪码。

实现原理非常简单:

1、主要依托上篇文章讨论过的await机制,以Embassy运行时为基础来实现锁的超时与竞争调度

2、利用Embassy/嵌入式rust所提供的CriticalSectionRawMutex来保护对锁本身的操作,避免锁操作期间的再入问题

锁对象本身的定义非常简单:

pub struct Lock {//锁的内部数据,主要包括两个部分://1、前篇文章中所提到的用于awake机制的waker等任务调度信息数据//2、竞争锁的排队数据,我是用BTreeMap来管理排队inner: _Lock,//由于锁的申请存在竞争,所以这两类锁的内部数据也是需要保护的,我用了CriticalSectionRawMutex//其可以提供跨线程的保护,也就是可以在中断中一样使用,在我使用的STM32F413芯片中其实就是关中断//所以所有的锁操作必须快进快出,要求尽可能的简短lock: Mutex<CriticalSectionRawMutex, bool>,
}

主要用来提供锁接口并实现对锁对象本身的互斥操作。

_Lock是锁实体,其主要提供对申请锁Future的管理,包括当前持有锁的Future、Future的ID管理以及所有申请锁的请求者队列管理。这些功能都很常规,我们无需赘述。

对_Lock的操作需要用CriticalSectionRawMutex进行保护,以避免再入。

申请锁的Future的poll函数示意如下:

fn poll(mut self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output> {let id = self.id;//首先检查自己能否在竞争中获胜赢得锁if self.lock.check(id) {//竞争获胜Poll::Ready(LockCode::OK(id))}else if !self.polled {//第一次参加竞争,但失败了,需要准备waker,并设置超时。可参考上篇文章self.polled = true;let w: &core::task::Waker = cx.waker();self.waker = Some(w.clone());embassy_time_queue_driver::schedule_wake(self.expires_at.as_ticks(), w);Poll::Pending}else if self.expires_at <= Instant::now() {//超时了self.lock.remove(id);Poll::Ready(LockCode::Timeout)}else{//理论上执行不到,只是总得有个返回值Poll::Pending}
}

我们再看一下锁的check函数的竞争逻辑:

fn check(&self, id: u64) -> bool {//锁对象的操作需要用CriticalSectionRawMutex进行保护以避免再入self.lock(|p|{if p.current == id {//被唤醒并进行检查的Future,就是锁的持有者true}else if p.current == 0 {//锁目前没有人持有,所以立刻将锁变更为自己持有p.current = id;true}else{false}})
}

大家在编写Future的poll函数时必须牢记:一个waker只会执行一次

Waker的wake函数会自动删除自己:

// Don't call `drop` -- the waker will be consumed by `wake`.
crate::mem::forget(self);

所以我在这里所写的poll函数最多有两次执行机会:

  • Future创建后被第一次调度执行poll函数,此时如果锁没有持有者,则本Future将获得锁,此时就执行一次
  • 如果锁已经被其它Future持有,本Future就将被安排等待,这是第一次执行
  • 等待中的Future有两种可能被wake【超时、或锁被释放后自己被选中】,这是第二次执行

大家再看下poll函数,就会发现有一种状态是可以执行第三次的啊,即:check失败 + 已经poll过了 + 未超时。但这种情况我们必须避免出现。因为waker只能执行一次,如果出现这样的情况,这个Future将因为再无法被wake,而永远沉睡在系统任务队列中了。所以我们就需要设法防止这种状态的出现。

因此,在某Future被选中唤醒时,锁管理就会将锁先行授予该Future。即:

if let Some(w) = &n.waker {//这使得被wake后执行poll函数的check时,直接命中【p.current == id】而poll成功pb.current = n.id;w.clone().wake();
}

最后,获得锁后必须显式释放:

//获得锁对象,嵌入式比较简单,可以直接用静态的对象,但由于并发,所获得的锁对象不能是&mut
//这就要求锁的操作都不能是&mut self,而必须是&'self,这就是我们为什么需要外封装的原因
let lo = get_lock_...锁名...();
//竞争锁,10秒超时
let (rc, id, rd) = lo.wait(Duration::from_secs(10)).await;
if rc {if let Some(md) = rd {//在我的实现中,锁和待保护对象进行了泛型化的融合,md就是取到的数据对象...md是&mut的,所以可以进行修改等所有需要的操作...//还可以执行各种异步操作Timer::after_millis(1300).await;//必须显式释放锁,获取失败的id是0,即便调用release也无效lo.release(id);}
}else{//超时,可以在此执行容错处理
}
结语

以上,我们就获得了一个轻便而可靠的应用级的临界区互斥锁。

有了锁,我们就可以根据需要来对静态数据、融入泛型结构中提供数据保护了。

这篇关于rust嵌入式开发之基于await构造应用级临界区的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

基于Python开发电脑定时关机工具

《基于Python开发电脑定时关机工具》这篇文章主要为大家详细介绍了如何基于Python开发一个电脑定时关机工具,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录1. 简介2. 运行效果3. 相关源码1. 简介这个程序就像一个“忠实的管家”,帮你按时关掉电脑,而且全程不需要你多做

Rust 数据类型详解

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

Java中的Opencv简介与开发环境部署方法

《Java中的Opencv简介与开发环境部署方法》OpenCV是一个开源的计算机视觉和图像处理库,提供了丰富的图像处理算法和工具,它支持多种图像处理和计算机视觉算法,可以用于物体识别与跟踪、图像分割与... 目录1.Opencv简介Opencv的应用2.Java使用OpenCV进行图像操作opencv安装j

将Python应用部署到生产环境的小技巧分享

《将Python应用部署到生产环境的小技巧分享》文章主要讲述了在将Python应用程序部署到生产环境之前,需要进行的准备工作和最佳实践,包括心态调整、代码审查、测试覆盖率提升、配置文件优化、日志记录完... 目录部署前夜:从开发到生产的心理准备与检查清单环境搭建:打造稳固的应用运行平台自动化流水线:让部署像

Linux中Curl参数详解实践应用

《Linux中Curl参数详解实践应用》在现代网络开发和运维工作中,curl命令是一个不可或缺的工具,它是一个利用URL语法在命令行下工作的文件传输工具,支持多种协议,如HTTP、HTTPS、FTP等... 目录引言一、基础请求参数1. -X 或 --request2. -d 或 --data3. -H 或

在Ubuntu上部署SpringBoot应用的操作步骤

《在Ubuntu上部署SpringBoot应用的操作步骤》随着云计算和容器化技术的普及,Linux服务器已成为部署Web应用程序的主流平台之一,Java作为一种跨平台的编程语言,具有广泛的应用场景,本... 目录一、部署准备二、安装 Java 环境1. 安装 JDK2. 验证 Java 安装三、安装 mys

Python中构建终端应用界面利器Blessed模块的使用

《Python中构建终端应用界面利器Blessed模块的使用》Blessed库作为一个轻量级且功能强大的解决方案,开始在开发者中赢得口碑,今天,我们就一起来探索一下它是如何让终端UI开发变得轻松而高... 目录一、安装与配置:简单、快速、无障碍二、基本功能:从彩色文本到动态交互1. 显示基本内容2. 创建链

基于Qt开发一个简单的OFD阅读器

《基于Qt开发一个简单的OFD阅读器》这篇文章主要为大家详细介绍了如何使用Qt框架开发一个功能强大且性能优异的OFD阅读器,文中的示例代码讲解详细,有需要的小伙伴可以参考一下... 目录摘要引言一、OFD文件格式解析二、文档结构解析三、页面渲染四、用户交互五、性能优化六、示例代码七、未来发展方向八、结论摘要

Node.js 中 http 模块的深度剖析与实战应用小结

《Node.js中http模块的深度剖析与实战应用小结》本文详细介绍了Node.js中的http模块,从创建HTTP服务器、处理请求与响应,到获取请求参数,每个环节都通过代码示例进行解析,旨在帮... 目录Node.js 中 http 模块的深度剖析与实战应用一、引言二、创建 HTTP 服务器:基石搭建(一

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

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