C语言-嵌入式-STM32:FreeRTOS说明和详解

        Free即免费的,RTOS的全称是Real time operating system,中文就是实时操作系统。

         注意:RTOS不是指某一个确定的系统,而是指一类操作系统。比如:uc/OS,FreeRTOS,RTX,RT-Thread 等这些都是RTOS类操作系统。

        FreeRTOS是一个迷你的实时操作系统内核。作为一个轻量级的操作系统,功能包括:任务管理、时间 管理、信号量、消息队列、内存管理、记录功能、软件定时器、协程等,可基本满足较小系统的需 要。 由于RTOS需占用一定的系统资源(尤其是RAM资源),只有μC/OS-II、embOS、salvo、FreeRTOS等少 数实时操作系统能在小RAM单片机上运行。相对μC/OS-II、embOS等商业操作系统,FreeRTOS操作系 统是完全免费的操作系统,具有源码公开、可移植、可裁减、调度策略灵活的特点,可以方便地移植 到各种单片机上运行,其最新版本为10.4.4版。

        1、任务的创建与删除

        1.1、 什么是任务?

        任务可以理解为进程/线程,创建一个任务,就会在内存开辟一个空间。

       1. 2、 任务创建与删除相关函数

        任务创建与删除相关函数有如下三个:

函数名称 函数作用
xTaskCreate() 动态方式创建任务
xTaskCreateStatic() 静态方式创建任务
vTaskDelete() 删除任务
        1.2.1、任务动态创建与静态创建的区别:

         动态创建任务的堆栈由系统分配,而静态创建任务的堆栈由用户自己传递。 通常情况下使用动态方式创建任务。

        1.2.2、vTaskDelete 删除任务函数原型
void vTaskDelete(TaskHandle_t xTaskToDelete);

        只需将待删除的任务句柄传入该函数,即可将该任务删除。 当传入的参数为NULL,则代表删除任务自身(当前正在运行的任务)。

        总结:在FreeRTOS中,任务的概念有些类似于Linux中的多线程操作,因为在一个main()函数中,只要进入了while或者for循环,那么将会不断地去重复里面的代码块内容,如果此时我们想要“同时”去做另一件事,那就分身乏术了。而多任务(多线程/进程)很好的帮助我们去“一心二用”甚至“一心多用”。

