RTOS 中 Task 之间资源共享示例

2023-05-16

RTOS 中 Task 之间资源共享示例

什么是共享资源

大型项目往往需要创建多个任务,任务之间协同合作完成一个大型的功能。在前述的章节中,我们讲述了任务间的同步与通信,但合作与竞争总是相辅相成的。任务、中断之间除同步与通信外,还存在资源竞争。

共享资源:能够同时被两个以上的**并发程序(包括任务和中断)**使用的全局变量、外设、内存块等,称为共享资源。

对共享资源资源进行保护,以避免不同任务、中断之间能够正常访问共享资源的措施称为**”共享资源的同步“或者”共享资源保护“**。其是”同步“和”保护” 的意思大致相同,同步的目的是为了保护共享资源的正常使用。

以串口为例,若设备只有一个串口,则任务 A 正在使用串口时,任务B就不能使用串口。若两者不加限制的使用串口,则串口输出的数据就会出现乱序,系统功能就会出现混乱。

为了解决这个问题,通常需要规范任务共享资源(如示例中的串口)时的使用方法,最简单的方法是规范任务A、任务B使用串口的顺序,也可以使用先申请再使用的机制避免同时操作串口时的资源冲突问题。然而,在实际使用过程中,由于任务调度的复杂性,我们很难提前预测一些共享资源在什么时候会发生竞争冲突,为了保证在使用这些共享资源时的安全性,写出健壮的代码,我们将在接下来的课程中总结在 Task 之间出现共享资源保护的策略,解决共享资源访问时的冲突问题。

为什么要对共享资源添加保护

最简单的共享资源示例是任务之间共享变量,这可能很简单,但很具备代表性,这个变量在实际中可能是多个软件实体,如上诉示例的串口等。

共享资源需要添加保护的底层原因是:

1)对共享资源的操作实际是多条底层语句完成的。

2)如前述在 RTOS 中的任务调度与三种任务模型讲述的,RTOS 支持中断、高优先级的任务抢占内核后优先运行。

以最简单的算术运算 a = a + 1为例子,其在底层的代码中运行的逻辑如下:

1)拷贝 a 的值到临时寄存器1中
2)使用计算指令计算寄存器1中的值 + 1 的结果,并把结果存储到寄存器2中
3)将寄存器2中的最终结果拷贝到 a 对应的存储区域。

若任务1、任务2同时对变量 a 分别执行减一、加一操作,则对于使用该变量 a 的任务可能出现最终结果为 0 或者 2 的错误,在第三步拷贝的时候,两者会出现竞争导致数据的正确性出现问题:
在这里插入图片描述

同样,共享资源的完整性在并发程序中一样面临威胁。以一个代表时钟数据的全局变量为例,若一个任务负责刷新该变量的值,一个变量使用该值进行显示的屏幕上的操作,则可能出现下面的问题:

typedef struct {
    uint32_t minute; // 分钟
    uint32_t hour; // 时
} capture_counter_t;

在这里插入图片描述
如图所示若原先的时间为 1:59,在更新时间实现进位操作时,若被其他任务、中段打断,则使用该时间的任务会显示1:00,即 minute 已经完成刷新,但hour 还没刷新,这比应该显示的正常时间 2:00,整整少了一个小时。

因此,一些共享的数据必须添加保护措施,其正确性、完整性才能得到保证。

示例解析

一个全局变量,一个任务对其进行加一,同时另一个任务对其进行减1,则该全局变量最终的值是不变吗?

与上述刷新时钟的值类似,提取一个数据的最高位时,若结构体内的部分数据未一起更新,会引起该结构体内数据完整性遭到破坏的问题。

示例输出:

share_counter = 0
cap_counter.counter = 4, ten_place = 0
share_counter = 0
cap_counter.counter = 8, ten_place = 0
share_counter = 4294967295
cap_counter.counter = 16, ten_place = 1
share_counter = 4294967295
cap_counter.counter = 24, ten_place = 2
share_counter = 4294967294
cap_counter.counter = 32, ten_place = 2
share_counter = 4294967294
cap_counter.counter = 40, ten_place = 3
share_counter = 4294967293
cap_counter.counter = 44, ten_place = 4
share_counter = 4294967293
cap_counter.counter = 52, ten_place = 4

