|
EDA365欢迎您登录!
您需要 登录 才可以下载或查看,没有帐号?注册
x
MPU(Memory Protection Unit,内存保护单元)在 Cortex-M内核中是可选模块,带MPU的微控制器允许内存映射(包括Flash、RAM和外围设备)细分为若干区域,分别给每个区域分配不同的访问权限。
$ w( `0 f& f! K: x' s4 j+ OFreeRTOS-MPU是FreeRTOS针对MPU实现的一个安全版本,支持ARMv7-M(Cortex-M3, Cortex-M4 和 Cortex-M7)和ARMv8-M (Cortex-M23和Cortex-M33) 内核的微控制器。% j) P; i# O+ U/ g
针对ARMv7-M的FreeRTOS移植存在两个版本,一个支持MPU,一个不支持。针对ARMv8-M只有一个移植版本,通过编译开关控制是否支持MPU。
; k& u1 m7 B# N1 C3 t ?FreeRTOS通过将任务分为特权和非特权运行模式和限制对RAM、外设、可执行代码、任务堆栈内存的访问,使得应用更健壮和安全。例如,防止代码从RAM中执行可以获得巨大的好处,因为这样做可以防止许多攻击向量,如缓冲区溢出漏洞或加载到RAM中的恶意代码的执行。
- E, S" ]' d" f9 K" m使用MPU必然会使应用程序设计更加复杂,首先必须确定MPU的内存区域限制并向RTOS进行描述,其次MPU限制应用程序任务可以做什么和不能做什么。9 w7 @$ D. i ]9 P
2 y4 B4 p) W9 e- E
MPU的策略2 B9 `' w1 Y8 t+ O2 h* z
创建一个将每个任务限制在其自己的内存区域的应用程序可能是最安全的,但它也是设计和实现最复杂的。通常最好使用一个MPU来创建一个伪进程和线程模型——允许线程组共享内存空间。例如,创建一个可被可信的第一方代码访问的内存空间,以及一个仅可被不可信的第三方代码访问的内存空间。' W( Q7 Y- I9 T6 A8 E. Y: t8 y. q+ E
7 Z7 K+ `, k/ s+ U$ ^# m
FreeRTOS-MPU特性, i1 Y" |$ G9 L5 z* y J+ \! M0 A4 v
兼容ARM Cortex-M3和Cortex-M4F标准移植。: e) C3 M; v9 X: ?2 @
可以创建以特权模式或非特权模式运行的任务。非特权任务只能访问它们自己的堆栈和最多三个用户可定义的内存区域(每个任务三个)。用户可定义内存区域是在创建任务时分配给任务的,如果需要,可以在运行时重新配置。
. l+ z) j5 H- L用户可定义的内存区域可以单独参数化。例如,一些区域可能被设置为只读,而另一些区域可能被设置为不可执行(在ARM术语中简称为XN),等等。
6 P5 Y: u5 Y% [ F9 w8 }1 o非特权任务之间不共享数据内存,但非特权任务可以使用标准队列和信号量机制相互传递消息。可以通过使用用户可定义的内存区域显式地创建共享内存区域,但是不建议这样做。
5 U( n3 \& r; s" R特权模式任务可以将自己设置为非特权模式,但一旦进入非特权模式,它就不能再将自己设置为特权模式。
0 {. B/ L g q, ?4 sFreeRTOS API位于Flash的一个区域,该区域只能在微控制器处于特权模式(调用API函数导致临时切换到特权模式)时访问。& `. t/ H' J) ?
内核维护的数据位于RAM的一个区域,只有在微控制器处于特权模式时才能访问。/ _; y4 [) @, T& j' N/ |
系统外设只能在微控制器处于特权模式时访问。任何代码都可以访问标准外设(UART等),但是可以使用可定义的内存区域显式地对其进行保护。
6 N4 T6 V5 a( iFreeRTOS-MPU可以创建两种类型的任务:
6 K: [5 K0 q$ j/ h1 j特权任务:特权任务可以访问整个内存映射。特权任务可以使用xTaskCreate()或xTaskCreateRestricted() API函数来创建。
3 Q/ e$ L$ J' b: j& Y% b非特权任务:非特权任务只能访问它的堆栈。此外,可以授予它最多三个用户可定义内存区域的访问权限(每个任务三个)。非特权任务只能使用xTaskCreateRestricted()创建。注意,xTaskCreate()不能用于创建非特权任务。
# C( L% {+ D7 ~6 R. P如果一个任务想要使用MPU,那么必须提供以下附加信息:
; l G1 s% W. w5 {) y1 U9 Y 0 |2 [/ X+ l) {1 T! `
+ P4 E/ p6 M7 J4 }
- z6 @9 k) Z" C6 ]' o0 v+ V
0 b$ r8 [3 M2 B
0 N7 _% _6 S9 k Q( n9 v
' f9 y8 W1 B! X- @3 K, D, \$ y8 T$ H) x2 ?( v
, {1 {( I2 m6 k6 d" _7 K" I2 l
1 y, A4 V$ u6 Z4 `* K2 `2 g
1 P, _2 O: [: ]/ W |
|