2、任务调度

        2.1、什么是任务调度?

        在单片机中,任务的执行其实是以先后顺序来编译运行的,只不过计算机运行的速度非常快,例如:每一个任务分配1ms就能够完成,那么3个同时进行的任务,按先后顺序执行1次也就只要3ms,我们肉眼根本分不清它们的先后顺序,这样我们就会认为他们是在同时执行的。但是,既然讲到了先后顺序,那就有优先级之分了,也就是接下来要讲的任务调度:到底谁先执行?

         而调度器就是使用相关的调度算法来决定当前需要执行的哪个任务。

        FreeRTOS中开启任务调度的函数是 vTaskStartScheduler() 

        2.2、FreeRTOS的任务调度规则是怎样的?

        FreeRTOS 是一个实时操作系统,它所奉行的调度规则:

        1. 高优先级抢占低优先级任务,系统永远执行最高优先级的任务(即抢占式调度);

        总结: 1. 高优先级任务,优先执行;

                    2. 高优先级任务不停止,低优先级任务无法执行;

                    3. 被抢占的任务将会进入就绪态

        2. 同等优先级的任务轮转调度(即时间片调度);

        总结: 1. 同等优先级任务,轮流执行,时间片流转;

                    2. 一个时间片大小,取决为滴答定时器中断周期;

                    3. 注意没有用完的时间片不会再使用,下次任务 Task3 得到执行,还是按照一个时间片的时钟节拍运行

       

         2.3、任务的状态

        FreeRTOS中任务共存在4种状态:

        Running 运行态 当任务处于实际运行状态称之为运行态,即CPU的使用权被这个任务占用(同一时间仅一个任务处于运行 态)。

        Ready 就绪态 处于就绪态的任务是指那些能够运行(没有被阻塞和挂起),但是当前没有运行的任务,因为同优先级或更 高优先级的任务正在运行。

        Blocked 阻塞态 如果一个任务因延时,或等待信号量、消息队列、事件标志组等而处于的状态被称之为阻塞态。

        Suspended 挂起态 类似暂停,通过调用函数 vTaskSuspend() 对指定任务进行挂起,挂起后这个任务将不被执行,只有调用 函数 xTaskResume() 才可以将这个任务从挂起态恢复。

        总结: 1. 仅就绪态可转变成运行态 2. 其他状态的任务想运行,必须先转变成就绪态。

        4、队列 

        4.1、什么是队列?

        队列又称消息队列,是一种常用于任务间通信的数据结构,队列可以在任务与任务间、中断和任务间传递信息。

        为什么不使用全局变量?

        如果使用全局变量,在任务1中修改了变量 a ,等待任务3处理该变量,但任务3处理速度很慢(比如调用了延时函数),那么在任务3处理数据的过程中,如果有中断或任务2修改了变量 a ,那么将会导致任务3会得到一个不正确的变量a。

        关于队列的几个名词:

        队列项目:队列中的每一个数据;

        队列长度:队列能够存储队列项目的最大数量;

        创建队列时,需要指定队列长度及队列项目大小

        4.2、队列特点

        4.2.1. 数据入队出队方式

                通常采用先进先出(FIFO:first in first out)的数据存储缓冲机制,即先入队的数据会先从队列中被读取。 也可以配置为后进先出(LIFO)方式,但用得比较少。

        4.2. 2. 数据传递方式

                采用实际值传递,即将数据拷贝到队列中进行传递,也可以传递指针,在传递较大的数据的时候采用指针传递。

         4.2.3. 多任务访问

                队列不属于某个任务,任何任务和中断都可以向队列发送/读取消息

         4.2.4. 出队、入队阻塞

                当任务向一个队列发送消息时,可以指定一个阻塞时间,假设此时当队列已满无法入队。

        阻塞时间如果设置为:

                 0:直接返回不会等待;

                 0~port_MAX_DELAY:等待设定的阻塞时间,若在该时间内还无法入队,超时后直接返回不再等待;

                 port_MAX_DELAY:死等,一直等到可以入队为止。出队阻塞与入队阻塞类似;

       

         4.3、队列相关 API 函

        4.3.1、创建队列
QueueHandle_t xQueueCreate( UBaseType_t uxQueueLength,
        UBaseType_t uxItemSize );

        参数:

                 uxQueueLength:队列可同时容纳的最大项目数

                uxItemSize:存储队列中的每个数据项所需的大小(以字节为单位)。

                返回值: 如果队列创建成功,则返回所创建队列的句柄 。 如果创建队列所需的内存无法分配 ,则返回 NULL。

         4.3.2、写队列

BaseType_t xQueueSend(//向尾部发送数据
    QueueHandle_t xQueue,          //队列的句柄,数据项将发送到此队列。
    const void * pvItemToQueue,    //待写入数据
    TickType_t xTicksToWait        //阻塞超时时间
);    //返回值:如果成功写入数据,返回 pdTRUE,否则返回 errQUEUE_FULL。
        4.3.3、读队列

BaseType_t xQueueReceive(//从队列头部读取消息,并删除消息
    QueueHandle_t xQueue,//待读取的队列
    void *pvBuffer,      //数据读取缓冲区
    TickType_t xTicksToWait//阻塞超时时间
);    //成功返回 pdTRUE,否则返回 pdFALSE。

        5、信号量

        5.1、什么是信号量?

        信号量(Semaphore),是在多任务环境下使用的一种机制,是可以用来保证两个或多个关键代码段不被并 发调用。

        信号量这个名字,我们可以把它拆分来看,信号可以起到通知信号的作用,然后我们的量还可以用来表示资 源的数量,当我们的量只有0和1的时候,它就可以被称作二值信号量,只有两个状态,当我们的那个量没有 限制的时候,它就可以被称作为计数型信号量。

         信号量也是队列的一种。

        5.2、什么是二值信号量?

        二值信号量其实就是一个长度为1,大小为零的队列,只有0和1两种状态,通常情况下,我们用它来进行互 斥访问或任务同步。

        互斥访问:比如门钥匙,只有获取到钥匙才可以开门

        任务同步:比如我录完视频你才可以看视频

        5.3、二值信号量相关 API 函数

        5.3.1、创建二值信号量