如上述 log 显示,数据的准确性被破坏了,尽管两个任务一个给共享数据 share_counter 加1,一个给其减去1,但它的值并不总是0。结构体 cap_counter 的数值在已经为 32 时,提取出的十位数字竟然是 2,可见,该数据的完整性被破坏了。

讨论

1)全局变量一定是共享资源吗?

非也,共享与否主要取决于是否被多个并发程序访问,那些仅被一个任务或中断使用的全局变量不是共享资源。

2)所有共享资源都必须进行资源保护措施吗?

非也,一些共享资源是只读的,即不存在一个任务正在读的时候,该资源的内容发生改变的情况。则这类只读的共享资源是不必添加保护措施的。其是需要保护的主要是那些动态的共享资源。

3)读取数据时一定不需要进行资源保护吗?

很多初学者,认为仅当一个对象存在多个写入的并发程序时才需要保护,在读取对象(使用对象)的情况下完全不需要保护。这显然也是错误的。仍以上述显示时钟的示例为例,在显示时间的任务获取系统时间时,仍旧存在仅获取了分钟,就被打断的情况。即原先是 1:59,已经获取了minute = 59,此时被更新时间的中断打断获取hour = 1,在中断响应结束后,hour 进位,此时时间变成了2:00。显示任务此时取获取 hour = 2。最终显示的时间会是:2:59,数据的完整性还是被破坏了。这种情况下,不仅仅是更新系统时间的任务、中断需要添加保护,就连获取系统时间的任务也需要添加保护,才能保证数据的完整性。

4)什么情况下容易出现对共享数据的竞争?

  • 任务的时间片用完。比如同优先级任务共享一个时间片的情况。
  • 发生抢占。高优先级任务、中断(中断的优先级比任何任务都高,无条件抢占任务的运行权)就绪。
  • 任务发生延时、阻塞。任务在处理一部分数据时因延时或申请资源失败而被迫让处 CPU 使用权的情况。

5)对共享资源添加保护的核心思想是什么?

尽可能影响小(对系统实时性、其他任务、中断)的情况下,实现资源在一定时间的独占。即关键部分在一定的时间范围内只有一个对象(任务或中断)可以访问。我们将在后续的章节中详细介绍这点。

总结

1)能够同时被两个以上的**并发程序(包括任务和中断)**使用的全局变量、外设、内存块等,称为共享资源。识别哪些部分是共享资源是很重要的,这是下述章节的起点。

2)共享资源需要添加必要的措施保证其准确性、完整性。

3)共享资源需要添加保护的底层原因是对共享资源的操作实际是分步骤完成的,并且 RTOS 支持中断、高优先级的任务抢占内核后优先运行。

4)共享资源添加保护的核心思想是尽可能影响小的情况下,实现资源在一定时间的独占。

小伙伴们务必了解上述知识,了解实现资源保护的必要性,我们将在下述章节讲述任务与任务、任务与中断、中断与中断之间如何实现共享资源的保护。

资源链接

1)Learning-FreeRTOS-with-esp32 系列博客介绍
2)对应示例的 code 链接 (点击直达代码仓库)

3)下一篇:通过临界区实现 RTOS 中任务之间共享资源的保护

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

