请选择 进入手机版 | 继续访问电脑版

你的浏览器版本过低,可能导致网站不能正常访问!
为了你能正常使用网站功能,请使用这些浏览器。

【连载】从单片机到操作系统⑥——FreeRTOS任务切换机制详解  

[复制链接]
xiaojie0513 发布时间:2018-9-9 11:50
本帖最后由 xiaojie0513 于 2018-9-9 11:50 编辑 + _- ^; A# d: p
/ Q2 j" q$ g+ Z8 c* I9 d
大家晚上好,我是杰杰,最近挺忙的,好久没有更新了,今天周末就吐血更新一下吧!

$ _# A( ^+ U! a& X  N

/ M2 ?$ ^% b% y
在文章的最前面,本章主要讲解FreeRTOS任务切换
▲▲▲▲▲

3 w! f/ g0 [* r) @; q( L前言: n" q2 T- x5 _; Z; ?& E
     FreeRTOS是一个是实时内核,任务是程序执行的最小单位,也是调度器处理的基本单位,移植了FreeRTOS,则避免不了对任务的管理,在多个任务运行的时候,任务切换显得尤为重要。而任务切换的效率会决定了系统的稳定性与效率。
# u8 Y5 `5 P* o- M% G7 ~    FreeRTOS的任务切换是干嘛的呢,rtos的实际是永远运行的是具有最高优先级的运行态任务,而那些之前在就绪态的任务怎么变成运行态使其得以运行呢,这就是我们FreeRTOS任务切换要做的事情,它要做的是找到最高优先级的就绪态任务,并且让它获得cpu的使用权,这样,它就能从就绪态变成运行态,这样子,整个系统的实时性就会很好,响应也会很好,而不会让程序阻塞卡死。
* ^- e; F0 d9 p- F0 Z    要知道怎么实现任务切换,那就要知道任务切换的机制,在不同的cpu(mcu)中,触发的方式可能会不一样,现在是以Cortex-M3为例来讲讲任务的切换。为了大家能看懂本文,我就抛转引玉一下,引用《Cortex-M3权威指南-中文版》的部分语句(如涉及侵权,请联系杰杰删除)& g; J1 v+ L6 g% F+ z: B: t# U
SVC 和 PendSV
' n" D4 ^5 [- a9 s3 v3 g, ~9 f    SVC(系统服务调用,亦简称系统调用)和 PendSV(Pended System Call,可悬起系统调用),它们多用于在操作系统之上的软件开发中。SVC 用于产生系统函数的调用请求。例如,操作系统不让用户程序直接访问硬件,而是通过提供一些系统服务函数,用户程序使用 SVC 发出对系统服务函数的呼叫请求,以这种方法调用它们来间接访问硬件。因此,当用户程序想要控制特定的硬件时,它就会产生一个 SVC 异常,然后操作系统提供的 SVC 异常服务例程得到执行,它再调用相关的操作系统函数,后者完成用户程序请求的服务。+ x- ]! w0 z/ Y( l4 m* t3 A" W8 I
   另一个相关的异常是 PendSV(可悬起的系统调用),它和 SVC 协同使用。一方面,SVC异常是必须立即得到响应的(若因优先级不比当前正处理的高,或是其它原因使之无法立即响应,将上访成硬 fault——译者注),应用程序执行 SVC 时都是希望所需的请求立即得到响应。另一方面,PendSV 则不同,它是可以像普通的中断一样被悬起的(不像 SVC 那样会上访)。OS 可以利用它“缓期执行”一个异常——直到其它重要的任务完成后才执行动作。悬起 PendSV 的方法是:手工往 NVIC 的 PendSV 悬起寄存器中写 1。悬起后,如果优先级不够高,则将缓期等待执行。
9 g% ?: v5 j' `8 n, v9 F    如果一个发生的异常不能被即刻响应,就称它被“悬起”(pending)。不过,少数 fault异常是不允许被悬起的。一个异常被悬起的原因,可能是系统当前正在执行一个更高优先级异常的服务例程,或者因相关掩蔽位的设置导致该异常被除能。对于每个异常源,在被悬起的情况下,都会有一个对应的“悬起状态寄存器”保存其异常请求,直到该异常能够执行为止,这与传统的 ARM 是完全不同的。在以前,是由产生中断的设备保持住请求信号。现在NVIC 的悬起状态寄存器的出现解决了这个问题,即使后来设备已经释放了请求信号,曾经的中断请求也不会错失。
3 m) q% `: V) b) ]& |9 N$ O- t系统任务切换的工程分析
/ Q' _" q2 K) @% \* s; F0 Y   在系统中正常执行的任务(假设没有外部中断IRQ),用Systick直接做上下文切换是完全没有问题的,如图:
7 D$ ^$ E4 Z+ [
6 s/ X* b& H1 ^' x) b1 | 但是问题是几乎很少嵌入式的设备会不用其丰富的中断响应,所以,直接用systick做系统的上下文切换那是不实际的,这存在很大的风险,因为假设systick打断了一个中断(IRQ),立即做出上下文切换的话,则触犯用法 fault 异常,除了重启你没有其他办法了,这样子做出来的产品就是垃圾!!用我老板的话说就是写的什么狗屎!!!如图所示:
* x$ p+ L/ R1 a
6 O9 f6 V8 v, S8 _8 i* u% a* `7 X    那这么说这样不行那也不行,怎么办啊?请看看前面接介绍的PendSV,是不是有点豁然开朗了?PendSV 来完美解决这个问题。PendSV 异常会自动延迟上下文切换的请求,直到其它的 ISR 都完成了处理后才放行。为实现这个机制,需要把 PendSV 编程为最低优先级的异常。如果 OS 检测到某 IRQ 正在活动并且被 SysTick 抢占,它将悬起一个 PendSV 异常,以便缓期执行上下文切换。# T$ t6 k6 U3 |+ m
   懂了吗?就是说,只要将PendSV的优先级设为最低的,systick即使是打断了IRQ,它也不会马上进行上下文切换,而是等到IRQ执行完,PendSV 服务例程才开始执行,并且在里面执行上下文切换。过程如图所示:% n( s4 `" M4 f0 Z

2 C' L/ y* d8 y任务切换的源码实现% V2 R: P4 e$ K6 d$ L' n! V
过程差不多了解了,那看看FreeRTOS中怎么实现吧!!# `$ V7 C4 i6 Q  L/ u/ g- H! Q
FreeRTOS有两种方法触发任务切换:
  •   一种就是systick触发PendSV异常,这是最经常使用的。
  • 另一种是主动进行切换任务,执行系统调用,比如普通任务可以使用taskYIELD()强制任务切换,中断服务程序中使用portYIELD_FROM_ISR()强制任务切换。
    6 ~* s; J+ p9 v

5 H8 Q! D2 ?5 N9 A1
% u) M# e' H$ m0 F- h$ X先说说第一种吧,就在systick中断中调用xPortSysTickHandler();
' Q' H8 A0 \2 G# O, z( z下面是源码:7 F& j# W$ h; f
: g0 q4 M" c( V  r* G; p
1 void xPortSysTickHandler( void )# U& I; B  f* p8 K
2
{  L* U$ V4 l$ F: N
3         vPortRaiseBASEPRI();
; U$ p1 F# K. Q9 [# i1 } 4          {
1 a9 @+ V( {! w3 `2 j- _2 R) D3 f 5                 /* Increment the RTOS tick. */  _# u, _; a2 q8 t% u
6                 if ( xTaskIncrementTick() != pdFALSE )& w3 F/ [7 a" n  U0 ~" Z( B
7                     {
0 k6 L3 G; L: S) V3 C 8                         /* A context switch is required.
5 S5 ]8 A6 k. T2 R 9               Context switching is performed in+ L6 V) N2 g4 D5 ~; \8 y
10             the PendSV interrupt.  Pend the PendSV interrupt. */
- ?# x4 ?8 l4 j7 u6 _0 n/ B# R5 ~
11                         portNVIC_INT_CTRL_REG = portNVIC_PENDSVSET_BIT;: k. N( \. s9 ]4 _
12                     
, Q' @6 M3 E9 L' Q, `& U13         }
4 v( }$ R; a) B  z* e- l14            
  i6 N( @1 h# Q& o- x1 b6 q15     }9 R6 @: |2 v! B- X3 F3 a
16         vPortClearBASEPRIFromISR();
/ d8 m, b) G: G: T* w! F17 } / X( c0 _8 y% U2 [5 `
8 k* Q" J6 C( J' {, r% [, z5 }
它的执行过程是这样子的,屏蔽所有中断,因为SysTick以最低的中断优先级运行,所以当这个中断执行时所有中断必须被屏蔽。vPortRaiseBASEPRI();就是屏蔽所有中断的。而且并不需要保存本次中断的值,因为systick的中断优先级是已知的,执行完直接恢复所有中断即可。) D9 Q& D4 U# F) |  Y. T
    在xTaskIncrementTick()中会对tick的计数值进行自加,然后检查有没有处于就绪态的最优先级任务,如果有,则返回非零值,然后表示需要进行任务切换,而并非马上进行任务切换,此处要注意,它只是向中断状态寄存器bit28位写入1,只是将PendSV挂起,假如没有比PendSV更高优先级的中断,它才会进入PendSV中断服务函数进行任务切换。1 #define portNVIC_PENDSVSET_BIT        ( 1UL << 28UL )$ u4 m; i0 F0 o, \8 c2 @
然后解除屏蔽所有中断。% T1 m8 @& N  W/ [6 I
1vPortClearBASEPRIFromISR();2 M& i! A# B  J
20 p/ ^4 _  f; D6 [
另一种方法是主动进行任务切换,不管是使用taskYIELD()还是portYIELD_FROM_ISR(),最终都会执行下面的代码:
0 x  C2 X4 `  E8 }! _; s* C- A1#define portYIELD()                                                                \
1 G& p- g, j) ~7 a7 d) Q2{                                                                                \
& V* e' {. |! T3    /* Set a PendSV to request a context switch. */                             \
; c$ i6 H3 ~; Q4 Y! l- t5 B0 }4    portNVIC_INT_CTRL_REG = portNVIC_PENDSVSET_BIT;                             \                                                                       

7 k5 h- b. ?+ ?) n# i5    __dsb( portSY_FULL_READ_WRITE );                                            \4 u1 w% W3 T# M* f
6    __isb( portSY_FULL_READ_WRITE );                                            \
) A, w  Q2 a' I5 H* D4 Z1 H7}  W! S; {* C6 }" D
% t: b0 N- u7 h& x6 \  }; C# ^
  _0 {/ \% Y  g& J/ i, N* N! H
其实是一个宏定义来的。同样是向中断状态寄存器bit28位写入1,将PendSV挂起,然后等待任务的切换。
, D2 E" h8 J- _) u具体的任务切换源码
% o$ e! _: U& g     一直在说怎么进行任务切换的,好像还没看到任务切换的源码啊,哎,下面来看看任务切换的真面目!!  G: j9 T4 I+ V' J% _
1__asm void xPortPendSVHandler(void)
' Y7 J2 I, A* a6 y' O 2
{* g( |! Y0 T. @: P
3    extern uxCriticalNesting;( y1 b' |. W1 Z' L2 g7 r
4    extern pxCurrentTCB;" ?6 r& {/ g4 ]/ c; p' j
5    extern vTaskSwitchContext;
; S  Z/ q, h- ]4 V4 ~5 W- s$ f 6    PRESERVE8
0 R8 P1 v# A, L) o$ L3 g- ^( X 7    mrs r0, psp
7 D+ \7 Y+ T4 M" k8 y8 U# Q, ? 8    isb' n+ S& }' C; k
9    ldr r3, =pxCurrentTCB       /* Get the location of the current TCB. */
6 e4 m/ ]- U( J2 J' o10    ldr r2, [r3]
6 s( K+ p. @4 i11    stmdb r0!, {r4-r11}         /* Save the remaining registers. */, h  l+ ?/ l; ~
12    str r0, [r2]                /* Save the new top of stack into the first member of the TCB. */
: D$ s, z: }& }' v: V13    stmdb sp!, {r3, r14}
, F5 M2 ?7 H; v% F7 e0 b& x1 ]14    mov r0, #configMAX_SYSCALL_INTERRUPT_PRIORITY% b/ T* [. o8 Z- H2 v5 P. ]$ O
15    msr basepri, r0
0 G/ U6 I% D0 ~! Z" A+ g8 F9 Q0 }16    dsb6 b( f: Y9 d6 W6 L0 I5 O5 G
17    isb
, |' E' N) N/ h) U  u8 G18    bl vTaskSwitchContext; l" R% b4 V; X5 \9 g
19    mov r0, #05 E( ~/ J+ t1 V5 d
20    msr basepri, r0
; m6 L5 k5 w# C$ W" Z5 @21    ldmia sp!, {r3, r14}
5 |5 A9 I0 |2 F7 h: c4 u( e22    ldr r1, [r3]
5 \9 H) M& r% B23    ldr r0, [r1]                /* The first item in pxCurrentTCB is the task top of stack. */8 j  r0 P6 E0 `. U0 R# R( n
24    ldmia r0!, {r4-r11}         /* Pop the registers and the critical nesting count. */
" T) {2 i& C3 V1 f25    msr psp, r0' g) x- {3 k' J9 r
26    isb5 I8 C! N( }$ g" @! P! b/ i4 ]+ B4 X
27    bx r14
# A$ r) `' p# ?28    nop
0 a  Z. P  U- d8 a* A29}
9 e5 l; L2 F* N" O& p8 k/ x6 e6 ?9 G. C! X, U$ ?
不是我不想看,是我看到汇编就头大啊,这几天我也在看源码,实在是头大。4 A! W+ a2 K! S( z$ i6 N
  找到核心的函数看看就好啦,不管那么多,有兴趣的可以研究一下中断代码,有不懂的也很欢迎你们来问我,一起研究研究,也是不错的选择。
; G0 ~% y0 b2 F7 J  X) c下面是看重点的地方了:
5 G& y9 ?3 g+ Y2 |! a- ?1mov r0,             #configMAX_SYSCALL_INTERRUPT_PRIORITY8 h/ ~& T+ _* D) j0 _
2msr basepri, r01 B( v9 w2 }3 b# D9 ~: P% d

