FreeRTOS总结

堆内存管理

有五种内存分配方式
常用的为heap_4方式

任务管理

任务不能以任何方式实现函数返回，可以在任务的死循环外加上xTaskDelete( )
创建任务：xTaskCreate( )
1. 任务堆栈的大小，空闲任务的最小是configMINIMAL_STACK_SIZE，其他任务不能比他小
2. 任务优先级，0~configMAX_PRIORITIES-1 ，数字越小，优先级越低 。
  1. configMAX_PRIORITIES尽量保证必要最小值，越大消耗RAM越多
滴答中断：一般调度器都是基于时间片的抢占系统
- 滴答中断频率：configTICK_RATE_HZ，要与滴答定时器的频率匹配
- 典型值为100HZ，即10ms的时间片，但是要注意vTaskDelay函数的延时
- pdMS_TO_TICKS，使得100HZ的滴答只能延时10ms的整数倍时间，所以我感觉1000HZ也还可以
任务状态
- 阻塞状态：
  - 时间性事件：例如延时vTaskDelay
  - 同步事件：进入阻塞等待数据到达，例如：队列、二进制和计数量、互斥量、事件组、任务通知等。如果设置10ms，10ms内数据到达，或者超过10ms数据没到达，都会离开阻塞状态
- 暂停状态：进入暂停唯一方法就是vTaskSuspend，退出方法就是vTaskResume
- 就绪状态：准备好运行，但是还没运行
阻塞延时：vTaskDelay和vTaskDelayUntil
空闲任务
- 调度器启动时会自动创建空闲任务，当其他任务都阻塞时也有空闲任务时刻运行
- 空闲任务钩子：vApplicationIdleHook
  - ***功能：***执行低优先级、后台或连续处理函数；测量空闲处理能力；将处理器置于低功耗模式
  - **注意：**钩子函数绝对不能阻塞和暂停；如果使用了vTaskDelete，空闲任务负责清理被删除任务的资源，还要确保空闲任务不会被饿死
任务优先级：设置任务优先级：vTaskPrioritySet，获取任务优先级：vTaskPriorityGet
**任务删除：**vTaskDelete
**线程本地存储：**vTaskSetThreadLocalStoragePointer和pvTaskGetThreadLocalStoragePointer，根据任务数组的索引设置和读取数据
调度算法*：***
- 时间片优先的抢占式调度：用的最多，但注意资源不能被多个任务同时访问，否则可能破坏资源
  - 一个任务优先级高于运行状态任务会抢占运行状态任务
  - 同等优先级任务使用时间片共享处理时间
  - 自动会执行最高优先级就绪态的任务
- 不含时间片的抢占式调度
  - 调度器转换新任务只有两种可能：高优先级任务就绪抢占，运行状态任务阻塞或者暂停
- 协同调度
  - 只有运行态任务阻塞或者使用taskYIELD进行任务让步，才会发生切换

队列管理

FreeRTOS通过复制实现队列的方式，优点是可以直接发送栈变量到队列，不需要先分配缓冲区存放数据，发送和接收任务完全脱钩，复制实现队列不妨碍引用实现队列。
**多任务访问：**队列本身就是对象，可以被任意个任务或者ISR访问
队列读取、写入阻塞：
- 当任务从队列读取或者写入数据时，可以选择性阻塞时间，当阻塞状态接收到数据或者阻塞时间超时，任务都会转移到就绪状态。
- 如果有多个任务等待队列数据，只会有一个任务会解除阻塞，最高优先级先解除，相同优先级则等待时间最长的先解除
**队列创建：**xQueueCreate
**队尾插入：**xQueueSendToBack
**队首插入：**xQueueSendToFront
**队列接收：**xQueueReceive
**数据量查询：**uxQueueMessagesWaiting
从多个来源接收数据：
- 简单：可以使用队列传输结构体，结构体包含来源和数据
处理大数据和可变大小数据：最好使用队列传输数据的指针
- 被指向的RAM的所有者必须明确定义
- 被指向的RAM保持有效
**队列集：**能够从多个来源接收数据，但比结构体方法更繁琐效率更低
- 创建队列集
- 队列添加队列集
- 队列集读取数据
**队列集创建：**xQueueCreateSet
**队列添加队列集：**xQueueAddToSet
**队列集读取队列：**xQueueSelectFromSet
**队列集移除队列：**xQueueRemoveFromSet
***队列创建邮箱：***邮箱用来指长度为1的队列
- 队列将数据从一个任务发送到另一个任务，发送者放置数据，接收者读取后移除数据
- 邮箱将数据从一个任务发送到另一个任务，发送者放置新数据并覆盖原数据，接收者读取数据并不移除
**发送并覆盖邮箱数据：**xQueueOverwrite
**接收并不移除数据：**xQueuePeek

软件定时器

