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

AliOS 任务上下文切换原理分析

[复制链接]
STMCU-管管 发布时间:2018-9-29 16:29
前言 ( n. B) |+ J  u
+ s( K$ U7 K2 ]8 @" B. u
一般来讲,MCU 相关的操作系统都具有最基本的多任务管理功能。多任务管理功能包含任务的上下文切换,因其涉及到特定寄存器的操作,都是使用汇编代码开发,相应代码由软件厂商提供。
. _5 F* h5 }3 l- O1 f1 w. j! i" Q8 s
1 `  J% P/ q+ w* V  O6 ?在 STM32 技术人员的实际支持工作中,例如 IDE 移植,可能需要读懂和修改这些汇编代码。本文就是从这一需求出发,描述AliOS 操作系统里的任务上下文切换的基本原理。读者在明白了上下文切换原理后,去阅读和修改任何 MCU 操作系统的关于任务上下文切换的汇编代码就不会是个难题。本文包含的代码引用基于 STM32F4(ARM Cortex-M4 内核)芯片上的实现。
( ~% S) c" _3 q4 V' Z
! F% x/ f3 F- B+ U# w上下文切换的源动力
+ H2 n8 J9 r3 a( V: @* _9 O% y8 }7 t4 ]7 i
带操作系统的应用程序,上下文切换的逻辑在 PendSV 中断处理函数中完成。 为什么是 PendSV 中断,而不是其它的中断? ARM技术文档里提到,PendSV 设计为上下文切换服务的中断请求,优先级最低。任务切换的策略可以根据时间片和优先级来制定。切换时机可由系统滴答时钟(SysTick)触发,或者由操作系统根据已有策略来触发 PendSV 中断。 0 L7 e1 b8 y1 @5 H! O9 h0 y% ^

" l7 B  h9 L* m! V9 V& ?以 AliOS 的系统时钟中断处理函数为例,则可以看到有如下代码:   Q5 B0 t, ~' j( S2 B# f
* e, q( G+ F0 ]4 O/ X4 F4 h" ?6 z) F
QQ截图20180929161823.png

  S, r8 q! f5 d% e& \在 AliOS 中有很多地方,根据系统的需要,还可直接调用 cpu_task_switch 来触发 PendSV 中断。这一部分是纯软件的设 计,不再列举。 1 _" k* a4 ?2 [; ?% e& a! I& \
4 v. Q$ ?) a& O( ~/ k
QQ截图20180929161832.png
: X: b! U/ L7 T
上下文切换
" H  h" h/ p) e; V8 H$ a" L, d. v6 Q1 m
上下文切换的汇编代码实现的功能就是把前一个与当前任务相关的寄存器信息进行压栈保存,比如当前栈指针、TCB 信息等,把将要运行的新任务的栈内信息恢复到对应寄存器中为新任务的执行做好准备。这里的上下文就是指各个寄存器信息。
$ k  u7 s( z4 ]2 e6 L) a- y* i6 F  b2 z# ?* _
寄存器分类 # Y: G0 n; x6 w" u
  • 通用寄存器( q; C: M" r/ T4 i

: Y# P- F( L, f4 o9 r7 d4 @    R0-R12 是 32 位通用寄存器。
  v! H: S4 |* F8 p8 J
  • 堆栈指针 SP
    7 T: d5 @8 T( ?  U

$ U0 K' M2 K3 B7 `   R13 是堆栈指针寄存器。堆栈分为复位后缺省使用的主堆栈(由 MSP 指向)以及用户应用程序使用的任务堆栈(由PSP 指向)。可以通过控制寄存器控制当前正在使用的堆栈。
* g- O2 }; E1 b5 ?: e5 e1 _9 [. ]* R
  • 链接寄存器 LR9 f7 M& S5 Y. b( V) f  X" L8 i

- [' @: ?1 Q& q" z2 n4 p4 P   R14 是链接寄存器,用在函数或者异常/中断返回。 $ B9 ]& Q! \8 g3 C" _1 b) T4 v
  • 程序计数器 PC' }8 p9 E/ \7 ]/ v

1 u3 H/ o+ k5 Y$ Y1 Y: u  _! H0 m   R15 是程序计数器。它指向当前运行的指令地址。 1 I2 h; J% a3 N' R& t+ v
  • 程序状态寄存器 xPSR$ U& i! D) F, G; |7 I