- s- o7 c; b' t3 v) U9 K. ^: o- u' JBL是跳转指令嘛,这个我还是有点懂的。: R. V' s' t! S/ i" b* [
  调用函数vTaskSwitchContext(),寻找新的任务运行,通过使变量pxCurrentTCB指向新的任务来实现任务切换,然后就是打开中断,退出去了。3 V' e$ w; h5 F: p* W+ z% `, t
寻找下一个要运行任务6 K8 Y" k& \9 `& r6 Z
  是不是感觉没什么大不了的样子,如果你是这样子觉得的,可能还没学到家,赶紧去看看FreeRTOS的源码,在config.h配置文件中是不是有一个叫做硬件查找下一个运行的任务呢?configUSE_PORT_OPTIMISED_TASK_SELECTION,这个在FreeRTOS中叫做特殊方法,其实也是硬件查找啦,但是并不是每种单片机都支持的,如果是不支持的话,只能选择软件查找的方法了,就是所谓的通用方法。通用方法我就不多说了,因为我用的是STM32,他是支持硬件方法的,这样子效率更高,所以我也没必要去研究他的软件方法,假如有兴趣的小伙伴可以研读一下源码,有不懂的可以向我提问,源码如下:/ m0 n! D8 m( }) b
1#define taskSELECT_HIGHEST_PRIORITY_TASK()                                                            \
7 B! _: V) \8 g( b& J6 T3 N 2    {                                                                                                   \  B0 N$ X' i! m8 p- \
3    UBaseType_t uxTopPriority = uxTopReadyPriority;                                                     \
# @! l5 N1 _! O1 f- a 4                                                                                                        \
' |9 @8 M& Z0 d4 {) {* h 5        /* Find the highest priority queue that contains ready tasks. */                                \* V2 G- z  @8 y( j8 f9 l3 r1 O
6        while( listLIST_IS_EMPTY( &( pxReadyTasksLists[ uxTopPriority ] ) ) )                           \
; @4 h( K4 Z% g 7        {                                                                                               \
$ b& N: Q+ D& d& C' H  z/ t7 R 8            configASSERT( uxTopPriority );                                                              \
( Y. L% @3 Q0 |( x 9            --uxTopPriority;                                                                            \
4 a( @, q8 w5 e10        }                                                                                               \6 A3 c) N' d% G( U4 ~. `
11                                                                                                        \
6 P' w5 F0 s5 }3 B( J1 v  x12        /* listGET_OWNER_OF_NEXT_ENTRY indexes through the list, so the tasks of                        \# U* P8 M. U% L* Z3 Z
13        the same priority get an equal share of the processor time. */
                                  \/ V& H. \% y% l
14        listGET_OWNER_OF_NEXT_ENTRY( pxCurrentTCB, &( pxReadyTasksLists[ uxTopPriority ] ) );           \
: [1 w$ j" v6 f. S15        uxTopReadyPriority = uxTopPriority;                                                             \* W' J4 ^  U- L9 y
16    } /* taskSELECT_HIGHEST_PRIORITY_TASK */' z9 ^. y; P; p7 l0 j2 E
# y+ ?9 V, A: ^
而硬件的方法源码则在下面:/ X8 B5 m) v5 w, d# V) s

& ]# |6 q) Y# b# d1    #define taskSELECT_HIGHEST_PRIORITY_TASK()                                                      \
, l, P6 `; H- {6 f! o4 R2    {                                                                                               \# m( |+ B# b0 r; J5 E
3        UBaseType_t uxTopPriority;                                                                      \% k+ H# p& A* o
4                                                                                                    \
8 {2 r) F5 j! Y  _: n5        /* Find the highest priority list that contains ready tasks. */                             \' {3 }! B1 A5 ]
6        portGET_HIGHEST_PRIORITY( uxTopPriority, uxTopReadyPriority );                              \6 Y+ I# x4 f; T- K2 i8 M3 z: d/ ~
7        configASSERT( listCURRENT_LIST_LENGTH( &( pxReadyTasksLists[ uxTopPriority ] ) ) > 0 );     \
2 ^* ]2 a: F% m. u& }& P  g8        listGET_OWNER_OF_NEXT_ENTRY( pxCurrentTCB, &( pxReadyTasksLists[ uxTopPriority ] ) );       \" I& g: w& X9 l! `, k: @- X
9    } /* taskSELECT_HIGHEST_PRIORITY_TASK() */

/ W/ U( j7 ]9 c. q. e
2 x6 N- z/ ^% g3 k, D其方法是利用硬件提供的计算前导零指令CLZ,具体宏定义为:! B- c) D- p" r  P1 U
1#define portGET_HIGHEST_PRIORITY( uxTopPriority, uxReadyPriorities ) uxTopPriority = ( 31UL - ( uint32_t ) __clz( ( uxReadyPriorities ) ) )  7 b3 D& A$ p6 j( h7 V
, @  j4 e1 Z) \% a, U+ ?6 j
, S9 [+ z. F5 H/ G& |  z
静态变量uxTopReadyPriority包含了处于就绪态任务的最高优先级的信息,因为FreeRTOS运行的永远是处于最高优先级的运行态,而下个处于最高优先级的就绪态则必定会在下次任务切换的时候运行,uxTopReadyPriority使用每一位来表示任务是否处于就绪态,比如变量uxTopReadyPriority的bit0为1,则表示存在优先级为0的任务处于就绪态,bit6为1则表示存在优先级为6的任务处于就绪态。并且,由于bit0的优先级高于bit6,那么下个任务就是bit0的任务运行了(数组越低优先级越高)。由于32位整形数最多只有32位,因此使用这种特殊方法限定最大可用优先级数目为32,即优先级0~31。得到了下个处于最高优先级就绪态任务了,就调用listGET_OWNER_OF_NEXT_ENTRY来获取下一个任务的列表项,然后将该列表项的任务控制块TCB赋值给pxCurrentTCB,那么我们就得到下一个要运行的任务了。: Q0 [2 @! T5 i9 M7 _8 u) M
至此,任务切换已经完成。6 e* u' {. e9 y) P
END
1 Q# O# [, a* P$ S, H0 `; ?+ v% F7 f* e- {
更多好文章请关注杰杰。
8 |, |; B4 t. G% ]& W
  R$ C' ?2 L1 T& D8 ~, q  i+ p【连载】从单片机到操作系统⑤——FreeRTOS列表&列表项的源码解读+ ^7 W$ b. |, @+ o4 k
【连载】从单片机到操作系统④——FreeRTOS创建任务&开启调度详解
" g6 w  ]" c" g4 y  ?
" H# O6 L" y$ }/ y  W  I  ^4 _9 E【连载】从单片机到操作系统③——走进FreeRTOS* n' h# Q0 L- m% p; v
STM32进阶之串口环形缓冲区实现
6 n. z: L' _, x+ w* c$ m: V( c本文直接引用了《Cortex-M3权威指南》的部分语句% m$ k1 L: |* |7 f& s
6 u$ p4 ?* d# b* K1 C

6 U2 ], a: O2 a- e& k& {
$ O8 w, o. q7 E# q# v  E& q% K& P( _3 {6 v( L( z
+ j; i, W' O0 |, ?5 [, O, K

: G  s6 S1 }, H9 R$ W8 w
* V) N+ F/ J$ }; ~1 |
5 K' q- @3 l6 L! j( z+ m" I+ x7 L  u8 Q9 l# f+ _/ c" k- U* R
收藏 1 评论23 发布时间:2018-9-9 11:50