**软件定时器回调函数形式：**void ATimerCallback(TimerHandle_t xTimer)
- 回调函数应该短小精悍，不能阻塞
- 可以多个定时器使用同一回调函数，但是需要在函数里判断定时器句柄
- 也可以每个定时器使用不同回调函数
**定时器周期：**指从启动软件定时器到执行软件定时器回调函数之间的时间
- 一次性定时器：只执行一次回调函数
- 自动重载：到期后自动重启，回调函数周期执行
- 到期时间是从发送“启动定时器”命令到定时器命令队列的时间开始计算，而不是守护任务从命令队列收到“启动定时器”命令的时间开始计算的
定时器状态：
- 休眠：休眠的定时器存在，可以通过句柄调用，回调函数不会执行
  - xTimerCreate创建后就是休眠状态
  - 运行转休眠，
- 运行：到规定的周期时间，自动执行回调函数
  - 调用xTimerStart，xTimerReset，xTimerChangePeriod都可以转换为运行态
RTOS守护任务
- 在调度器启动时自动创建，优先级和栈大小由常量设置
- 软件定时器API将命令从调用函数发送到守护任务，在守护任务的“定时器命令队列”上
- 守护任务的调度：只有当守护任务为能够运行的最高优先级时，才会处理命令和执行定时器回调函数
- 发送到定时器命令队列的命令包含时间戳，确保启动的定时器是从发送“启动定时器”命令到定时器命令队列的时间开始计算
**创建软件定时器：**xTimerCreate
启动软件定时器：xTimerStart
**停止定时器：**xTimerStop
**删除定时器：**xTimerDelete
**定时器ID：**是一个标签值，可以随意使用，创建软件定时器时，会给ID分配初始值
- vTimerSetTimerID，创建定时器时，会为软件定时器分配一个标识符 (ID)，此函数更改此标识符。
- pvTimerGetTimerID，返回分配给软件计时器的 ID
**更改软件定时器周期：**xTimerChangePeriod
**重置软件定时器：**xTimerReset

中断管理

任务是软件功能，和运行的硬件无关。中断是硬件功能，最低优先级的中断可以抢断最高优先级任务，反之则不可以。
专门用于ISR的API函数，在名称后添加FromISR，不要在ISR中调用没有后缀的函数
**使用单独中断安全函数的缺点：**有需要在ISR中调用第三方函数，但第三方函数用了正常的FreeRTOS API函数
- 将中断处理推迟给任务，就可以在任务中调用
- 如果有的话，将API改为FromISR结尾的函数
xHigherPriorityTaskWoken参数
- 中断结束时，会回到打断处继续执行，但如果中断期间，有了更高优先级任务就绪，就应该执行更高优先级任务，而不是返回原点继续执行。如果不管的话，更高优先级任务将保持就绪状态，直到不在中断时的下一次调度器运行。
  - 切换更高优先级任务不会在中断内自动发生，设置了xHigherPriorityTaskWoken变量通知应该上下文切换
  - FromISR结尾的函数有xHigherPriorityTaskWoken变量，用于此目的，taskYIELD函数是在任务中请求任务切换的函数。
  - portYIELD_FROM_ISR是taskYIELD函数的中断版本
- 示例代码如下:
```
void vTimerISR( void * pvParameters )
{BaseType_t xHigherPriorityTaskWoken = pdFALSE;xHigherPriorityTaskWoken = pdFALSE;xSemaphoreGiveFromISR( xSemaphore, &xHigherPriorityTaskWoken );/* Yield if xHigherPriorityTaskWoken is true.  The actual macro used here is port specific. */portYIELD_FROM_ISR( xHigherPriorityTaskWoken );
}
```
推迟中断处理
- 中断所需的其他处理工作通常可以在任务中运行，所以可以将中断的工作推迟到任务
- 以下情况强烈建议推迟到任务
  - 中断所需的处理并不简单
  - 任务处理能方便执行ISR内部无法执行的操作
  - 中断处理不确定，不知道处理工作需要多长时间
二进制信号量：能够有效使任务和中断同步，可以认为使长度为1的队列
- 设置推迟任务的优先级确保，该任务可以抢占系统其他任务
- 在ISR实现中调用portYIELD_FROM_ISR，确保ISR返回到推迟中断处理任务
- 创建二值信号量： xSemaphoreCreateBinary
- **释放信号量：**xSemaphoreGive
- **获取信号量：**xSemaphoreTake
**计数信号量：**可用于资源管理，计数事件
- **创建计数信号量：**xSemaphoreCreateCounting
- **释放信号量：**xSemaphoreGive
- **获取信号量：**xSemaphoreTake
**推迟工作到守护任务：**xTimerPendFunctionCallFromISR()
中断程序使用队列：
- 使用xQueueSendToFront和xQueueSendToBack的ISR版本
- 数据到达频率很高，队列效率不高
- 更高效且适合生产代码方法：
  - 直接内存访问DMA
  - 接收到的字符复制到线程安全的RAM缓冲区
  - 直接在ISR内处理接收到的字符，队列只发送处理结果