& O3 O! a! X7 ?# N
   程序状态寄存器包含三个寄存器:应用程序状态寄存器 APSR, 中断程序状态寄存器 IPSR 和执行程序状态寄存器EPSR。APSR 包含上一条指令执行后的条件标志,IPSR 包含有中断号,EPSR 包含有被中断指令的待执行寄存器信息,诸如 LDM、STM、PUSH、POP,或 IF-THEN 条件指令的信息以及当前是否运行在 Thumb 状态。 " l1 ?) g2 u: n' b& p
  • 优先级掩码寄存器 PRIMASK(1 位)# s3 l7 {1 v- ?! v; e, C

7 b  K: J4 c" M1 H/ ~   PRIMASK 置 1 后,系统阻止除 NMI 和 hard fault 外的所有异常/中断。 & m6 M2 J( [+ e: P. E( {  H
  • 故障掩码寄存器 FAULTMASK(1 位)  c+ [& |1 x* k9 {, M) o* C2 T# E

* u' z! O- w# \6 P! n2 m8 U   FAULTMASK 置 1 后,系统阻止除 NMI 外的 所有异常/中断。
3 Q3 ^5 t4 m( ^3 c* z
  • 基线掩码寄存器 BASEPRI(9 位)" m8 a: \" I! c# r0 `8 V. F
- u( y" u5 C8 r8 i3 y& a
   根据在 BASEPRI 中的优先级设置,系统阻止优先级小于等于它的所有异常/中断。  $ T5 n% {1 d$ ]) D6 }
  • 控制寄存器 CONTROL% ~1 z/ @8 {" B0 u/ h/ c
5 y; g' c+ q2 G9 R) f4 q9 G" e
   CONTROL 寄存器控制在线程(THREAD)模式下所处的特权级别(特权级还是用户级),以及当前系统使用的堆栈。中断处理(Handler)模式只能处于特权级,总是使用主堆栈(由 MSP 指向)。可以通过读出 SPSEL 位来进行验证。线程(THREAD)模式可以通过 CONTROL 寄存器切换是使用主堆栈(由 MSP 指向),还是任务堆栈(由 PSP 指向)。
/ `. P* {& g% B- Z
- {2 [  K8 b0 M- ]1 Z硬件管理的寄存器 & H) ?4 s6 U# F  @8 _4 k

4 h0 G% o- f( P; H6 p$ z' X& F2 O在上下文切换的中断处理中,一部分寄存器由硬件管理。也就是说,在进入 PendSV 中断处理函数时一部分寄存器信息被自 动压栈保存,在退出 PendSV 中断时这些寄存器自动被弹出。 根据 ARM文档,在上下文切换中,不考虑浮点和考虑 32 个单精度或者 16 个双精度浮点寄存器两种情况下,由硬件管理的寄 存器列表分别如下: 8 {0 K* p  q9 i# y0 c
$ r( Y' n# J9 `& Q- L- D
# l' ~- M" s, q: w. ^: U( @. {
...) l4 N, ?7 n4 Q4 J9 A  I

( E0 L  X) m( a+ X了解更多,请下载后阅读+ W3 n2 ^% i# Z: v+ P; j

/ f. v' y/ u) h下载地址1>>                              下载地址2>>                            更多实战经验>>
! F, o+ P) U- r0 z( E8 C) _# W& l0 L* R
赞 收藏 1 评论0 发布时间:2018-9-29 16:29

举报

0个回答
关于
我们是谁
投资者关系
意法半导体可持续发展举措
创新与技术
意法半导体官网
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
官方最新发布
人形机器人运动控制、感知与智能配电
半导体创新技术与应用方向
EE架构与软件定义汽车
12V/48V 汽车智能配电(SPD)
区域控制单元(ZCU)与分区架构
关注我们
st-img 微信公众号
st-img 手机版