举报

23个回答
xiaojie0513 回答时间:2018-10-30 19:22:48
imarookie 发表于 2018-10-30 10:46
; l/ ^* o, w# F+ l2 n% n. [; ~0 n1 N任务怎么切换的啊   比如说从高优先级任务怎么切换到低优先级任务的,机制是什么  我看的一脸懵逼,能通俗 ...

* u, v$ e$ U( f高优先级任务通过主动放弃CPU使用权来切换到底优先级任务,,比如挂起,阻塞延时等方式: J* k# M  p; `- c+ f
+ A! k8 g9 p; v# U" C8 C
而高优先级任务能被运行的时候,会抢占低优先级的任务,通过悬挂中断——PendSV来进行任务切换,PendSV中断服务函数中进行上文保存,下文切换动作,,,将当前任务的信息入栈,msp指针指向要切换的任务sp指针,然后出栈,进行任务切换
iamarookie 回答时间:2018-10-30 10:46:47
任务怎么切换的啊   比如说从高优先级任务怎么切换到低优先级任务的,机制是什么  我看的一脸懵逼,能通俗的解释一下吗 ?
xiaojie0513 回答时间:2018-9-28 23:34:15
忆古思贤 发表于 2018-9-28 17:03
4 K& ]+ Q9 y* r菜鸟进来学习

