【操作系统】共享数据的竞争问题

embedded/2025/3/22 10:48:15/

共享数据的竞争问题

  • 问题:保护中断与主程序共享的avg_data
    • 方法一:使用关中断保护
      • 1. 添加关中断宏
      • 2. 修改数据读取代码
      • 3. 修改中断服务程序(ISR)
    • 方法二:使用原子操作(需平台支持)
      • 1. 定义原子类型
      • 2. 修改数据访问代码
    • 方法三:使用RTOS同步机制(如信号量)
      • 1. 扩展通道结构体
      • 2. 初始化信号量
      • 3. 保护数据访问
  • 方案对比与选型建议
  • 关键验证点

问题:保护中断与主程序共享的avg_data

在嵌入式系统中,中断服务程序(ISR)和主程序(或任务)共享数据时,必须确保访问的原子性可见性。以下是针对该问题的具体修改步骤:

方法一:使用关中断保护

此方法通过临时禁用中断来确保对共享变量的原子访问,适用于所有平台。

1. 添加关中断宏

在头文件中定义关中断宏:

2. 修改数据读取代码

hal_get_data 函数中保护 avg_data 的读取:

int hal_get_data() {ENTER_CRITICAL();   // 进入临界区(关中断)*val = avg_data;   // 安全读取共享数据EXIT_CRITICAL();    // 退出临界区(开中断)return 0;
}

3. 修改中断服务程序(ISR)

module_isr 中保护 avg_data 的写入:

irqreturn_t module_isr() {ENTER_CRITICAL();avg_data = 8888;// 安全更新 avg_dataEXIT_CRITICAL();sem_give(complete);}// ...
}

注意这个做法是有风险的,在中断处理函数中关中断需谨慎,可能破坏中断上下文的状态或影响实时性详细分析见博客

方法二:使用原子操作(需平台支持)

如果目标平台支持对 u16 类型的原子访问(如ARM Cortex-M),可使用原子操作。

1. 定义原子类型

在结构体中声明 avg_data 为原子变量:

#include <stdatomic.h>struct siliumixi {// ..._Atomic u16 avg_data; // C11原子类型// ...
};

2. 修改数据访问代码

  • ISR中原子写入

    atomic_store(&chan->avg_data, calculated_value);
    
  • 主程序原子读取

        *val = atomic_load(&chan->avg_data); // 原子读取
    

方法三:使用RTOS同步机制(如信号量)

在RTOS环境中,可通过信号量确保数据访问的同步。

1. 扩展通道结构体

struct siliumixi {// ...sem_t data_sem; // 新增信号量// ...
};

2. 初始化信号量

在初始化时创建信号量:

    chan->data_sem = sem_create(1); // 初始值为1(二进制信号量)
}

3. 保护数据访问

  • ISR中释放信号量

    sem_take(chan->data_sem, 0);    // 获取信号量(非阻塞)chan->avg_data = 8888;      // 更新数据aicos_sem_give(chan->data_sem);       // 释放信号量}// ...
    }
    
  • 主程序获取信号量

        if (sem_take(chan->data_sem, timeout) != 0)return -ETIMEDOUT;*val = chan->avg_data;}
    

方案对比与选型建议

方案优点缺点适用场景
关中断简单高效,无额外资源消耗影响中断响应实时性低延迟、单核嵌入式系统
原子操作代码简洁,无锁竞争依赖平台原子操作支持支持C11原子类型的平台
RTOS信号量兼容多任务环境,灵活增加RTOS开销,需处理信号量超时基于RTOS的多任务系统

关键验证点

  1. 原子性测试:在高低优先级任务/中断同时访问时,数据是否一致。
  2. 性能测试:关中断时长是否影响其他中断响应(使用示波器测量最坏关中断时间)。
  3. 资源占用:信号量或原子操作是否增加内存/CPU开销。

通过上述任一方法,可有效解决共享数据 chan->avg_data 的竞争问题


http://www.ppmy.cn/embedded/174667.html

相关文章

TCP/UDP传输过程

一、TCP消息发送全流程&#xff08;以网页加载为例&#xff09; 场景模拟 客户端&#xff1a;IP地址 192.168.1.100&#xff0c;浏览器访问 http://www.example.com服务器&#xff1a;IP地址 93.184.216.34&#xff08;www.example.com&#xff09;&#xff0c;监听端口 80 详…

【Linux系统】进程等待:告别僵尸进程深入理解Linux进程同步的核心密码

Linux系列 文章目录 Linux系列前言一、进程等待的核心目的二、进程等待的实现方式2.1 wait()函数2.2 waitpid&#xff08;&#xff09;函数 总结 前言 在Linux系统中&#xff0c;进程等待&#xff08;Process Waiting&#xff09;是多进程编程中的核心机制&#xff0c;指父进程…

模型评估——acc、P、R、F值、交叉验证、K折交叉验证

模型评估&#xff1a;对预测函数地预测精度的评估。 多重回归&#xff1a;涉及三个及其以上的变量的回归问题。 评估模型的方法&#xff1a; 交叉验证&#xff1a;将数据集分成测试集和训练集&#xff0c;可以采用3&#xff1a;7或者2&#xff1a;8的比例方式进行划分&#xff…

参数估计学习笔记通俗易懂版(包括点估计和区间估计(区间估包括总体均值的置信区间(总体标准差未知、总体标准差已知)和总体方差的置信区间))

目录 1. 参数估计的基本概念2. 点估计2.2定义与特点2.3常见方法2.4点估计的应用 3. 区间估计3.1概念及意义3.2构造步骤3.3应用实例3.4区间估计题解 4. 贝叶斯估计中的区间估计5. 总结 1. 参数估计的基本概念 在统计推断中&#xff0c;我们往往希望利用从总体中抽取的有限样本来…

python爬虫笔记(一)

文章目录 html基础标签和下划线无序列表和有序列表表格加边框 html的属性a标签&#xff08;网站&#xff09;target属性换行线和水平分割线 图片设置宽高width&#xff0c;height html区块——块元素与行内元素块元素与行内元素块元素举例行内元素举例 表单from标签type属性pla…

【leetcode hot 100 22】括号生成

解法一&#xff1a;&#xff08;回溯法&#xff09;用两个整数记录左右括号数&#xff0c;以在回溯过程中保证先生成左括号&#xff0c;且左右括号数不能大于n。 class Solution {public List<String> generateParenthesis(int n) {List<String> result new Arra…

蓝桥杯————封闭图形个数(自定义排序问题)

20分钟&#xff0c;拿捏&#xff01;1.封闭图形个数 - 蓝桥云课 1.数位排序 - 蓝桥云课 思路和数位循环一样&#xff0c;其实 先初始化数组&#xff0c;包含两个数组&#xff0c;一个数组arr用来统计输入的数字 另一个数组num用来统计每个数的封闭图形的个数 static void in…

如何实现一个纯 CSS 的滑动门导航效果,需要用到哪些技术?

大白话如何实现一个纯 CSS 的滑动门导航效果&#xff0c;需要用到哪些技术&#xff1f; 什么是滑动门导航效果 滑动门导航效果是一种常见的网页导航设计&#xff0c;当你把鼠标悬停在导航菜单的某个选项上时&#xff0c;这个选项的背景会滑动或者变化&#xff0c;就好像门打开…