Cortex-M内核使用FreeRTOS特别注意事项

       有必要先解释一下优先级值和逻辑优先级：在Cortex-M内核中，假如有8级优先级，我们说优先级值是0~7，但数值最大的优先级7却代表着最低的逻辑优先级。很多使用传统传统中断优先级架构的工程师会觉得这样比较绕，违反直觉。以下内容提到的优先级要仔细区分是优先级数值还是逻辑优先级。

       接下来需要清楚的是，在Cortex-M内核中，一个中断的优先级数值越低，逻辑优先级却越高。比如，中断优先级为2的中断可以抢占中断优先级为5的中断，但反过来就不行。换句话说，中断优先级2比中断优先级5的优先级更高。

       这是Cortex-M内核最容易让人犯错之处，因为大多数的非Cortex-M内核微控制器的中断优先级表述是与之相反的。

       以“FromISR”结尾的FreeRTOS函数是具有中断调用保护的（执行这些函数会进入临界区），但是就算是这些函数，也不可以被逻辑优先级高于configMAX_SYSCALL_INTERRUPT_PRIORITY的中断服务函数调用。（宏configMAX_SYSCALL_INTERRUPT_PRIORITY定义在头文件FreeRTOSConfig.h中）。因此，任何使用RTOSAPI函数的中断服务例程的中断优先级数值大于等于configMAX_SYSCALL_INTERRUPT_PRIORITY宏的值。这样就能保证中断的逻辑优先级等于或低于configMAX_SYSCALL_INTERRUPT_PRIORITY。

       Cortex中断默认情况下有一个数值为0的优先级。大多数情况下0代表最高级优先级。因此，绝对不可以在优先级为0的中断服务例程中调用RTOSAPI函数。

       Cortex-M内核的中断优先级寄存器是以最高位（MSB）对齐的。比如，如果使用了3位来表达优先级，则这3个位位于中断优先级寄存器的bit5、bit6、bit7位。剩余的bit0~bit4可以设置成任何值，但为了兼容，最好将他们设置成1.

       Cortex-M优先级寄存器最多有8位，如果一个微控制器只使用了其中的3位，那么这3位是以最高位对齐的，见下图：

      某微控制器只使用了优先级寄存器中的3位，下图展示了优先级数值5（二进制101B）是怎样在优先级寄存器中存储的。如果优先级寄存器中未使用的位置1，下图也展示了为什么数值5（二进制0000 0101B）可以看成数值191（二进制1011 1111）的。

      某微控制器只使用了优先级寄存器中的4位，下图展示了优先级数值5（二进制101B）是怎样在优先级寄存器中存储的。如果优先级寄存器中未使用的位置1，下图也展示了为什么数值5（二进制0000 0101B）可以看成数值95（二进制0101 1111）的。

      上文中已经描述，那些在中断服务例程中调用RTOS API函数的中断逻辑优先级必须低于或等于configMAX_SYSCALL_INTERRUPT_PRIORITY（低逻辑优先级意味着高优先级数值）。

      CMSIS以及不同的微控制器供应商提供了可以设置某个中断优先级的库函数。一些库函数的参数使用最低位对齐，另一些库函数的参数可能使用最高位对齐，所以，使用时应该查阅库函数的应用手册进行正确设置。

      可以在FreeRTOSConfig.h中设置宏configMAX_SYSCALL_INTERRUPT_PRIORITY和configKERNEL_INTERRUPT_PRIORITY的值。这两个宏需要根据Cortex-M内核自身的情况进行设置，要以最高有效位对齐。比如某微控制器使用中断优先级寄存器中的3位，设置configKERNEL_INTERRUPT_PRIORITY的值为5，则代码为：

       宏configKERNEL_INTERRUPT_PRIORITY指定RTOS内核使用的中断优先级，因为RTOS内核不可以抢占用户任务，因此这个宏一般设置为硬件支持的最小优先级。对于Cortex-M硬件，RTOS使用到硬件的PendSV和SysTick硬件中断，在函数xPortStartScheduler()中（该函数在port.c中，由启动调度器函数vTaskStartScheduler()调用），将PendSV和SysTick硬件中断优先级寄存器设置为宏configKERNEL_INTERRUPT_PRIORITY指定的值。

       有关代码如下（位于port.c）：

• 
  
  /*PendSV优先级设置寄存器地址为0xe000ed22
  
  
• 
  
  SysTick优先级设置寄存器地址为0xe000ed23*/
  
  
• 
  
  #define portNVIC_SYSPRI2_REG     ( * ( ( volatile uint32_t * ) 0xe000ed20 ))
  
  
• 
  
  
  
  
• 
  
  #define portNVIC_PENDSV_PRI ( ( (uint32_t)configKERNEL_INTERRUPT_PRIORITY ) << 16UL )
  
  
• 
  
  #define portNVIC_SYSTICK_PRI ( ( (uint32_t)configKERNEL_INTERRUPT_PRIORITY ) << 24UL )
  
  
• 
  
  /* …. */
  
  
• 
  
  /*确保PendSV 和SysTick为最低优先级中断 */
  
  
• 
  
  portNVIC_SYSPRI2_REG |= portNVIC_PENDSV_PRI;
  
  
• 
  
  portNVIC_SYSPRI2_REG |=portNVIC_SYSTICK_PRI;
  
  
  

      RTOS内核使用Cortex-M内核的BASEPRI寄存器来实现临界区（注：BASEPRI为优先级屏蔽寄存器，优先级数值大于或等于该寄存器的中断都会被屏蔽，优先级数值越大，逻辑优先级越低，但是为零时不屏蔽任何中断）。这允许RTOS内核可以只屏蔽一部分中断，因此可以提供一个灵活的中断嵌套模式。

      那些需要在中断调用时保护的API函数，FreeRTOS使用寄存器BASEPRI实现中断保护临界区。当进入临界区时，将寄存器BASEPRI的值设置成configMAX_SYSCALL_INTERRUPT_PRIORITY，当退出临界区时，将寄存器BASEPRI的值设置成0。很多Bug反馈都提到，当退出临界区时不应该将寄存器设置成0，应该恢复它之前的状态（之前的状态不一定是0）。但是Cortex-M NVIC决不会允许一个低优先级中断抢占当前正在执行的高优先级中断，不管BASEPRI寄存器中是什么值。与进入临界区前先保存BASEPRI的值，退出临界区再恢复的方法相比，退出临界区时将BASEPRI寄存器设置成0的方法可以获得更快的执行速度。

      RTOS内核通过写configMAX_SYSCALL_INTERRUPT_PRIORITY的值到BASEPRI寄存器的方法创建临界区。中断优先级0（具有最高的逻辑优先级）不能被BASEPRI寄存器屏蔽，因此，configMAX_SYSCALL_INTERRUPT_PRIORITY绝不可以设置成0。