★ FEATURED ARTICLE 搞嵌入式这行的应该都有印象项目里一旦出现“过几秒再执行”“每隔一段时间采集一次”这类需求第一反应就是开定时器。用硬件定时器外设也行靠软件里的延时循环硬扛也行但前者数量有限、抢占资源后者纯属浪费CPU并且一延就卡住了整个任务。这个系列写到第13篇今天专门聊FreeRTOS的软件定时器也就是基于内核tick和定时器守护任务实现的Timer组件。它的核心价值在于不占用额外硬件外设通过一组API就能创建、启动、停止、复位定时器回调函数像普通任务一样在系统调度下执行。这篇文章适合正在学FreeRTOS、或者在项目中已经用了硬件定时器但还不太清楚软件定时器怎么玩的同学我会把运行机制、API细节、配置参数和踩过的坑一次性讲清。1. 软件定时器的定位与两种触发模式1.1 硬件定时器不够用时的补充很多新入门的朋友会把“软件定时器”理解成一种很简陋的东西不就是数tick吗这个理解大方向没错但FreeRTOS的实现并不只是在任务里循环数数。它是用系统统一的tick时基来驱动由内核里的Timer Service Task定时器守护任务统一管理所有激活状态的定时器。你创建的每个定时器都会被登记在一条定时器链表中每个tick中断之后内核检查链表上哪些定时器已经到期然后把该执行的回调函数丢到守护任务中排队运行。这意味着两件事第一软件定时器不占用任何TIM外设对一个外设资源紧张的MCU来说非常宝贵第二它的精度极限是“一个tick”不是硬件定时器那种按时钟源计数的高精度。假如你把tick配置成1ms软件定时器理论上能提供最低1ms粒度的定时实际别指望它做很精确的PWM这类硬实时工作。定位就是面向任务级调度与逻辑时序控制面向毫秒及以上的周期足矣。1.2 单次与周期两种触发模式创建定时器时有个关键参数叫autoReload很多人第一次见会懵。它的含义是“定时器回调执行完之后要不要自动重新装载周期”。设为pdTRUE就是周期定时器每次到期执行一次回调然后自动从头重新计时。适用于周期轮询、心跳上报这类反复执行的需求。设为pdFALSE则是单次定时器到期执行一次回调就停止停之后定时器回到休眠状态除非再次调用启动接口否则不会再触发。适用于超时保护、上电延迟初始化这类只执行一次的需求。两种模式不要混用建议在函数命名或注释里就标清楚。项目里最常见的坑是一个周期定时器被误配成单次跑到第二次就再也不触发了表现非常隐蔽看着像系统卡死实际是定时器已经软过期只是没有重新装载。2. 内核怎么让软件定时器“按时”跑起来2.1 守护任务与命令队列理解FreeRTOS软件定时器的关键不是API本身而是它内部的“守护任务”机制。为什么专门搞一个任务来处理定时器回调而不是在tick中断里直接调用回调函数这是为了兼顾中断上下文的约束和API调用的安全性。如果在tick中断中直接执行你的回调那你的回调就必须受“不能在中断里调用阻塞API”的规则限制一旦你在回调中执行一些耗时的逻辑整个系统的中断响应都会遭殃。所以内核把所有回调统一集中到守护任务里执行中断只是负责“排序提醒”。那普通任务怎么通知守护任务呢通过一个消息队列叫定时器命令队列。每次调用xTimerStart、xTimerStop、xTimerReset、xTimerChangePeriod这些API时并不是直接操作定时器而是往队列里发一条“命令消息”。守护任务在tick到点时扫描定时器链表处理到期的定时器同时也会从命令队列取出来自其他任务的命令并执行。这个设计有个很直观的好处多任务可以安全地调用定时器API不需要担心并发读写同一条定时器链表。2.2 回调函数的执行上下文因为回调函数运行在守护任务中所有回调函数共享同一个任务栈。这一点极其重要。定义的无数个定时器无论周期还是单次当它们到期时它们各自的回调函数都在那同一个上下文里执行。这意味着回调函数里不能长时间占用CPU不能调用vTaskDelay这类阻塞整个守护任务的API。我曾经见过一个同事在定时器回调里放了一个带1秒延时的等待循环结果那1秒内所有其他软件定时器全部延迟执行整个系统的时序当场崩塌。更要命的是如果在回调里等一个由另一个定时器回调才产生的信号那就是妥妥的死锁因为那个定时器的回调根本没有机会运行。做嵌入式上下文切换的架构习惯是回调里只做标记、取值、发消息、置事件真正的重活放到独立的任务里去干。回调要像中断服务函数一样克制宁可短不要长。2.3 精度来源与误差范围定时器的计数基准来自系统tick。在大多数移植中tick由SysTick或者其他周期中断产生每次进入tick中断系统都会判断有没有定时器到期。所以时间误差主要来自三处第一个误差源是tick本身的精度。如果你的tick周期是1ms那么定时器到期时刻只能落在整数个tick上也就是说你请求500ms它最早可能在500ms那一刻的tick边界执行也可能因为中断加载顺序晚到几百微秒这是正常现象。第二个误差源是守护任务被调度执行的延迟。假如守护任务优先级不高其他同优先级任务又在满负荷运行回调的触发就会延迟。延迟时间通常只有几毫秒到几十毫秒取决于系统负载但你需要意识到它不是硬实时。第三个误差源是长回调函数阻塞。前面说过的某个回调执行时间过长排在后面所有定时器全部被拖累。如果项目里确实存在高精度需求建议优先用硬件定时器外设软件定时器适合那些对几毫秒误差不敏感的周期上报、超时判断、状态机流转场景。3. 常用API能不能别背错创建与启动3.1 xTimerCreate的五个参数创建定时器用xTimerCreate原型并不复杂坑都在参数里。TimerHandle_t xTimerCreate(const char *pcTimerName, TickType_t xTimerPeriodInTicks, UBaseType_t uxAutoReload, void *pvTimerID, TimerCallbackFunction_t pxCallbackFunction);pcTimerName是调试用的名字裸机调试看不出啥但在某些可视化追踪工具里非常有用别嫌麻烦给每个定时器起个专属名字。xTimerPeriodInTicks是“周期长度”单位是tick注意不是毫秒。很多初学者直接填500期望500ms结果定时器等不了那么久狂跳就是因为忘了换算。推荐用pdMS_TO_TICKS宏做换算代码可读性好也避免手动乘除出错。uxAutoReload上节讲过了。pvTimerID是定时器ID类型是void指针这东西最大的价值在于多个定时器可以共用同一个回调函数在回调里通过xTimerGetTimerID获取ID再根据ID区分到底是谁触发了。最后一个参数就是回调入口。创建成功返回定时器句柄创建失败返回NULL。导致失败的原因几乎只有一个堆空间不足也就是FreeRTOS堆管理分配的动态内存不够。创建多个定时器还失败时优先检查configTOTAL_HEAP_SIZE和定时器控制块的大小。3.2 启动、停止、复位与改周期创建完定时器后默认处于休眠状态不会自动开始计时必须调用xTimerStart启动。BaseType_t xTimerStart(TimerHandle_t xTimer, TickType_t xTicksToWait);xTicksToWait是等待“命令队列有空间投递”的超时时间。如果队列已经满了这个API会阻塞当前任务最多xTicksToWait个tick期间守护任务把队列消费出空间这命令才算投递出去返回pdPASS。注意它返回pdPASS只表示“命令投递成功”绝不代表定时器已经启动并开始计时了。守护任务还没跑到队列的时候定时器状态可能还是休眠的。如果业务逻辑在xTimerStart之后立刻检查定时器进度会踩到竞态。xTimerStop用来停止定时器同样投递停止命令。一个细节是停止一个本来就没激活的定时器命令依然会投递成功但没有任何效果。xTimerReset就更有意思了它等价于“把定时器剩余时间重新设置为完整周期”对一个已经激活的定时器调用它相当于手动重新计时对一个休眠状态的定时器调用它则等效于启动。所以在某些状态机里我经常用xTimerReset替代“先停再启”的组合操作一次调用搞定。xTimerChangePeriod用来在运行时动态改变周期。注意这个API在停止状态也会启动定时器因为新周期装载后定时器总得有个运行状态。如果你只是想改周期不影响运行状态逻辑要自己掂量清楚。还有一个经常被忽略的vTimerGetTimerID/xTimerPendFunctionCall之类见后续实战篇再说。3.3 中断服务函数里的配套接口如果定时器操作需要放在中断里比如外部按键触发、串口收到特定帧再启动超时定时器不能直接用xTimerStart因为它在队列满时会阻塞中断里不允许阻塞。必须用带FromISR后缀的版本。BaseType_t xTimerStartFromISR(TimerHandle_t xTimer, BaseType_t *pxHigherPriorityTaskWoken);pxHigherPriorityTaskWoken是个传出参数通常在中断服务里定义一个局部变量初始化为pdFALSE启动定时器后如果系统判定需要唤醒守护任务内核会把它置为pdTRUE最后根据该值决定要不要调用portYIELD_FROM_ISR。这套流程和FreeRTOS其他FromISR接口一模一样不需要另外记忆但千万别漏了尾部的切换判断。4. 一个完整的周期上报与超时保护例程4.1 需求设计先假定一个场景一个传感器采集设备运行中需要每500ms读取一次传感器数据并通过串口上报同时设备上电后5秒内如果没有收到主机下发的握手命令则需要自动关闭关键外设进入安全状态此外设备启动3秒后打印一次版本信息只打印一次。这个场景刚好覆盖周期定时器500ms上报、单次定时器5秒超时保护、3秒版本打印以及一个可以动态启动/停止的操作。三个定时器用三个回调方便看逻辑实际项目也可以合并回调用TimerID区分。4.2 完整代码实现#include FreeRTOS.h #include timers.h #include task.h /* 定时器句柄定义 */ TimerHandle_t xReportTimer NULL; TimerHandle_t xSafeTimer NULL; TimerHandle_t xBootTimer NULL; #define REPORT_MS 500u #define SAFE_MS 5000u #define BOOT_MS 3000u /* 周期上报回调读取传感器并打印 */ static void ReportTimerCallback(TimerHandle_t xTimer) { uint32_t sensorValue ReadSensor(); printf(sensor%lu\r\n, (unsigned long)sensorValue); } /* 单次超时回调关闭外设进入安全状态 */ static void SafeTimerCallback(TimerHandle_t xTimer) { DisableKeyPeripheral(); printf(safe mode enter\r\n); } /* 单次启动回调仅打印一次版本 */ static void BootTimerCallback(TimerHandle_t xTimer) { printf(firmware version 1.2\r\n); } void AppTimerInit(void) { xReportTimer xTimerCreate(report, pdMS_TO_TICKS(REPORT_MS), pdTRUE, /* 周期模式 */ (void *)0, ReportTimerCallback); xSafeTimer xTimerCreate(safe, pdMS_TO_TICKS(SAFE_MS), pdFALSE, /* 单次模式 */ (void *)1, SafeTimerCallback); xBootTimer xTimerCreate(boot, pdMS_TO_TICKS(BOOT_MS), pdFALSE, /* 单次模式 */ (void *)2, BootTimerCallback); if (xReportTimer ! NULL xSafeTimer ! NULL xBootTimer ! NULL) { xTimerStart(xReportTimer, 0); xTimerStart(xBootTimer, 0); xTimerStart(xSafeTimer, 0); printf(timers created and started\r\n); } else { /* 创建失败大概率是堆不够 */ ErrorHandler(); } }4.3 启动流程与握手逻辑在这个例子里三个定时器都在系统初始化阶段创建并启动。上电后3秒打印版本5秒如果没有收到握手命令就进入安全模式。串口收到握手的处理任务里收到合法握手帧后需要“取消安全定时器”代码很简单void OnHandshakeReceived(void) { /* 收到握手后安全超时不再有意义 */ xTimerStop(xSafeTimer, 0); }握手命令往往还会要求设备“重置上报周期”比如从500ms改成200ms直接调用xTimerChangePeriod即可。至于周期上报是否继续不需要人为干预周期模式会一直跑。注意一个细节xTimerStop(xSafeTimer, 0)只投递命令如果握手发生在安全定时器“回调正在执行”的同一瞬间命令会排队在回调后面最终结果看回调是否已经执行。极端情况建议用事件标志组做联动而不是纯靠定时器状态判断这是实时系统里处理超时与外部事件竞争最常见的思路。5. 配置项怎么调才不出事5.1 核心开关configUSE_TIMERS软件定时器不是一个默认启用的组件。使用前必须在FreeRTOSConfig.h里打开配置#define configUSE_TIMERS 1不打开这个宏整个timers.c并不会链接进编译调用xTimerCreate会直接报编译错误。很多新手复制工程移植代码光加头文件宏没开折腾半天找不到原因。5.2 守护任务的优先级与堆栈打开定时器组件后系统会创建两个与定时器相关的配置项configTIMER_TASK_PRIORITY和configTIMER_TASK_STACK_DEPTH。守护任务在系统里是独立任务。优先级设置多少合适我的习惯是比普通应用任务高但低于中断优先级和键控任务按键响应任务。因为回调都是轻量逻辑应该被快速执行但如果某种极端情况下其他优先级任务占着不释放定时器也会被延迟。推荐从2~3开始试具体数值视业务而定。守护任务栈深度决定回调函数可用栈空间。这个参数特别容易设置不足。比如常见的主频较低的无FPU MCU在回调里调用浮点打印printf内部会消耗相当大的栈空间。配置小了直接栈溢出可能表现为随机死机很难查。常规建议如果只有简单的置标志和GPIO输出configTIMER_TASK_STACK_DEPTH设为configMINIMAL_STACK_SIZE即可如果回调里用printf、浮点运算、格式转换往256字以上调。有RTOS内核的栈溢出检测就开着别关闭。5.3 命令队列长度估算configTIMER_QUEUE_LENGTH决定命令队列能缓存多少条命令。每次定时器API调用都会占用一条队列消息。如果任务同时投递启动命令队列长度不足阻塞版本的API会等待非阻塞或中断里就会投递失败。队列长度不是越大越好它占用RAM。计算公式常用的是“系统最多同时存在多少个定时器操作命令”一般取定时器数量的2~4倍并且留出高峰期间的冗余。比如系统有10个定时器队列给10~20条比较合理。调试中遇到偶发的“定时器启动失败”又查不出原因时先加队列长度验证。6. 常见问题与排查记录6.1 回调里犯的错是最大事故源我见过太多软件定时器的诡异故障最后排查下来都指向同一个原因回调函数违反了“轻量执行”原则。典型症状包括系统偶尔卡顿几秒、所有定时器集体延迟、某个回调节奏一乱整个状态机就崩。排查方法很简单在回调入口和出口分别加个IO翻转用示波器测占用时间如果占用时间超过1ms且业务上并无必要就狠心把重活搬出去。还有一种隐蔽情况回调里调用了vTaskDelay。注意这个API是让当前任务守护任务进入阻塞状态等于把整个定时器服务阻塞了。表面上看程序还能跑但所有定时器全部停摆。排查时如果发现多个定时器“同时失效”第一时间检查是不是某个回调干了糊涂事。6.2 时间不准周期误差与漂移如果你用示波器看定时器周期会发现实际触发间隔存在微小抖动这是正常现象。但如果是“刚开始很准运行几分钟后越来越偏”那问题就不是tick了而是系统长时间处于临界区或中断屏蔽状态导致tick中断被延迟。软件定时器不会补差值它直接以当前的tick计数值判断。中断被关得越久定时器漏计的时间越积越多。解决这类漂移问题的思路是审查有没有长时间关中断的代码段比如写Flash、复杂memcpy确认tick中断优先级配置是否合理避免被低优先级中断长时间阻塞。软件定时器设计上就依赖中断和守护任务运行这两条路被堵时间必然不准。6.3 多个定时器撞车同回调节奏混乱项目里经常有多个定时器用同一个回调函数通过传参的TimerID区分。如果其中一个ID判断逻辑写错会出现A定时器的动作由B触发的诡异现象。建议把TimerID定义成枚举而不是随手填的0、1、2这样的魔法数字。还有一个习惯在回调的第一步就取ID并断言ID范围越界ID直接返回并打印错误这能在开发期快速暴露问题。多个定时器同时到期时执行顺序取决于定时器链表顺序和创建先后。不要依赖回调执行顺序判断业务逻辑明确依赖关系时应该用事件标志组协调而不是赌内核的遍历顺序。6.4 定时器句柄与内存释放的事故如果把定时器删除其后立刻用旧句柄调用API内核多半不会立刻崩溃但会造成未定义行为。xTimerDelete同样是异步命令实际删除动作发生在守护任务里。建议删除后把句柄置NULL所有调用前判断句柄非空。反过来动态重复创建同名字定时器旧对象还在队列里等待删除的话新对象创建成功后对应句柄可能是新对象很容易搞混淆。最后分享一个我实测觉得非常好用的调试技巧在定时器回调里加计数器并在一个慢速调试任务里周期性打印各计数器的值。这个办法能一眼看出定时器有没有跑、周期准不准、是否发生了漏执行。比盯着示波器来回看省心得多。项目里软件定时器的使用要想减少事故核心就一句话把软件定时器当成一个“到时提醒器”而不是“功能执行器”具体执行交给各自任务去排队。养成这个设计习惯后大多数时序类问题都能自动绕开。
阅读完成 · 觉得有帮助？