RTOS 中 Task 之间资源共享示例 的相关文章

  • 为什么多个等待像 Task.WhenAll() 一样花费相同的时间

    据我了解 当您有任务列表时 建议使用await Task WhenAll 超过多个await 由于这样的方式Task WhenAll 处理异常 然而 根据我对 async await 工作方式的理解 我想知道为什么下面的代码块具有相同的执行
  • 为什么我的 Spark 工作中有这么多任务?默认获取 200 个任务

    我有一个 Spark 作业 它从 hdfs 获取一个包含 8 条记录的文件 进行简单的聚合并将其保存回 hdfs 我注意到当我这样做时有数百个任务 我也不确定为什么有多个工作 我认为工作更像是一个动作发生的时候 我可以推测原因 但我的理解是
  • 如何通过 async/await 找到哪个方法“挂起”?

    在 旧 时代 跟踪哪个方法挂起非常容易 只需转到调试器 点击 暂停 按钮并查看堆栈跟踪即可 然而 现在 如果问题出在异步方法中 则这种方法不起作用 因为要执行的下一段代码被埋在延续任务中的某个地方 从技术上讲 它甚至不会挂起 有没有办法这样
  • 在 C++/CLI 中使用 .NET (3.5) 任务并行库

    好吧 我下载了 Reactive Extensions for NET 3 5 以便在 Visual Studio 2008 中通过 c cli 使用它 但所有任务并行库示例都是用 C 编写的 我什至无法弄清楚将简单的 C 语句转换为 C
  • 有没有正确的方法来取消异步任务?

    我遇到了如何正确取消异步任务的问题 这是一些草稿 我的入口点运行两个异步任务 第一个任务做了一些 长时间 的工作 第二个任务取消了它 入口点 private static void Main var ctc new Cancellation
  • 抢占和上下文切换的区别

    一点介绍 我目前正在编写一个小型 读微型 RTOS 内核 它应该与内核中的大多数内容是一体的 然而 我找不到关于下面列出的一些事情的太多信息 这会很有帮助 除此之外 它实际上不是某种大学项目 而是我按照自己的意愿做的事情 回答所有问题的一个
  • 使用任务时出现意外的线程中止异常。为什么?

    我有一个在应用程序域中运行的控制台应用程序 应用程序域由自定义 Windows 服务启动 该应用程序使用父任务来启动多个有效的子任务 当计时器寻找新工作时 在任何给定时间都可能有许多父任务和子任务一起运行 所有父任务的句柄位于任务列表中 s
  • N 个相同处理器上的任务调度的精确算法?

    我正在寻找精确的算法 可以在 N 个相同的处理器中找到任务调度的最佳解决方案 该算法的时间并不重要 最重要的是一个最佳解决方案 完成最后一个任务时所有处理器的最短时间 理论上描述该算法的方程如下 P Cmax 如果有人有算法 尤其是 Jav
  • 为什么 C# Parallel.Invoke 很慢?

    我正在这样做 private static void Main string args var dict1 new Dictionary
  • 在 TPL 中返回空静态任务是一种不好的做法吗?

    在某些情况下 我想有条件地运行任务 我使用某种扩展方法 如下所示 public static class MyTaskExtension private static Task theEmptyTask Task Factory Start
  • 线程/进程/任务之间有什么区别?

    线程 进程 任务之间有什么区别 Process 进程是正在执行的计算机程序的实例 它包含程序代码及其当前活动 根据操作系统 OS 进程可能由同时执行指令的多个执行线程组成 基于进程的多任务处理使您能够在使用文本编辑器的同时运行 Java 编
  • 所有任务完成后继续任务

    在某些类中 我想使用 Task 异步加载 2 个集合并停止 busyindicator 我尝试这样的事情 var uiScheduler TaskScheduler FromCurrentSynchronizationContext Wai
  • 异步任务、视频缓冲

    我正在尝试理解 C 中的任务 但仍然遇到一些问题 我正在尝试创建一个包含视频的应用程序 主要目的是从文件中读取视频 我使用 Emgu CV 并通过 TCP IP 发送它以在板上进行处理 然后以流 实时 方式返回 首先 我是连续做的 所以 读
  • 在 VSCode 的集成终端中运行任务?

    当我过去运行任务 tasks json 时 它们在 VSCode 的集成终端内运行 但是 在重置我的开发计算机并重新安装所有内容后 我的任务现在在新的 cmd 窗口中运行 当任务因错误而失败时 就会出现问题 在这种情况下 cmd 窗口刚刚关
  • 适用于多应用项目的 Grunt 和 requirejs 优化器

    我在让 Grunt 对具有以下结构的项目执行 requirejs 优化时遇到问题 static js apps app js dash js news js many more app files build collections lib
  • ASP.NET Web API 客户端 ProgressMessageHandler Post 任务卡在 WinForm 应用程序中

    我在用着HttpClient and ProgressMessageHandler来自MS ASP NET Web API 客户端库 http nuget org packages Microsoft AspNet WebApi Clien
  • 即发即忘,使用 Task.Run 或仅调用异步方法而不等待

    一般来说 特别是当涉及到库或控制台应用程序时 为了解雇并忘记async方法 是不是更好地调用async方法无await荷兰国际集团或使用Task Run 基本上 public static void Main Doing DoSomethi
  • 如何终止 Julia 中的任务/协程?

    using HttpServer http HttpHandler do request Request response Response show request Response Hello there end http events
  • 任务取消最佳实践

    假设我有一个处理器 其工作是将文件保留回磁盘 这是作为Task当观察一个BlockingCollection
  • 如何通过Task.ContinueWith创建传递?

    我想在原始任务结束时添加一个任务 但想保留原始结果和类型 附加任务仅用于记录目的 例如写入控制台等 例如 Task Run gt DateTime Now Hour gt 12 Hey throw new Exception Continu

