【正点原子FreeRTOS学习笔记】————（12）信号量

news/2024/4/27 15:55:14/文章来源:https://blog.csdn.net/wozhihecha/article/details/137076993

这里写目录标题

  • 一、信号量的简介（了解）
  • 二、二值信号量（熟悉）
  • 三、二值信号量实验（掌握）
  • 四、计数型信号量（熟悉）
  • 五、计数型信号量实验（掌握）
  • 六、优先级翻转简介（熟悉）
  • 七、优先级翻转实验（掌握）
  • 八、互斥信号量（熟悉）
  • 九、互斥信号量实验（掌握）

一、信号量的简介（了解）

信号量是一种解决同步问题的机制，可以实现对共享资源的有序访问
![在这里插入图片描述](https://img-blog.csdnimg.cn/direct/cb7e774a20324bed9077316aa32a3c37.png

假设有一个人需要在停车场停车
1、首先判断停车场是否还有空车位（判断信号量是否有资源）；
2、停车场正好有空车位（信号量有资源），那么就可以直接将车开入空车位进行停车（获取信号量成功）；
3、停车场已经没有空车位了（信号量没有资源），那么这个人可以选择不停车（获取信号量失败）；
也可以选择等待（任务阻塞）其他人将车开出停车场（释放信号量资源）， 然后再将车停入空车位 。

在这里插入图片描述
当计数值大于0，代表有信号量资源；
当释放信号量，信号量计数值（资源数）加一；
当获取信号量，信号量计数值（资源数）减一

信号量的计数值都有限制：限定最大值。
如果最大值被限定为1，那么它就是二值信号量；
如果最大值不是1，它就是计数型信号量。

信号量：用于传递状态

队列与信号量的对比
在这里插入图片描述

二、二值信号量（熟悉）

二值信号量的本质是一个队列长度为 1 的队列 ，该队列就只有空和满两种情况，这就是二值。
二值信号量通常用于互斥访问或任务同步， 与互斥信号量比较类似，但是二值信号量有可能会导致优先级翻转的问题 ，所以二值信号量更适合用于同步！
在这里插入图片描述
二值信号量相关API函数（熟悉）
使用二值信号量的过程：创建二值信号量 、 释放二值信号量 、 获取二值信号量
在这里插入图片描述

创建二值信号量函数：SemaphoreHandle_t xSemaphoreCreateBinary( void )

#define   xSemaphoreCreateBinary( )   						\xQueueGenericCreate( 1 ,   semSEMAPHORE_QUEUE_ITEM_LENGTH  ,   queueQUEUE_TYPE_BINARY_SEMAPHORE )
#define  semSEMAPHORE_QUEUE_ITEM_LENGTH                 ( ( uint8_t ) 0U )
#define queueQUEUE_TYPE_BASE                  			( ( uint8_t ) 0U )	/* 队列 */
#define queueQUEUE_TYPE_SET                  			( ( uint8_t ) 0U )	/* 队列集 */
#define queueQUEUE_TYPE_MUTEX                 			( ( uint8_t ) 1U )	/* 互斥信号量 */
#define queueQUEUE_TYPE_COUNTING_SEMAPHORE    	        ( ( uint8_t ) 2U )	/* 计数型信号量 */
#define queueQUEUE_TYPE_BINARY_SEMAPHORE     	        ( ( uint8_t ) 3U )	/* 二值信号量 */
#define queueQUEUE_TYPE_RECURSIVE_MUTEX       		    ( ( uint8_t ) 4U )	/* 递归互斥信号量 */

在这里插入图片描述

释放二值信号量函数：BaseType_t xSemaphoreGive( xSemaphore )

#define   xSemaphoreGive (  xSemaphore  )    						\
xQueueGenericSend( ( QueueHandle_t ) ( xSemaphore )  ,   NULL  ,   semGIVE_BLOCK_TIME  ,   queueSEND_TO_BACK )
#define   semGIVE_BLOCK_TIME                  ( ( TickType_t ) 0U )

在这里插入图片描述

获取二值信号量函数：BaseType_t xSemaphoreTake( xSemaphore, xBlockTime )

在这里插入图片描述

三、二值信号量实验（掌握）

1、实验目的：学习 FreeRTOS 的二值信号量相关API函数的使用
2、实验设计：将设计三个任务：start_task、task1、task2
三个任务的功能如下：
在这里插入图片描述

QueueHandle_t semphore_handle;
/*** @brief       FreeRTOS例程入口函数* @param       无* @retval      无*/
void freertos_demo(void)
{    semphore_handle = xSemaphoreCreateBinary();if(semphore_handle != NULL){printf("二值信号量创建成功！！！\r\n");}xTaskCreate((TaskFunction_t         )   start_task,(char *                 )   "start_task",(configSTACK_DEPTH_TYPE )   START_TASK_STACK_SIZE,(void *                 )   NULL,(UBaseType_t            )   START_TASK_PRIO,(TaskHandle_t *         )   &start_task_handler );vTaskStartScheduler();
}/* 任务一，释放二值信号量 */
void task1( void * pvParameters )
{uint8_t key = 0;BaseType_t err;while(1) {key = key_scan(0);if(key == KEY0_PRES){if(semphore_handle != NULL){err = xSemaphoreGive(semphore_handle);if(err == pdPASS){printf("信号量释放成功！！\r\n");}else printf("信号量释放失败！！\r\n");}}vTaskDelay(10);}
}/* 任务二，获取二值信号量 */
void task2( void * pvParameters )
{uint32_t i = 0;BaseType_t err;while(1){err = xSemaphoreTake(semphore_handle,portMAX_DELAY); /* 获取信号量并死等 */if(err == pdTRUE){printf("获取信号量成功\r\n");}else printf("已超时%d\r\n",++i);}
}

四、计数型信号量（熟悉）

计数型信号量相当于队列长度大于1 的队列，因此计数型信号量能够容纳多个资源，这在计数型信号量被创建的时候确定的
计数型信号量适用场合：

事件计数：当每次事件发生后，在事件处理函数中释放计数型信号量（计数值+1），其他任务会获取计数型信号量（计数值-1） ，这种场合一般在创建时将初始计数值设置为 0
资源管理：信号量表示有效的资源数目。任务必须先获取信号量（信号量计数值-1 ）才能获取资源控制权。当计数值减为零时表示没有的资源。当任务使用完资源后，必须释放信号量（信号量计数值+1）。信号量创建时计数值应等于最大资源数目

使用计数型信号量的过程：创建计数型信号量 、释放信号量 、获取信号量
在这里插入图片描述
计数型信号量的释放和获取与二值信号量相同 ！

计数型信号量创建API函数

#define 	xSemaphoreCreateCounting(  uxMaxCount  ,  uxInitialCount  )   		\		xQueueCreateCountingSemaphore( (  uxMaxCount  ) , (  uxInitialCount  ) )

此函数用于创建一个计数型信号量 。
在这里插入图片描述

#define 	uxSemaphoreGetCount( xSemaphore ) 						\	uxQueueMessagesWaiting( ( QueueHandle_t ) ( xSemaphore ) )

此函数用于获取信号量当前计数值大小
在这里插入图片描述

五、计数型信号量实验（掌握）

1、实验目的：学习 FreeRTOS 的计数型信号量相关API函数的使用
2、实验设计：将设计三个任务：start_task、task1、task2
三个任务的功能如下：
在这里插入图片描述

QueueHandle_t count_semphore_handle;
/*** @brief       FreeRTOS例程入口函数* @param       无* @retval      无*/
void freertos_demo(void)
{    count_semphore_handle = xSemaphoreCreateCounting(100 , 0);  /* 创建计数型信号量 */if(count_semphore_handle != NULL){printf("计数型信号量创建成功！！！\r\n");}xTaskCreate((TaskFunction_t         )   start_task,(char *                 )   "start_task",(configSTACK_DEPTH_TYPE )   START_TASK_STACK_SIZE,(void *                 )   NULL,(UBaseType_t            )   START_TASK_PRIO,(TaskHandle_t *         )   &start_task_handler );vTaskStartScheduler();
}
/* 任务一，释放计数型信号量 */
void task1( void * pvParameters )
{uint8_t key = 0;while(1) {key = key_scan(0);if(key == KEY0_PRES){if(count_semphore_handle != NULL){xSemaphoreGive(count_semphore_handle);      /* 释放信号量 */}}vTaskDelay(10);}
}/* 任务二，获取计数型信号量 */
void task2( void * pvParameters )
{BaseType_t err = 0;while(1){err = xSemaphoreTake(count_semphore_handle,portMAX_DELAY); /* 获取信号量并死等 */if(err == pdTRUE){printf("信号量的计数值为：%d\r\n",(int)uxSemaphoreGetCount(count_semphore_handle));}vTaskDelay(1000);}
}

六、优先级翻转简介（熟悉）

优先级翻转：高优先级的任务反而慢执行，低优先级的任务反而优先执行
优先级翻转在抢占式内核中是非常常见的，但是在实时操作系统中是不允许出现优先级翻转的，因为优先级翻转会破坏任务的预期顺序，可能会导致未知的严重后果。
在使用二值信号量的时候，经常会遇到优先级翻转的问题。

举个例子：
在这里插入图片描述
高优先级任务被低优先级任务阻塞，导致高优先级任务迟迟得不到调度。但其他中等优先级的任务却能抢到CPU资源。从现象上看，就像是中优先级的任务比高优先级任务具有更高的优先权（即优先级翻转）

七、优先级翻转实验（掌握）

1、实验目的：在使用二值信号量的时候会存在优先级翻转的问题，本实验通过模拟的方式实现优先级翻转，观察优先级翻转对抢占式内核的影响
2、实验设计：将设计四个任务：start_task、high_task、 middle_task ， low_task
四个任务的功能如下：
在这里插入图片描述

QueueHandle_t semphore_handle;
/*** @brief       FreeRTOS例程入口函数* @param       无* @retval      无*/
void freertos_demo(void)
{    semphore_handle = xSemaphoreCreateBinary();if(semphore_handle != NULL){printf("二值信号量创建成功！！！\r\n");}xSemaphoreGive(semphore_handle);        /* 释放一次信号量 */xTaskCreate((TaskFunction_t         )   start_task,(char *                 )   "start_task",(configSTACK_DEPTH_TYPE )   START_TASK_STACK_SIZE,(void *                 )   NULL,(UBaseType_t            )   START_TASK_PRIO,(TaskHandle_t *         )   &start_task_handler );vTaskStartScheduler();
}/* 任务一，低优先级任务 */
void low_task( void * pvParameters )
{while(1) {printf("low_task获取信号量\r\n");xSemaphoreTake(semphore_handle,portMAX_DELAY);printf("low_task正在运行！！！\r\n");delay_ms(3000);printf("low_task释放信号量\r\n");xSemaphoreGive(semphore_handle); vTaskDelay(1000);}
}/* 任务二，中优先级任务 */
void middle_task( void * pvParameters )
{while(1){printf("middle_task正在运行！！！\r\n");vTaskDelay(1000);}
}/* 任务三，高优先级任务 */
void high_task( void * pvParameters )
{while(1){printf("high_task获取信号量\r\n");xSemaphoreTake(semphore_handle,portMAX_DELAY);printf("high_task正在运行！！！\r\n");delay_ms(1000);printf("high_task释放信号量\r\n");xSemaphoreGive(semphore_handle); vTaskDelay(1000);}
}

八、互斥信号量（熟悉）

互斥信号量其实就是一个拥有优先级继承的二值信号量，在同步的应用中二值信号量最适合。互斥信号量适合用于那些需要互斥访问的应用中！
优先级继承：当一个互斥信号量正在被一个低优先级的任务持有时， 如果此时有个高优先级的任务也尝试获取这个互斥信号量，那么这个高优先级的任务就会被阻塞。不过这个高优先级的任务会将低优先级任务的优先级提升到与自己相同的优先级。

优先级继承示例
在这里插入图片描述
此时任务H的阻塞时间仅仅是任务L 的执行时间，将优先级翻转的危害降到了最低

优先级继承并不能完全的消除优先级翻转的问题，它只是尽可能的降低优先级翻转带来的影响
注意：互斥信号量不能用于中断服务函数中，原因如下：
(1) 互斥信号量有任务优先级继承的机制， 但是中断不是任务，没有任务优先级， 所以互斥信号量只能用与任务中，不能用于中断服务函数。
(2) 中断服务函数中不能因为要等待互斥信号量而设置阻塞时间进入阻塞态。

互斥信号量相关API函数（熟悉）
使用互斥信号量：首先将宏configUSE_MUTEXES置1
使用流程：创建互斥信号量 、（task）获取信号量 、（give）释放信号量
在这里插入图片描述
互斥信号量的释放和获取函数与二值信号量相同 ！只不过互斥信号量不支持中断中调用
注意：创建互斥信号量时，会主动释放一次信号量

互斥信号量创建API函数

#define   xSemaphoreCreateMutex()      xQueueCreateMutex( queueQUEUE_TYPE_MUTEX )

此函数用于创建互斥信号量
在这里插入图片描述

九、互斥信号量实验（掌握）

1、实验目的：在优先级翻转实验的基础，加入互斥信号量，解决优先级翻转问题
2、实验设计：将优先级翻转所用到的信号量函数，修改成互斥信号量即可，通过串口打印提示信息

QueueHandle_t mutex_semphore_handle;
/*** @brief       FreeRTOS例程入口函数* @param       无* @retval      无*/
void freertos_demo(void)
{    mutex_semphore_handle = xSemaphoreCreateMutex();    /* 创建互斥信号量，并且主动释放一次信号量 */if(mutex_semphore_handle != NULL){printf("互斥信号量创建成功！！！\r\n");}xTaskCreate((TaskFunction_t         )   start_task,(char *                 )   "start_task",(configSTACK_DEPTH_TYPE )   START_TASK_STACK_SIZE,(void *                 )   NULL,(UBaseType_t            )   START_TASK_PRIO,(TaskHandle_t *         )   &start_task_handler );vTaskStartScheduler();
}/* 任务一，低优先级任务 */
void low_task( void * pvParameters )
{while(1) {printf("low_task获取信号量\r\n");xSemaphoreTake(mutex_semphore_handle,portMAX_DELAY);printf("low_task正在运行！！！\r\n");delay_ms(3000);printf("low_task释放信号量\r\n");xSemaphoreGive(mutex_semphore_handle); vTaskDelay(1000);}
}/* 任务二，中优先级任务 */
void middle_task( void * pvParameters )
{while(1){printf("middle_task正在运行！！！\r\n");vTaskDelay(1000);}
}/* 任务三，高优先级任务 */
void high_task( void * pvParameters )
{while(1){printf("high_task获取信号量\r\n");xSemaphoreTake(mutex_semphore_handle,portMAX_DELAY);printf("high_task正在运行！！！\r\n");delay_ms(1000);printf("high_task释放信号量\r\n");xSemaphoreGive(mutex_semphore_handle); vTaskDelay(1000);}
}

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

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

相关文章

腾讯云GPU云服务器_GPU云计算_异构计算_弹性计算

腾讯云GPU云服务器_GPU云计算_异构计算_弹性计算

腾讯云GPU服务器是提供GPU算力的弹性计算服务，腾讯云GPU服务器具有超强的并行计算能力，可用于深度学习训练、科学计算、图形图像处理、视频编解码等场景，腾讯云百科txybk.com整理腾讯云GPU服务器租用价格表、GPU实例优势、GPU解决方案、GPU软…
阅读更多...
LinkedIn 互联网架构扩展简史

LinkedIn 互联网架构扩展简史

LinkedIn成立于 2003 年，其目标是连接到您的网络以获得更好的工作机会。第一周只有 2,700 名会员。时间快进了很多年，LinkedIn 的产品组合、会员基础和服务器负载都取得了巨大的增长。 如今，LinkedIn 在全球运营，拥有超过 3.5 亿会…
阅读更多...
R使用netmeta程序包实现生存数据的频率学网状meta分析

R使用netmeta程序包实现生存数据的频率学网状meta分析

之前的推文系统的介绍了使用netmeta包实现对二分类变量、连续型变量和罕见事件的网状meta分析。今天的文章介绍如何使用netmeta程序包实现生存数据的频率学网状meta分析，用来评估6种免疫疗法（ Camrelizumab、Tislelzumab、Toripalimab、Sintilimab、Pemb…
阅读更多...
（二）windows配置JDK环境

（二）windows配置JDK环境

1、安装包下载地址，官网：Java Archive | Oracle 长期稳定支持版本8、11、17、21 选择一个需要下载的连接点进去： 在下载列表中根据操作系统选择不同的下载包： 注意：部分版本下载需要先登录后才可以下载。 安装包附件…
阅读更多...
Canal解决Redis缓存与Mysql数据库的一致性问题

Canal解决Redis缓存与Mysql数据库的一致性问题

1、什么是Canal？ 如何解决Redis缓存与Mysql数据库的一致性问题？我们常用数据双删缓存超时设置去解决。这样最差的情况，就是在超时时间内，数据存在不一致。 canal，译为管道，主要用途是基于 MySQL 数据库增…
阅读更多...
(1) 易经与命运_学习笔记

(1) 易经与命运_学习笔记

个人笔记，斟酌阅读 占卦的原理 三个铜板，正面是3，反面2，三个一起转，得出6,7,8,9 数字象6老阴7少阳8少阴9老阳 生数和成数 生数和成数应该说出自《河图》。其中一二三四五为生数，六七八九十为成数。 生…
阅读更多...
基于k6和python进行自动化性能测试

基于k6和python进行自动化性能测试

摘要：在性能测试中，达到相应的性能指标对于一个软件来说十分重要，在本文中，将介绍一种现代化性能测试工具k6。 import http from k6/http; import { sleep } from k6; export default function () { http.get(https://test-api…
阅读更多...
正式发布：VitePress 1.0 现代化静态站点生成器!

正式发布：VitePress 1.0 现代化静态站点生成器!

大家好，我是奇兵，今天介绍一下现代化静态站点生成器!，希望能帮到大家。 3 月 21 日， 由 Vue 团队出品的现代化静态站点生成器 VitePress 正式发布 1.0 版本！它专为构建快速、以内容为中心的网站而生，能够轻…
阅读更多...
动态多态的注意事项

动态多态的注意事项

大家好： 衷心希望各位点赞。 您的问题请留在评论区，我会及时回答。 多态的基本概念 多态是C面向对象三大特性之一（多态、继承、封装） 多态分为两类： 静态多态：函数重载和运算符重载属于静态多态&#x…
阅读更多...
C语言从入门到实战----C语言中内存函数的使用和模拟实现

C语言从入门到实战----C语言中内存函数的使用和模拟实现

目录 前言 1.memcpy 使用和模拟实现 2. memmove 使用和模拟实现 3. memset 函数的使用 4. memcmp 函数的使用 前言 在编程领域，内存管理是至关重要的一环，它确保了程序能够高效、稳定地运行。 C语言作为一门底层的编程语言，提供了一系…
阅读更多...
【3D目标检测】Det3d—SE-SSD模型训练（前篇）：KITTI数据集训练

【3D目标检测】Det3d—SE-SSD模型训练（前篇）：KITTI数据集训练

SE-SSD模型训练 1 基于Det3d搭建SE-SSD环境2 自定义数据准备2.1 自定义数据集标注2.2 训练数据生成2.3 数据集分割 3 训练KITTI数据集3.1 数据准备3.2 配置修改3.3 模型训练 1 基于Det3d搭建SE-SSD环境 Det3D环境搭建参考：【3D目标检测】环境搭建（OpenP…
阅读更多...
Linux非root用户安装mysql5.7

Linux非root用户安装mysql5.7

1、下载安装包MySQL :: Download MySQL Community Server 点击Archives 我下载的是5.7.27版本，linux主机直接选择linux-Generic即可，选择第一个包下载即可 2、安装mysql 解压 shell> tar xzvf mysql-5.7.31-linux-glibc2.12-x86_64.tar.gz shell&g…
阅读更多...
基于深度学习YOLOv8+PyQt5的水底海底垃圾生物探测器检测识别系统（源码+数据集+配置说明）

基于深度学习YOLOv8+PyQt5的水底海底垃圾生物探测器检测识别系统（源码+数据集+配置说明）

wx供重浩：创享日记 对话框发送：323海底 获取完整源码7000张数据集配置说明文件说明远程操作配置环境跑通程序 效果展示 基于深度学习YOLOv8PyQt5的水底海底垃圾生物探测器检测识别系统设计（源码数据集配置文件） 各文件说明 程序运…
阅读更多...
申请免费域名证书

申请免费域名证书

目录 背景： 域名证书是什么： 域名证书有哪些： 部署域名证书有什么用： 免费的域名证书在哪里申请： 背景： 域名是一个IP地址上的“面具” 。一个域名的目的是便于记忆和沟通的一组服务器的地址(网站&…
阅读更多...
分页功能制作

分页功能制作

使用HTML，css，js和json假数据制作分页功能。 以下为分页功能结构，下面可以点击上一页，下一页及数字，还可以自己输入想要跳转的页面点击跳转。下面每页显示的内容也会跟着改变。还可以选择不同的每页显示数据的条数。默…
阅读更多...
python数据实时传给unity工程并绘制出来

python数据实时传给unity工程并绘制出来

python # 服务器端代码 import socket import random import struct import time# 创建一个服务器Socket server_socket socket.socket(socket.AF_INET, socket.SOCK_STREAM)# 监听的地址和端口 host 127.0.0.1 port 12345# 绑定地址和端口 server_socket.bind((host, port…
阅读更多...
C语言中常用的文件操作

C语言中常用的文件操作

本文将介绍常用的关于文件操作函数，如fopen,fclose,fread,fwrite,feek,ftell,rewind以及feof和ferror等文件操作操作函数，还介绍一些用于所有输入输出流的函数如fgetc,fputc,fgets,fputs,fprintf,fscanf等函数，还介绍了sscanf,sprintf函数,fe…
阅读更多...
主流电商平台淘宝/1688/京东电商数据实时采集监测|电商API接口接入

主流电商平台淘宝/1688/京东电商数据实时采集监测|电商API接口接入

电商大数据平台基于网络主流电商平台淘宝/1688/京东电商数据进行搭建，全面监测了包含淘宝、京东、苏宁、美团、大众点评等共计100余个主流电商交易平台，并凭借多年的电子商务数据分析挖掘经验积累形成的电商数据清洗体系和挖掘模型，能高效完成…
阅读更多...
DashVector - 阿里云向量检索服务

DashVector - 阿里云向量检索服务

DashVector 文章目录 DashVector一、关于 DashVector二、使用 DashVector 前提准备1、创建Cluster：2、获得API-KEY3、安装最新版SDK 三、快速使用 DashVector1. 创建Client2. 创建Collection3、插入Doc4、相似性检索5、删除Doc6. 查看Collection统计信息7. 删除Coll…
阅读更多...
Flask 与小程序 的图片数据交互 过程及探讨研究学习

Flask 与小程序 的图片数据交互 过程及探讨研究学习

今天不知道怎么的&#xff0c;之前拿编程浪子地作品抄过来粘上用好好的&#xff0c;昨天开始照片突的就不显示了。 今天不妨再耐味地细细探究一下微信小程序wxml 和flask服务器端是怎么jpg图片数据交互的。 mina/pages/food/index.wxml <!--index.wxml--> <!--1px …
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023

友情链接： 我的编程经验分享 一条长河网 尧图网站开发 尧图建网站 广利置业