SemaphoreHandle_t xSemaphoreCreateBinary( void )
//参数:
//    无
//返回值:
//    成功,返回对应二值信号量的句柄;
//    失败,返回 NULL 。
        5.3.2、释放二值信号量
BaseType_t xSemaphoreGive( SemaphoreHandle_t xSemaphore )
/*参数:
    xSemaphore:要释放的信号量句柄
返回值:
    成功,返回 pdPASS ;
    失败,返回 errQUEUE_FULL 。
*/
        5.3.3、获取二值信号量
BaseType_t xSemaphoreTake( SemaphoreHandle_t xSemaphore,
TickType_t xTicksToWait );
/*
参数:
    xSemaphore:要获取的信号量句柄
    xTicksToWait:超时时间,0 表示不超时,portMAX_DELAY表示卡死等待;
返回值:
    成功,返回 pdPASS ;
    失败,返回 errQUEUE_FULL 。
*/

        5.4、什么是计数信号量?

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

        5.5、计数型信号量相关 API 函数

         5.5.1、使用动态方法创建计数型信号量
SemaphoreHandle_t xSemaphoreCreateCounting( UBaseType_t uxMaxCount,
    UBaseType_t uxInitialCount);
/*
参数:
    uxMaxCount:可以达到的最大计数值
    uxInitialCount:创建信号量时分配给信号量的计数值
返回值:
    成功,返回对应计数型信号量的句柄;
    失败,返回 NULL 。
*/

        计数型信号量的释放和获取与二值信号量完全相同 !

         5.5.2、释放计数信号量
BaseType_t xSemaphoreGive( SemaphoreHandle_t xSemaphore )
/*参数:
    xSemaphore:要释放的信号量句柄
返回值:
    成功,返回 pdPASS ;
    失败,返回 errQUEUE_FULL 。
*/
        5.5.3、获取计数信号量
BaseType_t xSemaphoreTake( SemaphoreHandle_t xSemaphore,
TickType_t xTicksToWait );
/*
参数:
    xSemaphore:要获取的信号量句柄
    xTicksToWait:超时时间,0 表示不超时,portMAX_DELAY表示卡死等待;
返回值:
    成功,返回 pdPASS ;
    失败,返回 errQUEUE_FULL 。
*/

        5.6、什么是互斥量?

        在多数情况下,互斥型信号量和二值型信号量非常相似,但是从功能上二值型信号量用于同步,而互斥型信 号量用于资源保护。

         互斥型信号量和二值型信号量还有一个最大的区别,互斥型信号量可以有效解决优先级反转现象。

        5.7、什么是优先级翻转?

        以上图为例,在正常情况下(没有使用互斥信号量),优先级最低的任务(没有人权)因为任务调度权限的问题,非常容易被打断,尤其是在数据操作过程中非常容易造成数据的不准确。为了解决这个问题,引入了互斥信号量。

        假设3个任务的优先级TaskH>TaskM>TaskL,正常情况下,TaskL会被TaskH和TaskM所打断,TaskM会被TaskH所打断。但是当TaskH和TaskL使用了互斥信号量后,假设任务是上厕所:

        当L在上厕所时,此时H也想上厕所,但是因为加入了互斥信号量,L的优先级会发生翻转,它的优先级会被临时提升到H的优先级,直到释放互斥信号量。

        在H等待过程中,M想要打断L施法,但是在H面前它级别不够,所以只能老老实实等在H的后面。

        当L释放互斥量,优先级高的H则会抢占厕所,直到H也释放互斥量,M才有机会抢占厕所资源。

        优先级继承:当一个互斥信号量正在被一个低优先级的任务持有时, 如果此时有个高优先级的任务也尝试获 取这个互斥信号量,那么这个高优先级的任务就会被阻塞。不过这个高优先级的任务会将低优先级任务的优 先级提升到与自己相同的优先级。 优先级继承并不能完全的消除优先级翻转的问题,它只是尽可能的降低优先级翻转带来的影响。

        5.8、互斥量相关 API 函数

        互斥信号量不能用于中断服务函数中!