中断嵌套
- 数字优先级和逻辑优先级：数字是分配给中断优先级的数字，逻辑是描述该中断相较于其他中断的优先级
- configMAX_SYSCALL_INTERRUPT_PRIORITYD，低于此优先级中断可以被管理
- configKERNEL_INTERRUPT_PRIORITY，设置滴答中断的优先级，最低优先级
- 对时间精度要求非常严格的功能，可以考虑使用高于configMAX_SYSCALL_INTERRUPT_PRIORITYD的优先级
- 必须始终configKERNEL_INTERRUPT_PRIORITY设置为尽可能最低的中断优先级
- configMAX_SYSCALL_INTERRUPT_PRIORITYD的数值要注意，如cortex-m不允许设置为0

资源管理

资源访问导致数据损坏的例子：A任务打印hello，A打印到he，B任务抢占A，打印abort，最终结果就是heabortllo。这是不正确的。
**函数重入：**函数可以安全的在多个任务调用，或既可以从中断也可以在任务使用，那么函数就是重入，也称作线程安全。每个任务都维护自己的栈和硬件寄存器值，除了访问栈上的数据或保存至寄存器的数据外，不访问其他数据，就是重入函数。
**相互排斥：**任务之间共享的资源进行访问时，必须使用相互排斥进行管理。使资源不被共享，被单一程序访问。
**临界区：**taskENTER_CRITICAL和taskEXIT_CRITICAL成对使用。FROM_ISR版本的taskENTER_CRITICAL会有返回值，返回值要传递给taskEXIT_CRITICAL。
- 工作原理是禁用中断，即禁用所有可以管理的中断
- 临界区必须短小，否则对中断响应产生不利响应
- 临界区的嵌套是安全的，Freertos中两个宏定义是改变中断使能状态唯一合法方式
**暂停调度器：**如果临界区代码过长，可以使用暂停调度器，但恢复调度器操作较慢
- vTaskSuspendAll，暂停调度器
- xTaskrResumeAll，恢复调度器
**互斥量：**特殊的二进制信号量，获取后必须归还，归还后别的任务才能获取，否则可能死锁。
- 创建互斥量：xSemaphoreCreateMutex
- 获取互斥量：xSemaphoreTake
- 释放互斥量：xSemaphoreGive
互斥量和优先级密切相关的概念
- **优先级反转：**优先级高的任务等待优先级低的任务释放互斥量，仔细思考资源访问尽量避免。
- **优先级继承：**为了解决互斥量产生的优先级反转，rtos会将持有者的优先级提高至与等待互斥量的任务优先级相同，即继承优先级，归还后优先级恢复原状。不能在中断中使用互斥量。
- **死锁：**两个任务都在等待对方持有的资源而无法继续，充分考虑系统，识别并消除。
- **递归互斥量：**当任务获取了互斥量，但执行过程中有函数继续获取互斥量，导致自己锁死自己。
  - 使用递归互斥量来避免，可以被同一任务多次获取，接着执行调用归还后，才能归还。类似成对使用。
  - 创建递归互斥量：xSemaphoreCreateRecursiveMutex
  - 获取递归互斥量：xSemaphoreTakeRecursive
  - 释放递归互斥量：xSemaphoreGiveRecursive
互斥量和任务调度
- 不同优先级任务获取同一互斥量，优先级高的任务先进入运行状态。
- 如果A，B任务优先级相同，A先获取了互斥量，等到时间片结束切换B，接着回A，释放互斥量，再等到时间片结束，B才能运行
  - 推荐的更平等处理时间的例子
  - ```
  // 记录时间
  Xtime = xTaskGetTickCount();
  // 释放互斥量
  xSemaphoreGive
  // 滴答计数变化时，调用切换
  if(xTaskGetTickCount() != Xtime)
  {taskYIELD();
  }
```
守门人任务：指对任务拥有唯一所有权的任务，其他需要访问资源的任务只能通过守门人任务。
- 方法简单，基本没有反转和死锁风险

事件组

事件组的特性：
- 允许任务阻塞状态下等待一个或多个事件组合发生
- 事件组会解除所有在等待同一个事件或事件组合的任务的阻塞
- 通常可以用一个事件组代替多个二进制信号量
事件组标志是一个布尔值，每一位都代表一个事件是否发生
- configUSE_16_BIT_TICKS为1，则事件组为16位，但其中的高八位保留，即包含8个可用事件位
- configUSE_16_BIT_TICKS为0，则事件组为32位，但其中的高八位保留，即包含24个可用事件位
**事件组创建：**xEventGroupCreate
**事件组位设置：**xEventGroupSetBits
**读取事件组位：**xEventGroupWaitBits
**多任务事件组相互同步：**xEventGroupSync

任务通知

任务通知允许任务之间交互，不要单独的通信对象。通过任务通知，任务或ISR可以直接向接收任务发送事件。
通常用来替代二值信号量
优势与劣势：
- 任务通知比队列、信号量等操作快得多
- 所需RAM也要小的多
- 无法向ISR发送事件和数据
- 无法启用多个接收任务
- 无法缓冲多个数据项
- 无法向多个任务广播
- 无法在阻塞状态等待发送完成
**发送任务通知：**xTaskNotify
**发送任务通知的简单版：**xTaskNotifyGive
**接收任务通知：**xTaskNotifyWait
**接收任务通知的简单版：**ulTaskNotifyTake