FreeRTOS优化与错误排查方法有哪些
写在前面主要是为刚接触 freertos 的用户指出那些新手通常容易遇到的问题。这里把最主要的篇幅放在栈溢出以及栈溢出检测上，因为栈相关的问题是初学者遇到最多的问题。
printf-stdarg.c当调用 c 标准库 的函数时，栈空间使用量可能会急剧上升，特别是 io 与字符串处理函数，比如 sprintf()、printf()等。在 freertos 源码包中有一个名为 printf-stdarg.c 的文件。这个文件实现了一个栈效率优化版的小型 sprintf()、printf()，可以用来代替标准 c 库函数版本。在大多数情况下，这样做可以使得调用 sprintf()及相关函数的任务对栈空间的需求量小很多。
可能很多人都不知道freertos中有这样子的一个文件，它放在第三方资料中，路径为“ freertosv9.0.0\\freertos-plus\\demo\\freertos_plus_udp_and_cli_lpc1830_gcc ”，我们发布工程的时候就无需依赖 c 标准库 ，这样子就能减少栈的使用，能优化不少空间。
该文件源码（部分）：
1static int print( char **out, const char *format, va_list args ) 2{ 3 register int width, pad; 4 register int pc = 0; 5 char scr[2]; 6 7 for (; *format != 0; ++format) { 8 if (*format == '%') { 9 ++format;10 width = pad = 0;11 if (*format == '\\0') break;12 if (*format == '%') goto out;13 if (*format == '-') {14 ++format;15 pad = pad_right;16 }17 while (*format == '0') {18 ++format;19 pad |= pad_zero;20 }21 for ( ; *format >= '0' && *format <= '9'; ++format) {22 width *= 10;23 width += *format - '0';24 }25 if( *format == 's' ) {26 register char *s = (char *)va_arg( args, int );27 pc += prints (out, s?s:(null), width, pad);28 continue;29 }30 if( *format == 'd' || *format == 'i' ) {31 pc += printi (out, va_arg( args, int ), 10, 1, width, pad, 'a');32 continue;33 }34 if( *format == 'x' ) {35 pc += printi (out, va_arg( args, int ), 16, 0, width, pad, 'a');36 continue;37 }38 if( *format == 'x' ) {39 pc += printi (out, va_arg( args, int ), 16, 0, width, pad, 'a');40 continue;41 }42 if( *format == 'u' ) {43 pc += printi (out, va_arg( args, int ), 10, 0, width, pad, 'a');44 continue;45 }46 if( *format == 'c' ) {47 /* char are converted to int then pushed on the stack */48 scr[0] = (char)va_arg( args, int );49 scr[1] = '\\0';50 pc += prints (out, scr, width, pad);51 continue;52 }53 }54 else {55 out:56 printchar (out, *format);57 ++pc;58 }59 }60 if (out) **out = '\\0';61 va_end( args );62 return pc;63}6465int printf(const char *format, ...)66{67 va_list args;6869 va_start( args, format );70 return print( 0, format, args );71}7273int sprintf(char *out, const char *format, ...)74{75 va_list args;7677 va_start( args, format );78 return print( &out, format, args );79}808182int snprintf( char *buf, unsigned int count, const char *format, ... )83{84 va_list args;8586 ( void ) count;8788 va_start( args, format );89 return print( &buf, format, args );90}使用的例子与 c 标准库基本一样：
1int main(void) 2{ 3 char *ptr = hello world!; 4 char *np = 0; 5 int i = 5; 6 unsigned int bs = sizeof(int)*8; 7 int mi; 8 char buf[80]; 910 mi = (1 << (bs-1)) + 1;11 printf(%s\\n, ptr);12 printf(printf test\\n);13 printf(%s is null pointer\\n, np);14 printf(%d = 5\\n, i);15 printf(%d = - max int\\n, mi);16 printf(char %c = 'a'\\n, 'a');17 printf(hex %x = ff\\n, 0xff);18 printf(hex %02x = 00\\n, 0);19 printf(signed %d = unsigned %u = hex %x\\n, -3, -3, -3);20 printf(%d %s(s)%, 0, message);21 printf(\\n);22 printf(%d %s(s) with %%\\n, 0, message);23 sprintf(buf, justif: \\%-10s\\\\n, left); printf(%s, buf);24 sprintf(buf, justif: \\%10s\\\\n, right); printf(%s, buf);25 sprintf(buf, 3: %04d zero padded\\n, 3); printf(%s, buf);26 sprintf(buf, 3: %-4d left justif.\\n, 3); printf(%s, buf);27 sprintf(buf, 3: %4d right justif.\\n, 3); printf(%s, buf);28 sprintf(buf, -3: %04d zero padded\\n, -3); printf(%s, buf);29 sprintf(buf, -3: %-4d left justif.\\n, -3); printf(%s, buf);30 sprintf(buf, -3: %4d right justif.\\n, -3); printf(%s, buf);3132 return 0;33}栈计算每个任务都独立维护自己的栈空间， 任务栈空间总量在任务创建时进行设定。uxtaskgetstackhighwatermark()主要用来查询指定任务的运行历史中， 其栈空间还差多少就要溢出。这个值被称为栈空间的 high water mark 。
函数原型：
1ubasetype_t uxtaskgetstackhighwatermark( taskhandle_t xtask )想要使用它，需要将对应的宏定义打开：include_uxtaskgetstackhighwatermark
函数描述：
参数说明
xtask 被查询任务的句柄如果传入 null 句柄，则任务查询的是自身栈空间的高水线
返回值 任务栈空间的实际使用量会随着任务执行和中断处理过程上下浮动。uxtaskgetstackhighwatermark()返回从任务启动执行开始的运行历史中，栈空间具有的最小剩余量。这个值即是栈空间使用达到最深时的剩下的未使用的栈空间。这个值越是接近 0，则这个任务就越是离栈溢出不远。
如果不知道怎么计算任务栈大小，就使用这个函数进行统计一下，然后将任务运行时最大的栈空间作为任务栈空间的80%大小即可。即假设统计得到的任务栈大小为常量 a ，那么在创建线程的时候需要 x 大小的空间，那么 x * 80% = a ，算到的 x 作为任务栈大小就差不多了。
运行时栈检测freertos 包含两种运行时栈检测机制，由 freertosconfig.h 中的配置常量configcheck_for_stack_overflow 进行控制。这两种方式都会增加上下切换开销。
栈溢出钩子函数(或称回调函数)由内核在检测到栈溢出时调用。要使用栈溢出钩子函数，需要进行以下配置：
在 freertosconfig.h 中把 configcheck_for_stack_overflow 设为 1 或者 2 。提供钩子函数的具体实现，采用下面所示的函数名和函数原型。1void vapplicationstackoverflowhook( xtaskhandle *pxtask, signed portchar *pctaskname );补充说明：
栈溢出钩子函数只是为了使跟踪调试栈空间错误更容易，而无法在栈溢出时对其进行恢复。函数的入口参数传入了任务句柄和任务名，但任务名很可能在溢出时已经遭到破坏。栈溢出钩子函数还可以在中断的上下文中进行调用某些微控制器在检测到内存访问错误时会产生错误异常，很可能在内核调用栈溢出钩子函数之前就触发了错误异常中断。方法1当 configcheck_for_stack_overflow 设置为 1 时选用方法 1 。
任务被交换出去的时候，该任务的整个上下文被保存到它自己的栈空间中。这时任务栈的使用应当达到了一个峰值。当 configcheck_for_stack_overflow 设为1 时，内核会在任务上下文保存后检查栈指针是否还指向有效栈空间。一旦检测到栈指针的指向已经超出任务栈的有效范围，栈溢出钩子函数就会被调用。
方法 1 具有较快的执行速度，但栈溢出有可能发生在两次上下文保存之间，这种情况不会被检测到，因为这种检测方式仅在任务切换中检测。
方法2将 configcheck_for_stack_overflow 设为 2 就可以选用方法 2 。方法 2在方法 1 的基础上进行了一些补充。
当创建任务时，任务栈空间中就预置了一个标记。方法 2 会检查任务栈的最后 20个字节的数据，查看预置在这里的标记数据是否被覆盖。如果最后 20 个字节的标记数据与预设值不同，则栈溢出钩子函数就会被调用。
方法 2 没有方法 1 的执行速度快，但测试仅仅 20 个字节相对来说也是很快的。这种方法应该可以检测到任何时候发生的栈溢出，虽然理论上还是有可能漏掉一些情况，但这些情况几乎是不可能发生的。
其它常见错误在一个 demo 应用程序中增加了一个简单的任务，导致应用程序崩溃
可能的情况：
任务创建时需要在内存堆中分配空间。许多 demo 应用程序定义的堆空间大小只够用于创建 demo 任务——所以当任务创建完成后，就没有足够的剩余空间来增加其它的 任务，队列或信号量 。
空闲任务是在 vtaskstartscheduler()调用中自动创建的。如果由于内存不足而无法创建空闲任务，vtaskstartscheduler()会直接返回。所以一般在调用 vtaskstartscheduler()后加上一条空循环for(;;) / while(1)可以使这种错误更加容易调试。
如果要添加更多的任务，可以增加内存堆空间大小（修改配置文件），或是删掉一些已存在的 demo任务。
在中断中调用一个 api 函数，导致应用程序崩溃
需要做的第一件事是检查中断是否导致了栈溢出。然后检查api接口是否正确 ，除了具有后缀为fromisr函数名的 api 函数，千万不要在中断服务程序中调用其它 api 函数。
除此之外，还需要注意中断的优先级：
freertosconfig.h文件中可以配置系统可管理的最高中断优先级数值，宏定义configlibrary_max_syscall_interrupt_priority是用于配置basepri寄存器的，当basepri设置为某个值的时候，会让系统不响应比该优先级低的中断，而优先级比之更高的中断则不受影响。就是说当这个宏定义配置为5的时候，中断优先级数值在0、1、2、3、4的这些中断是不受freertos管理的，不可被屏蔽， 同时也不能调用freertos中的api函数接口 ，而中断优先级在5到15的这些中断是受到系统管理，可以被屏蔽的，也可以调用freertos中的api函数接口。
临界区无法正确嵌套
除了 taskenter_critica()和 taskexit_critical()，千万不要在其它地方修改控制器的中断使能位或优先级标志。这两个宏维护了一个嵌套深度计数，所以只有当所有的嵌套调用都退出后计数值才会为 0，也才会使能中断。
在调度器启动前应用程序就崩溃了
这个问题我也会遇到，如果一个中断会产生上下文切换，则这个中断不能在调度器启动之前使能。这同样适用于那些需要读写队列或信号量的中断。在调度器启动之前，不能进行上下文切换。
还有一些 api 函数不能在调度器启动之前调用。在调用 vtaskstartscheduler()之前，最好是限定只使用创建任务，队列和信号量的 api 函数。
比如有一些初始化需要中断的，或者在初始化完成的时候回产生一个中断，这些驱动的初始化最好放在一个任务中进行，我是这样子处理的，在main函数中创建一个任务，在任务中进行bsp初始化，然后再创建消息队列、信号量、互斥量、事件以及任务等操作。
在调度器挂起时调用 api 函数，导致应用程序崩溃
调用 vtasksuspendall()使得调度器挂起，而唤醒调度器调用 xtaskresumeall()。千万不要在调度器挂起时调用其它 api 函数。
保护物联网设备免受黑客攻击的更智能方式
十大智能手机排行榜，看看您用的排第几？
不理解EMC，画不好PCB！
铨顺宏：试卷管理中RFID技术智能系统发挥着什么样的作用
AI安防巡逻机器人是什么,有哪些功能
FreeRTOS优化与错误排查方法有哪些
C语言中的指针解析
国内运营商加速5G进程,预计明年商用,完败美日韩
什么运动蓝牙耳机好？狂甩不掉蓝牙运动耳机推荐
亚光科技拟投资10亿元于湖南省长沙集成电路研发及制造平台等项目
基于DSP的数码相机中的MPEG-4压缩方案
华为5G手机芯片迎来转机?
存间计算或将解决AI加速的痛点
小米MIX 2S：性能跟拍照普遍满意，外观遭到吐槽
便携式叶面积仪是什么，它的应用优势是什么
数字中国，开鸿见日
可控硅的作用介绍及检测方法
iPad Pro用OLED成本将近2000元
GPRS通信应用在气象站中有哪些优势
NCSIM、VCS和QuestaSim后仿真如何屏蔽冗余的违例信息呢？
printf-stdarg.c当调用 c 标准库 的函数时，栈空间使用量可能会急剧上升，特别是 io 与字符串处理函数，比如 sprintf()、printf()等。在 freertos 源码包中有一个名为 printf-stdarg.c 的文件。这个文件实现了一个栈效率优化版的小型 sprintf()、printf()，可以用来代替标准 c 库函数版本。在大多数情况下，这样做可以使得调用 sprintf()及相关函数的任务对栈空间的需求量小很多。
可能很多人都不知道freertos中有这样子的一个文件，它放在第三方资料中，路径为“ freertosv9.0.0\\freertos-plus\\demo\\freertos_plus_udp_and_cli_lpc1830_gcc ”，我们发布工程的时候就无需依赖 c 标准库 ，这样子就能减少栈的使用，能优化不少空间。
该文件源码（部分）：
1static int print( char **out, const char *format, va_list args ) 2{ 3 register int width, pad; 4 register int pc = 0; 5 char scr[2]; 6 7 for (; *format != 0; ++format) { 8 if (*format == '%') { 9 ++format;10 width = pad = 0;11 if (*format == '\\0') break;12 if (*format == '%') goto out;13 if (*format == '-') {14 ++format;15 pad = pad_right;16 }17 while (*format == '0') {18 ++format;19 pad |= pad_zero;20 }21 for ( ; *format >= '0' && *format <= '9'; ++format) {22 width *= 10;23 width += *format - '0';24 }25 if( *format == 's' ) {26 register char *s = (char *)va_arg( args, int );27 pc += prints (out, s?s:(null), width, pad);28 continue;29 }30 if( *format == 'd' || *format == 'i' ) {31 pc += printi (out, va_arg( args, int ), 10, 1, width, pad, 'a');32 continue;33 }34 if( *format == 'x' ) {35 pc += printi (out, va_arg( args, int ), 16, 0, width, pad, 'a');36 continue;37 }38 if( *format == 'x' ) {39 pc += printi (out, va_arg( args, int ), 16, 0, width, pad, 'a');40 continue;41 }42 if( *format == 'u' ) {43 pc += printi (out, va_arg( args, int ), 10, 0, width, pad, 'a');44 continue;45 }46 if( *format == 'c' ) {47 /* char are converted to int then pushed on the stack */48 scr[0] = (char)va_arg( args, int );49 scr[1] = '\\0';50 pc += prints (out, scr, width, pad);51 continue;52 }53 }54 else {55 out:56 printchar (out, *format);57 ++pc;58 }59 }60 if (out) **out = '\\0';61 va_end( args );62 return pc;63}6465int printf(const char *format, ...)66{67 va_list args;6869 va_start( args, format );70 return print( 0, format, args );71}7273int sprintf(char *out, const char *format, ...)74{75 va_list args;7677 va_start( args, format );78 return print( &out, format, args );79}808182int snprintf( char *buf, unsigned int count, const char *format, ... )83{84 va_list args;8586 ( void ) count;8788 va_start( args, format );89 return print( &buf, format, args );90}使用的例子与 c 标准库基本一样：
1int main(void) 2{ 3 char *ptr = hello world!; 4 char *np = 0; 5 int i = 5; 6 unsigned int bs = sizeof(int)*8; 7 int mi; 8 char buf[80]; 910 mi = (1 << (bs-1)) + 1;11 printf(%s\\n, ptr);12 printf(printf test\\n);13 printf(%s is null pointer\\n, np);14 printf(%d = 5\\n, i);15 printf(%d = - max int\\n, mi);16 printf(char %c = 'a'\\n, 'a');17 printf(hex %x = ff\\n, 0xff);18 printf(hex %02x = 00\\n, 0);19 printf(signed %d = unsigned %u = hex %x\\n, -3, -3, -3);20 printf(%d %s(s)%, 0, message);21 printf(\\n);22 printf(%d %s(s) with %%\\n, 0, message);23 sprintf(buf, justif: \\%-10s\\\\n, left); printf(%s, buf);24 sprintf(buf, justif: \\%10s\\\\n, right); printf(%s, buf);25 sprintf(buf, 3: %04d zero padded\\n, 3); printf(%s, buf);26 sprintf(buf, 3: %-4d left justif.\\n, 3); printf(%s, buf);27 sprintf(buf, 3: %4d right justif.\\n, 3); printf(%s, buf);28 sprintf(buf, -3: %04d zero padded\\n, -3); printf(%s, buf);29 sprintf(buf, -3: %-4d left justif.\\n, -3); printf(%s, buf);30 sprintf(buf, -3: %4d right justif.\\n, -3); printf(%s, buf);3132 return 0;33}栈计算每个任务都独立维护自己的栈空间， 任务栈空间总量在任务创建时进行设定。uxtaskgetstackhighwatermark()主要用来查询指定任务的运行历史中， 其栈空间还差多少就要溢出。这个值被称为栈空间的 high water mark 。
函数原型：
1ubasetype_t uxtaskgetstackhighwatermark( taskhandle_t xtask )想要使用它，需要将对应的宏定义打开：include_uxtaskgetstackhighwatermark
函数描述：
参数说明
xtask 被查询任务的句柄如果传入 null 句柄，则任务查询的是自身栈空间的高水线
返回值 任务栈空间的实际使用量会随着任务执行和中断处理过程上下浮动。uxtaskgetstackhighwatermark()返回从任务启动执行开始的运行历史中，栈空间具有的最小剩余量。这个值即是栈空间使用达到最深时的剩下的未使用的栈空间。这个值越是接近 0，则这个任务就越是离栈溢出不远。
如果不知道怎么计算任务栈大小，就使用这个函数进行统计一下，然后将任务运行时最大的栈空间作为任务栈空间的80%大小即可。即假设统计得到的任务栈大小为常量 a ，那么在创建线程的时候需要 x 大小的空间，那么 x * 80% = a ，算到的 x 作为任务栈大小就差不多了。
运行时栈检测freertos 包含两种运行时栈检测机制，由 freertosconfig.h 中的配置常量configcheck_for_stack_overflow 进行控制。这两种方式都会增加上下切换开销。
栈溢出钩子函数(或称回调函数)由内核在检测到栈溢出时调用。要使用栈溢出钩子函数，需要进行以下配置：
在 freertosconfig.h 中把 configcheck_for_stack_overflow 设为 1 或者 2 。提供钩子函数的具体实现，采用下面所示的函数名和函数原型。1void vapplicationstackoverflowhook( xtaskhandle *pxtask, signed portchar *pctaskname );补充说明：
栈溢出钩子函数只是为了使跟踪调试栈空间错误更容易，而无法在栈溢出时对其进行恢复。函数的入口参数传入了任务句柄和任务名，但任务名很可能在溢出时已经遭到破坏。栈溢出钩子函数还可以在中断的上下文中进行调用某些微控制器在检测到内存访问错误时会产生错误异常，很可能在内核调用栈溢出钩子函数之前就触发了错误异常中断。方法1当 configcheck_for_stack_overflow 设置为 1 时选用方法 1 。
任务被交换出去的时候，该任务的整个上下文被保存到它自己的栈空间中。这时任务栈的使用应当达到了一个峰值。当 configcheck_for_stack_overflow 设为1 时，内核会在任务上下文保存后检查栈指针是否还指向有效栈空间。一旦检测到栈指针的指向已经超出任务栈的有效范围，栈溢出钩子函数就会被调用。
方法 1 具有较快的执行速度，但栈溢出有可能发生在两次上下文保存之间，这种情况不会被检测到，因为这种检测方式仅在任务切换中检测。
方法2将 configcheck_for_stack_overflow 设为 2 就可以选用方法 2 。方法 2在方法 1 的基础上进行了一些补充。
当创建任务时，任务栈空间中就预置了一个标记。方法 2 会检查任务栈的最后 20个字节的数据，查看预置在这里的标记数据是否被覆盖。如果最后 20 个字节的标记数据与预设值不同，则栈溢出钩子函数就会被调用。
方法 2 没有方法 1 的执行速度快，但测试仅仅 20 个字节相对来说也是很快的。这种方法应该可以检测到任何时候发生的栈溢出，虽然理论上还是有可能漏掉一些情况，但这些情况几乎是不可能发生的。
其它常见错误在一个 demo 应用程序中增加了一个简单的任务，导致应用程序崩溃
可能的情况：
任务创建时需要在内存堆中分配空间。许多 demo 应用程序定义的堆空间大小只够用于创建 demo 任务——所以当任务创建完成后，就没有足够的剩余空间来增加其它的 任务，队列或信号量 。
空闲任务是在 vtaskstartscheduler()调用中自动创建的。如果由于内存不足而无法创建空闲任务，vtaskstartscheduler()会直接返回。所以一般在调用 vtaskstartscheduler()后加上一条空循环for(;;) / while(1)可以使这种错误更加容易调试。
如果要添加更多的任务，可以增加内存堆空间大小（修改配置文件），或是删掉一些已存在的 demo任务。
在中断中调用一个 api 函数，导致应用程序崩溃
需要做的第一件事是检查中断是否导致了栈溢出。然后检查api接口是否正确 ，除了具有后缀为fromisr函数名的 api 函数，千万不要在中断服务程序中调用其它 api 函数。
除此之外，还需要注意中断的优先级：
freertosconfig.h文件中可以配置系统可管理的最高中断优先级数值，宏定义configlibrary_max_syscall_interrupt_priority是用于配置basepri寄存器的，当basepri设置为某个值的时候，会让系统不响应比该优先级低的中断，而优先级比之更高的中断则不受影响。就是说当这个宏定义配置为5的时候，中断优先级数值在0、1、2、3、4的这些中断是不受freertos管理的，不可被屏蔽， 同时也不能调用freertos中的api函数接口 ，而中断优先级在5到15的这些中断是受到系统管理，可以被屏蔽的，也可以调用freertos中的api函数接口。
临界区无法正确嵌套
除了 taskenter_critica()和 taskexit_critical()，千万不要在其它地方修改控制器的中断使能位或优先级标志。这两个宏维护了一个嵌套深度计数，所以只有当所有的嵌套调用都退出后计数值才会为 0，也才会使能中断。
在调度器启动前应用程序就崩溃了
这个问题我也会遇到，如果一个中断会产生上下文切换，则这个中断不能在调度器启动之前使能。这同样适用于那些需要读写队列或信号量的中断。在调度器启动之前，不能进行上下文切换。
还有一些 api 函数不能在调度器启动之前调用。在调用 vtaskstartscheduler()之前，最好是限定只使用创建任务，队列和信号量的 api 函数。
比如有一些初始化需要中断的，或者在初始化完成的时候回产生一个中断，这些驱动的初始化最好放在一个任务中进行，我是这样子处理的，在main函数中创建一个任务，在任务中进行bsp初始化，然后再创建消息队列、信号量、互斥量、事件以及任务等操作。
在调度器挂起时调用 api 函数，导致应用程序崩溃
调用 vtasksuspendall()使得调度器挂起，而唤醒调度器调用 xtaskresumeall()。千万不要在调度器挂起时调用其它 api 函数。
保护物联网设备免受黑客攻击的更智能方式
十大智能手机排行榜，看看您用的排第几？
不理解EMC，画不好PCB！
铨顺宏：试卷管理中RFID技术智能系统发挥着什么样的作用
AI安防巡逻机器人是什么,有哪些功能
FreeRTOS优化与错误排查方法有哪些
C语言中的指针解析
国内运营商加速5G进程,预计明年商用,完败美日韩
什么运动蓝牙耳机好？狂甩不掉蓝牙运动耳机推荐
亚光科技拟投资10亿元于湖南省长沙集成电路研发及制造平台等项目
基于DSP的数码相机中的MPEG-4压缩方案
华为5G手机芯片迎来转机?
存间计算或将解决AI加速的痛点
小米MIX 2S：性能跟拍照普遍满意，外观遭到吐槽
便携式叶面积仪是什么，它的应用优势是什么
数字中国，开鸿见日
可控硅的作用介绍及检测方法
iPad Pro用OLED成本将近2000元
GPRS通信应用在气象站中有哪些优势
NCSIM、VCS和QuestaSim后仿真如何屏蔽冗余的违例信息呢？