SemaphoreHandle_t xSemaphoreCreateMutex( void )
/*
参数:
    无
返回值:
    成功,返回对应互斥量的句柄;
    失败,返回 NULL 。
*/

        6、事件标志组

        6.1、什么是事件标志组?

        事件标志位:表明某个事件是否发生,联想:全局变量 flag。通常按位表示,每一个位表示一个事件(高8位 不算)

        事件标志组是一组事件标志位的集合, 可以简单的理解事件标志组,就是一个整数。

        事件标志组本质是一个 16 位或 32 位无符号的数据类型 EventBits_t ,由 configUSE_16_BIT_TICKS 决定。

        虽然使用了 32 位无符号的数据类型变量来存储事件标志, 但其中的高8位用作存储事件标志组的控制信息, 低 24 位用作存储事件标志 ,所以说一个事件组最多可以存储 24 个事件标志!

        6.2、事件标志组相关 API 函数

函数 描述
xEventGroupCreate() 使用动态方式创建事件标志组
xEventGroupCreateStatic() 使用静态方式创建事件标志组
xEventGroupClearBits() 清零事件标志位
xEventGroupClearBitsFromISR() 在中断中清零事件标志位
xEventGroupSetBits() 设置事件标志位
xEventGroupSetBitsFromISR() 在中断中设置事件标志位
xEventGroupWaitBits() 等待事件标志位
                6.2.1、创建事件标志组
EventGroupHandle_t xEventGroupCreate( void );
/*
参数:
    无
返回值:
    成功,返回对应事件标志组的句柄;
    失败,返回 NULL 。
*/
                6.2.2、设置事件标志位
EventBits_t xEventGroupSetBits( EventGroupHandle_t xEventGroup,
    const EventBits_t uxBitsToSet );
/*
参数:
    xEventGroup:对应事件组句柄。
    uxBitsToSet:指定要在事件组中设置的一个或多个位的按位值。
返回值:
    设置之后事件组中的事件标志位值
*/
                6.2.3、清除事件标志位
EventBits_t xEventGroupClearBits(EventGroupHandle_t xEventGroup,
    const EventBits_t uxBitsToClear );
/*
参数:
    xEventGroup:对应事件组句柄。
    uxBitsToClear:指定要在事件组中清除的一个或多个位的按位值。
返回值:
    清零之前事件组中事件标志位的值。
*/
                6.2.4、等待事件标志位
EventBits_t xEventGroupWaitBits(
    const EventGroupHandle_t xEventGroup,
    const EventBits_t uxBitsToWaitFor,
    const BaseType_t xClearOnExit,
    const BaseType_t xWaitForAllBits,
    TickType_t xTicksToWait );