随机推荐

  • ROS与C++入门教程

    https www ncnynl com archives 201701 1279 html
  • HiChart图表统计:jsp中hichart用法以及从后台获取数据

    在做web服务器时 xff0c 用到了图表 xff0c 对一天内资源的下载量进行统计 xff0c 让数据更加的直观 上网查了很多资料 xff0c 最后发现HiChart很好用 xff0c 相对比较简单 下面作以详细介绍 xff1a 1 首先
  • [论文]欠驱动水下机器人的平面轨迹规划与跟踪控制设计

    论文 欠驱动水下机器人的平面轨迹规划与跟踪控制设计 摘要 研究了欠驱动自主水下航行器在水平面上的轨迹规划与跟踪控制的组合问题 给定光滑的 惯性的二维参考轨迹 xff0c 规划算法利用车辆动力学计算参考方向和机体固定速度 利用这些 xff0c
  • sql查询语句汇总,先撸为敬

    一 简单查询语句 group by 和having的区别 链接 二 复杂查询 1 数据分组 max min avg sum count SQL gt SELECT MAX sal MIN age AVG sal SUM sal from e
  • 最优化的基本概念

    最优化的基本概念 连续和离散优化问题无约束和约束优化问题随机和确定性优化问题线性和非线性规划问题凸和非凸优化问题全局和局部最优解优化算法 一般来说 xff0c 最优化算法研究可以分为 xff1a 构造最优化模型 确定最优化问题的类型和设计算
  • [RISCV]为RISC-V移植FreeRTOS系列之一 -- 目录结构

    前言 写这篇文章的时候 xff0c 我基本已经完成了这项工作了 xff0c 花了一周的时间来把freertos porting到Andes公司的N25 riscv core上 xff0c 本来其实是想支持国产的RT Thread xff0c
  • [RISCV]为RISC-V移植FreeRTOS系列之三 -- 时基

    前言 书接上回 xff0c 上回说到我们已经做好了准备 xff0c 所谓万事具备 xff0c 就差一场东风 xff0c 而能吹动FreeRTOS这条大船的是什么呢 xff1f 没错 xff0c 聪明的你已经猜到了 xff0c 是时基 有过其
  • [RISCV]为RISC-V移植FreeRTOS系列之四 -- 中断与trap handler

    前言 上回说到了我们已经把系统的心跳动起来了 xff0c 但是这里面还有一个问题 xff0c 我们都知道timer中断 xff0c 中断的trap怎么来的呢 这回就来解决这个事情 作者 xff1a wangyijieonline 链接 xf
  • [RTOS]uCOS、FreeRTOS、RTThread、RTX等RTOS的对比之特点

    最近正好又重新回顾了一下这几款OS xff0c 心里一直有个疑问 xff0c 明明这几款RTOS是这么像 xff0c 为什么还要搞出这么多个来呢 xff0c 最后的结论就是 xff0c 管他呢 xff0c 反正哪个用的顺手用哪个 本篇博客就
  • git submodule

    此文已由作者张磊薪授权网易云社区发布 欢迎访问网易云社区 xff0c 了解更多网易技术产品运营经验 前言 submodule 目前对 git 仓库拆分的已有实现之一 环境 git version 2 7 4 windows 1 准备工作 首
  • FreeRTOS 通信方式

    文章目录 一 消息队列二 信号量三 互斥量四 事件五 通知 一 消息队列 消息队列是一种常用于任务间通信的数据结构 xff0c 队列可以在任务与任务间 中断和任务间传递信息 读写队列均支持超时机制 1 创建队列 QueueHandle t
  • 芯片、模组、开发板的区别与联系-结合ESP32浅谈

    1 从外形说起 xff1a 1 1芯片 没错 xff0c 这块黑色的小硅片就是 芯片 本体 xff08 通常比大拇指还小 xff0c 内部集成了实现特定功能的硬件集成电路 xff09 1 2模组 由上述芯片研发的模组是这样的 xff1a 从
  • 一文读懂局域网、广域网、WLAN、WiFi的联系与区别

    1 引言 最近总有小伙伴问我 xff0c 广域网 局域网的区别与联系 WLAN与WiFi的关系 xff0c 遂写此文 xff0c 以作解答 2 广域网与局域网 广域网 xff08 Wide Area Network xff09 xff0c
  • RTOS 和裸机系统的异同-基于 ESP32 学习双核 FreeRTOS 的使用

    Learning FreeRTOS with esp32 什么是 RTOS 其本质上是运行在小型嵌入式设备上的特殊软件 系统软件 如同手机的安卓系统软件 windows 系统软件 RTOS VS 裸机系统 传统的裸机系统 xff08 无操作
  • u盘打开之后就只有一个快捷方式

    我今天也出现了这种问题 xff0c 百度一下发 现都解决不了 xff0c 然后自己尝试了一个新的方法 xff1a 其实还有一个又简单又好用又快捷的方法就是 1 只要你记得你的U盘里的任何一个文件或者文件夹的名称 xff0c 2 然后搜索U盘
  • FreeRTOS 删除任务

    FreeRTOS 删除任务 概述 任务的删除使用的 API 为 xff1a void vTaskDelete TaskHandle t xTask 任务删除主要是两种情况 xff1a 自删除 xff0c 即在任务本身的 TaskCode 中
  • 使用 stream buffer 传递数据

    使用 stream buffer 传递数据 概述 如前所述 xff0c 队列虽然提供了任务之间传递数据的功能 xff0c 但没有对通知机制进行优化 xff0c 即不方便实现多次采集不同长度的数据 xff0c 然后触发一次通知接收的机制 特性
  • 使用 message buffer 传递数据

    使用 message buffer 传递数据 概述 MessageBuffer xff0c 即消息缓冲区 xff0c 是在流式缓冲区的基础上实现的针对离散消息的专用通信组件 xff0c 其进一步针对 消息 进行设计改进 在 StreamBu
  • FreeRTOS 任务间通信与同步总结

    FreeRTOS 任务任务同步与数据传递 xff08 通信 xff09 总结 概述 本章主要介绍了 RTOS 系统中数据传递的机制 根据数据传递的目的 xff0c 可以分为同步 消息通信两种 其中同步是指协调程序运行的先后顺序 xff0c
  • RTOS 中 Task 之间资源共享示例

    RTOS 中 Task 之间资源共享示例 什么是共享资源 大型项目往往需要创建多个任务 xff0c 任务之间协同合作完成一个大型的功能 在前述的章节中 xff0c 我们讲述了任务间的同步与通信 xff0c 但合作与竞争总是相辅相成的 任务