/ {6 V' D% {# y" _6 S加油
foxclever 回答时间:2018-9-9 20:46:10
好文章,谢谢分享!学习了!
assssdz 回答时间:2018-9-10 08:35:05
CFGCTYFV
hi201803 回答时间:2018-9-10 13:20:42
学习了,谢谢
xiaojie0513 回答时间:2018-9-10 13:40:05
hi201803 发表于 2018-9-10 13:20
) ?! X3 }2 V* ?- ?! V7 _( d# ~学习了,谢谢
4 S9 f! l$ Z; X" C: z. L+ B
客气了
qrsgcslqg 回答时间:2018-9-10 16:53:14
谢谢分享!学习了!
AI++ 回答时间:2018-9-11 13:43:20
学习.......................
zhanghaoyf 回答时间:2018-9-18 09:27:03
向高手学习
superstar520 回答时间:2018-9-18 09:54:54
看看大神的帖子% Z" d5 Y& M2 b! C7 g2 `5 ?
yyyabc 回答时间:2018-9-18 13:31:49
学习学习
xiaojie0513 回答时间:2018-9-18 21:02:27
yyyabc 发表于 2018-9-18 13:31
$ [; a9 A) J" D) \2 Z+ _学习学习

- j( y2 C9 S+ A# ^: D: a
二少 回答时间:2018-9-28 14:00:53
学习学习~~~
忆古思贤 回答时间:2018-9-28 17:03:19
菜鸟进来学习
flu 回答时间:2018-10-10 10:19:06
谢谢分享,学习了
12下一页

所属标签

相似分享

关于意法半导体
我们是谁
投资者关系
意法半导体可持续发展举措
创新和工艺
招聘信息
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
关注我们
st-img 微信公众号
st-img 手机版