/*
参数:
    xEventGroup:对应的事件标志组句柄
    uxBitsToWaitFor:指定事件组中要等待的一个或多个事件位的按位值
    xClearOnExit:pdTRUE——清除对应事件位,pdFALSE——不清除
    xWaitForAllBits:pdTRUE——所有等待事件位全为1(逻辑与),pdFALSE——等待的事件位有一个为1
                    (逻辑或)
    xTicksToWait:超时
返回值:
    等待的事件标志位值:等待事件标志位成功,返回等待到的事件标志位
    其他值:等待事件标志位失败,返回事件组中的事件标志位
*/

        举例:有一二三四五六七个任务,就像集龙珠,每当一个任务被执行,对应的标志位置1,当对应的7个标志位都被置1时,则可以触发终极任务:召唤神龙。

        7、任务通知

        7.1、什么是任务通知?

         FreeRTOS 从版本 V8.2.0 开始提供任务通知这个功能,每个任务都有一个 32 位的通知值。按照 FreeRTOS 官方的说法,使用消息通知比通过二进制信号量方式解除阻塞任务快 45%, 并且更加省内存(无需创建队 列)。 在大多数情况下,任务通知可以替代二值信号量、计数信号量、事件标志组,可以替代长度为 1 的队列(可 以保存一个 32 位整数或指针值),并且任务通知速度更快、使用的RAM更少!

        7.2、任务通知值的更新方式

        FreeRTOS 提供以下几种方式发送通知给任务 :

        发送消息给任务,如果有通知未读, 不覆盖通知值

        发送消息给任务,直接覆盖通知值

        发送消息给任务,设置通知值的一个或者多个位

        发送消息给任务,递增通知值 通过对以上方式的合理使用,可以在一定场合下替代原本的队列、信号量、事件标志组等

        7.3、任务通知的优势和劣势

        7.3.1、任务通知的优势

        1. 使用任务通知向任务发送事件或数据,比使用队列、事件标志组或信号量快得多。

        2. 使用其他方法时都要先创建对应的结构体,使用任务通知时无需额外创建结构体。

        7.3.2、任务通知的劣势

        1. 只有任务可以等待通知,中断服务函数中不可以,因为中断没有 TCB 。

        2. 通知只能一对一,因为通知必须指定任务。

        3. 等待通知的任务可以被阻塞, 但是发送消息的任务,任何情况下都不会被阻塞等待。

        4. 任务通知是通过更新任务通知值来发送数据的,任务结构体中只有一个任务通知值,只能保持一个数 据。

        7.4、任务通知相关 API 函数

        7.4.1、发送通知
 函数 描述
xTaskNotify() 发送通知,带有通知值
xTaskNotifyAndQuery() 发送通知,带有通知值并且保留接收任务的原通知值
xTaskNotifyGive() 发送通知,不带通知值
xTaskNotifyFromISR() 在中断中发送任务通知
xTaskNotifyAndQueryFromISR() 在中断中发送任务通知
vTaskNotifyGiveFromISR() 在中断中发送任务通知
//发送通知,带有通知值
BaseType_t xTaskNotify( TaskHandle_t xTaskToNotify,
        uint32_t ulValue,
        eNotifyAction eAction );
/*
参数:
    xTaskToNotify:需要接收通知的任务句柄;
    ulValue:用于更新接收任务通知值, 具体如何更新由形参 eAction 决定;
    eAction:一个枚举,代表如何使用任务通知的值;

返回值:
    如果被通知任务还没取走上一个通知,又接收了一个通知,则这次通知值未能更新并返回 pdFALSE, 而其他情况均返回pdPASS。
-----------------------------------------------------------------------------------------
    枚举值                         描述
    eNoAction                   发送通知,但不更新值(参数ulValue未使用)

    eSetBits                    被通知任务的通知值按位或ulValue。(某些场景下可代替事件组,
                                效率更高)

    eIncrement                  被通知任务的通知值增加1(参数ulValue未使用),相当于
                                xTaskNotifyGive

    eSetValueWithOverWrite      被通知任务的通知值设置为 ulValue。(某些场景下可代替
                                xQueueOverwrite ,效率更高)

    eSetValueWithoutOverwrite   如果被通知的任务当前没有通知,则被通知的任务的通知值设为
                                ulValue。
                                如果被通知任务没有取走上一个通知,又接收到了一个通知,则这次
                                通知值丢弃,在这种情况下视为调用失败并返回 pdFALSE
                                (某些场景下可代替 xQueueSend ,效率更高)
----------------------------------------------------------------------------------------
*/
//发送通知,带有通知值并且保留接收任务的原通知值
BaseType_t xTaskNotifyAndQuery( TaskHandle_t xTaskToNotify,
    uint32_t ulValue,
    eNotifyAction eAction,
    uint32_t *pulPreviousNotifyValue );
