软件临界资源访问冲突

1. 基础概念

在这里插入图片描述

1.1 cpu执行汇编代码

处理指令的步骤主要包括以下几步动作:

1.提取(Fetch)指令。

2.解码(Decode)指令。

3.执行(Execute)指令。

cpu运行一条汇编需要执行三个步骤,按照顺序依次执行。异常触发中断需要等待一条汇编运行完成才能跳转,这是cpu内部硬件状态机运行决定的机制。所以汇编的运行是原子性的。

1.2 编译器—c语言转汇编

举个例子:有一个变量被定义在RAM的栈的一个内存中,运行如下代码

i |= 0x01

转为汇编语言如下

LOAD R1,[#i]	; Read a value from i into R1
MOVE R2,#0x01	; Move the absolute constant 1 into R2
OR R1,R2		; Bitwise OR R1 (i) with R2 (constant 1)
STORE R1		; Store the new value back to i

load指令用于将数据从内存中读取到CPU内部寄存器中,
store指令用于将数据从CPU内部寄存器中写入到内存中。

cpu运行一条c语言被分解成多条汇编语言。异常触发中断会等待一条汇编运行完成触发跳转,但不会等待一条c语言全部运行完成触发跳转,所以c语言的运行是非原子性的。

1.3 原子性与非原子性

一个操作是不可分割的、完整的被执行的是原子性执行。要么全部执行成功,要么全部不执行,不存在执行一半的情况。

2. 顺序执行—裸机编程—单线程

在没有中断触发的程序中,程序是顺序执行的,裸机编程可以将非原子性操纵的c语言看做原子性的操作。解决了非原子性程序的未知因素,提高代码的健壮性。单线程也解决了各种冲突问题。

2.1 裸机编程的场景

1 cpu的速度比较低
2 内存的容量比较小
3 功能比较简单

2.2 裸机编程的多线程

低配的mcu同样可以实现多线程,只不过是采用基准时间的切片状态机法,将大的任务分解成无数个小任务,小任务运行完成后让出cpu,其他任务运行,每个任务占用的cpu时间比较少,实现微观上的并行。此方法不适用于裸机复杂的控制任务,分拆比较耗时,并且分拆后的代码不好阅读与维护。

3. 跳转执行—前后台系统—多线程

CPU与外设进行数据交换时,存在高速CPU与慢速外设的矛盾。
虽然裸机的轮询能满足大部分的要求,但也在查询及等待过程中降低了CPU的工作效率,并且当一个任务比较复杂,会占用cpu更多的时间,任务的实时性会受到影响。

化主动为被动,避免 CPU 轮询等待某条件成立,提高实时性。

有了中断功能,外设随时向CPU发出中断请求,要求CPU及时处理,CPU就可以马上响应(若中断响应条件满足)加以处理。这样的及时处理在查询方式下是做不到的,从而大大减少了CPU的等待时间。

当发生一个中断请求时,CPU会立即中止当前任务,压入当前任务状态到堆栈中,然后执行中断服务程序。中断服务程序完成之后,CPU将原来的执行任务状态从堆栈中恢复并继续原任务的执行。在这个过程中,CPU保存了现场信息(CPU内部寄存器压栈pc lr etc…)以便恢复。

加入中断机制。程序执行将是非原子性的。代码的健壮性受到影响。

3.1 全局变量的临界区与互斥

举个例子:

int flag = 1;

int mian()
{
  while(1)
  {
	if(flag == 1)
	{
		flag = 0;
		//todo
		flag = 1;
	}
  }
}

void irq()
{
	if(flag == 1)
	{
		flag = 0;
		//todo
		flag = 1;
	}
}

在上面的例子中,flag等于1时,执行对应内部的函数。大多数情况下没有问题。
特殊情况:程序在判断flag==1时,条件成立,欲将flag = 0,触发中断,中断判断flag也为1,也进入执行对应的函数。

如果todo需要使用同一外设,比如都需要往oled屏幕上写数据,则会有一个任务无法被正常运行。出现这种情况也是概率问题。

3.2 可重入函数的临界区与互斥

手写队列驱动,调用同一个函数。

uint16_t S_QueueDataIn(uint16_t *front, uint16_t *tail, uint16_t *length, uint8_t data[], uint16_t Queue_Size, uint8_t *value)
{
	if (*length > 0 && *front == *tail) {
		return 0;
	}
	*length += 1;
	data[*tail] = *value;
	*tail = (*tail + 1) & (Queue_Size - 1);
	return 1;
}



uint16_t S_QueueDataOut(uint16_t *front, uint16_t *tail, uint16_t *length, uint8_t data[], uint16_t Queue_Size, uint8_t *value)
{	
	if (*length){
		__disable_irq();	//禁止CPU去响应中断,没有真正的去屏蔽中断的触发
		*length -= 1;	
		*value = data[*front];
		*front = (*front + 1) & (Queue_Size - 1);
		__enable_irq();		//打开中断
		return 1;
	}
	return 0;
}

在串口中断中,使用队列入队接收数据,在主循环中队列出队的方式获取、解析、运行是shell的标准做法。

函数在出队列时进入中断入队,*length临界值非原子性操作,则会出现丢包或者数组越界段错误的情况,这也是非原子性操作的另一个弊端。

etc…

4. 临界区的保护

在上面两个例子中,flag*length都属于临界资源,临界资源的赋值属于临界区

第一种:屏蔽中断的方式。原子性操作
第二种:互斥锁,依赖硬件的原子性操作。
第三种:避免临界区的出现。

5. 操作系统 FreeRTOS

FreeRTOS(Free Real-Time Operating System)是一个开源的实时操作系统(RTOS)。

为什么使用FreeRTOS?
裸机编程和前后台编程都没有解决一个问题,多个复杂功能运行的delay死等问题。
不使用delay,代码会被拆开,完整性和拓展性受到很大影响。

严格来说,freeRTOS并不是实时操作系统,因为它是分时复用的。
系统将时间分割成很多时间片,然后轮流执行各个任务。
每个任务都是独立运行的,互补影响,由于切换的频率很快,就感觉像是同时运行的一样。
在这里插入图片描述

5.1 内核功能主要包括:

在这里插入图片描述

5.2 FreeRTOS 进程管理

在FreeRTOS中,根据功能的不同,把整个系统分割成一个个独立且无限循环、无法返回的函数,这个函数就称为 进程。也就是多个裸机。

5.2.1 进程的状态

在这里插入图片描述

5.2.2 进程创建

主要考虑任务的入口,任务的优先级,任务的栈大小。

5.2.3 进程基础api—不含ISR

1 创建任务 xTaskCreate()
2 启动任务 vTaskStartScheduler()
3 挂起任务 vTaskSuspend()
4 恢复任务 vTaskResume()
5 删除任务 vTaskDelete()
6 阻塞延时 vTaskDelay()
7 绝对延时 vTaskDelayUntil()

5.2.4 任务的挂起与恢复

挂起:挂起任务类似于暂停,可恢复;删除任务,无法恢复。
恢复:恢复被挂起的任务。

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

数据库的基本概念以及MySQL基本操作

一、数据库的基本概念 1、数据库的组成 数据:描述事物的符号记录 包括数字,文字、图形、图像、声音、档案记录等 以“记录”形式按统一格式进行存储 表:将不同的记录组织在一起,用来存储具体数据 数据库: 表的集合…

Python 跨文件夹导入自定义包

一、问题再现 有时我们自己编写一些模块时,跨文件夹调用会出现ModuleNotFoundError: No module named XXX 二、解决方案 只需要在下层文件夹中的__init__.py文件中,添加如下代码即可: import sys from os import path sys.path.append(pa…

万字解析设计模式之 适配器模式

一、 适配器模式 1.1概述 将一个接口转换成客户希望的另一个接口,适配器模式使接口不兼容的那些类可以一起工作。 适配器模式分为类适配器模式和对象适配器模式,前者类之间的耦合度比后者高,且要求程序员了解现有组件库中的相关组件的内部结…

imx VPU解码分析4-wrap与hantro的关系

前面已经分析了wrap和hantro,但是二者是如何结合的,wrap是如何封装hantro的,提供了哪些接口,封装了哪些细节还不太清楚,此文来探究下。这里还是只关注解码。 imx VPU解码分析1-wrap-CSDN博客 imx VPU解码分析2-hantr…

值得收藏推荐的 21 款免费数据恢复软件工具

使用这些免费数据恢复工具 之一找回您认为永远消失的文件。我根据这些程序的易用性和提供的功能对这些程序进行了排名。 这些应用程序从您的硬盘驱动器、USB 驱动器、媒体卡等恢复文档、视频、图像、音乐等。我建议每个计算机所有者安装其中一个程序,最好尽快&#…

【MySQL】一些内置函数(时间函数、字符串函数、数学函数等,学会了有妙用)

内置函数 前言正式开始时间函数显示当前日期、时间、日期时间的日期计算相差多少天示例创建一张表,记录生日 留言表 字符串函数charsetconcatinstr(string, substring)ucase和lcaseleft(string, length)length求字符串长度replace(str, search_str, replace_str)tri…

【LeetCode刷题笔记】DFSBFS(一)

51. N 皇后 解题思路: DFS + 回溯 :由于 NxN 个格子放 N 个皇后, 同一行不能放置 2 个皇后,所以皇后必然放置在不同行 。 因此,可以从第 0 行开始,逐行地尝试,在每一个 i

Pyside6/PyQt6的QTreeWidget如何添加多级子项,如何实现选中父项,子项也全部选中功能,源码示例

文章目录 📖 介绍 📖🏡 环境 🏡📒 使用方法 📒📝 数据📝 源码📖 介绍 📖 在UI开发中经常会需要展示/让用户多层级选择,这篇文章记录了一个QTreeWidget如何添加多级子项,如何实现选中父项,子项也全部选中/取消选中功能的源码示例,大家可以举一反三实现自…

合理运用ChatGPT使用Python编写一个桌面便签应用

ChatGPT的编程能力也不差,本次我就一步一步提要求,让ChatGPT根据我的要求,编写出一个可用的,可打包运行的桌面便签。 代码 import sys from PyQt5.QtWidgets import QApplication, QMainWindow, QMenu, QAction, QSystemTrayIco…

php一句话木马免杀

php一句话木马免杀 针对于php一句话木马做免杀: 利用php动态函数的特性,将危险函数拆分成字符,最终使用字符串拼接的方式,然后重新拼接,后加括号执行代码,并且可以使用花指令进行包装,如无限i…

Unity收费对谁影响最大

Unity的收费政策对以下几类人群影响最大: 游戏开发商:Unity收费政策中最直接的影响对象就是游戏开发商。对于那些使用Unity引擎制作游戏的开发商来说,他们将需要考虑新的许可证费用和服务费用,这可能会对他们的盈利和发展产生影响…

springboot项目基于jdk17、分布式事务seata-server-1.7.1、分库分表shardingSphere5.2.1开发过程中出现的问题

由于项目需要,springboot项目需基于jdk17环境开发,结合nacos2.0.3、分布式事务seata-server-1.7.1、分库分表shardingSphere5.2.1等,项目启动过程中出现的问题解决方式小结。 问题一: Caused by: java.lang.RuntimeException: j…

C++ LibCurl实现Web指纹识别

Web指纹识别是一种通过分析Web应用程序的特征和元数据,以确定应用程序所使用的技术栈和配置的技术。这项技术旨在识别Web服务器、Web应用框架、后端数据库、JavaScript库等组件的版本和配置信息。通过分析HTTP响应头、HTML源代码、JavaScript代码、CSS文件等&#x…

【Mysql系列】LAG与LEAD开窗函数

💝💝💝欢迎来到我的博客,很高兴能够在这里和您见面!希望您在这里可以感受到一份轻松愉快的氛围,不仅可以获得有趣的内容和知识,也可以畅所欲言、分享您的想法和见解。 推荐:kwan 的首页,持续学…

visionOS空间计算实战开发教程Day 5 纹理和材质

在​​Day 4​​​中我们使用了​​ImmersiveSpace​​并在其中添加了一个立方体,但对这个立方体我们只配置了长宽高,并没有做进一步的操作。 本文中我们会通过纹理和材质对这个立方体的六个面分别进行不同的绘制。首先我们将​​ImmersiveView​​分拆…

Redis入门与应用

目录 Redis的技术全景 两大维度 三大主线 Redis的版本选择与安装 Redis的linux安装 Redis的启动 默认配置 带参数启动 配置文件启动 操作 停止 Redis全局命令 键名的生产实践 Redis常用数据结构 字符串(String) 操作命令 set 设置值 g…

XDAG同步节点部署

系统环境要求 JDK : v17 Maven : v3.9.1-v3.9.5 MySQL : v8.0系列 1、MySQL8.0安装 1)docker-compose安装详情 MySQL安装 2)配置数据库账号密码及键表 # docker exec -it mysql8 /bin/bash # root0286a1fd60e6:/# mysql -uroot -p Enter password:…

Android : ListView + BaseAdapter-简单应用

​​容器与适配器:​​​​​ http://t.csdnimg.cn/ZfAJ7 示例图: 实体类 News.java package com.example.mylistviewbaseadapter.entity;public class News {private String title;private String content;private int img;public News(Str…

Django报错:RuntimeError at /home/ 解决办法

错误提示: RuntimeError at /home/ Model class django.contrib.contenttypes.models.ContentType doesnt declare an explicit app_label and isnt in an application in INSTALLED_APPS. 原因剖析: 博主在使用pycharm创建Django项目的时候&#xff0…

golang 断点调试

1.碰见如下报错,调试器没有打印变量信息 Delve is too old for Go version 1.21.2 (maximum supported version 1.19) 2. 解决办法 升级delve delve是go语言的debug工具。 go install github.com/go-delve/delve/cmd/dlvlatest报错 Get “https://proxy.golang.org/github…