/*
参数:
    xTaskToNotify:需要接收通知的任务句柄;
    ulValue:用于更新接收任务通知值, 具体如何更新由形参 eAction 决定;
    eAction:一个枚举,代表如何使用任务通知的值;
    pulPreviousNotifyValue:对象任务的上一个任务通知值,如果为 NULL, 则不需要回传, 这个时候就等价于函数 xTaskNotify()。

返回值:
    如果被通知任务还没取走上一个通知,又接收了一个通知,则这次通知值未能更新并返回 pdFALSE, 而其他
情况均返回pdPASS。
*/
//发送通知,不带通知值
BaseType_t xTaskNotifyGive( TaskHandle_t xTaskToNotify );
/*
参数:
    xTaskToNotify:接收通知的任务句柄, 并让其自身的任务通知值加 1。
返回值:
    总是返回 pdPASS
*/
        7.4.2、等待通知

        等待通知API函数只能用在任务,不可应用于中断中!

//
uint32_t ulTaskNotifyTake( BaseType_t xClearCountOnExit,
    TickType_t xTicksToWait );
/*
参数:
    xClearCountOnExit:指定在成功接收通知后,将通知值清零或减 1,pdTRUE:把通知值清零(二值信号
    量);pdFALSE:把通知值减一(计数型信号量);
    xTicksToWait:阻塞等待任务通知值的最大时间;
返回值:
    0:接收失败
    非0:接收成功,返回任务通知的通知值
*/
BaseType_t xTaskNotifyWait( uint32_t ulBitsToClearOnEntry,
    uint32_t ulBitsToClearOnExit,
    uint32_t *pulNotificationValue,
    TickType_t xTicksToWait );
/*
    ulBitsToClearOnEntry:函数执行前清零任务通知值那些位 。
    ulBitsToClearOnExit:表示在函数退出前,清零任务通知值那些位,在清 0 前,接收到的任务通知值会先被保存到形参*pulNotificationValue 中。
    pulNotificationValue:用于保存接收到的任务通知值。 如果 不需要使用,则设置为 NULL 即可 。
    xTicksToWait:等待消息通知的最大等待时间。
*/

        8、延时函数

        延时函数分类

        相对延时:vTaskDelay

        绝对延时:vTaskDelayUntil

        vTaskDelay 与 HAL_Delay 的区别:

        vTaskDelay 作用是让任务阻塞,任务阻塞后,RTOS系统调用其它处于就绪状态的优先级最高的任务来执 行。

        HAL_Delay 一直不停的调用获取系统时间的函数,直到指定的时间流逝然后退出,故其占用了全部CPU时 间。

相关推荐

  1. C语言-嵌入-STM32:有哪些接口协议?

    2024-05-01 10:36:02       34 阅读

最近更新

  1. docker php8.1+nginx base 镜像 dockerfile 配置

    2024-05-01 10:36:02       94 阅读
  2. Could not load dynamic library ‘cudart64_100.dll‘

    2024-05-01 10:36:02       100 阅读
  3. 在Django里面运行非项目文件

    2024-05-01 10:36:02       82 阅读
  4. Python语言-面向对象

    2024-05-01 10:36:02       91 阅读

热门阅读

  1. 深入解密Spring Boot日志:最佳实践与策略解析

    2024-05-01 10:36:02       35 阅读
  2. 【一站式学会Kotlin】第二节 kotlin 的var 和 val变量

    2024-05-01 10:36:02       30 阅读
  3. 有哪些开源协议?

    2024-05-01 10:36:02       32 阅读
  4. Go语言nil概念,make与new的区别

    2024-05-01 10:36:02       38 阅读
  5. 「AIGC」AIGC技术入门

    2024-05-01 10:36:02       36 阅读
  6. 服务器分类

    2024-05-01 10:36:02       32 阅读
  7. 计算机视觉(CV)简介

    2024-05-01 10:36:02       29 阅读
  8. bash逻辑取反技巧(bool_not函数)

    2024-05-01 10:36:02       29 阅读
  9. Android Framework 获取所有应用的运行异常情况

    2024-05-01 10:36:02       37 阅读
  10. 在 H5 页面和 uniapp 小程序之间进行数据通信

    2024-05-01 10:36:02       33 阅读