01. FreeRTOS编码标准2 o3 B" c; b0 U% A2 t
FreeRTOS核心的源代码遵从MISRA编码标准指南。这个标准篇幅稍长,大家可以在MISRA官方网站找到对应的文档。
k/ q" _6 h# V
1 K0 w. B# t0 x4 t2 ?0 h5 BFreeRTOS源代码不符合MISRA标准的项目如下所示:
9 L5 |# ^' Q# ~& K z. m4 y* u5 ]8 O/ s! `- o- a" w3 _
1.有两个API函数有多个返回点。MISRA编码标准强制规定:一个函数在其结尾应该有单一的返回点。) U7 [' y, m; Z* g! W, ^9 S1 Q
/ B; ~( ^1 G& k; z% k$ U3 O2.指针算数运算,在创建任务时,为了兼容8、16、20、24、32位总线,不可避免的使用了指针算数运算。MISRA编码标准强制规定:指针的算术运算只能用在指向数组或数组元素的指针上。3 W/ e0 B. a, j! L
7 {9 N- ^( H% m1 ~# v" d3.默认情况下,跟踪宏为空语句,因此不符合MISRA的规定。MISRA编码标准强制规定:预处理指令在句法上应该是有意义的。
5 a+ o0 [& p% X, @, V7 D' Y$ D* V, D5 h6 p# m# U i
FreeRTOS可以在很多不同编译器中编译,其中的一些编译器比同类有更高级特性。因为这个原因,FreeRTOS不使用任何非C语言标准的特性或语法。一个例外情况是头文件stdint.h。在文件夹FreeRTOS/include下包含一个叫做stdint.readme的文件,如果你的编译器不提供stdint类型定义,可以将stdint.readme文件重命名为stdint.h。
) e! z5 P4 D/ Z6 }8 \) y+ D( S% F. R9 K0 ^: u% L! R) d
02. FreeRTOS变量命名规则
+ s% M, E+ C8 G, q- Ouint32_t类型的变量使用前缀ul,这里’u’表示’unsigned’,’l’表示’long’
6 r) V- B& k( P. d# auint16_t类型的变量使用前缀us,这里’u’表示’unsigned’,’s’表示’short’
4 R8 C' P0 t8 h- s# _2 wuint8_t类型的变量使用前缀uc,这里’u’表示’unsigned’,’c’表示’char’( V+ k; z/ a7 |1 S7 u! Y7 x
非stdint类型的变量使用前缀x,比如基本的Type_t和TickType_t类型,这些类型在移植层定义,定义成符合处理器架构的最高效类型;# d9 c v6 p- h) E. J' d* w
非stdint类型的无符号变量使用前缀ux,比如UbaseType_t(unsigned BaseType_t)% K# n+ Z, G3 {( }. j
size_t类型的变量使用前缀x;
' W5 |- V( l1 N/ M5 Z7 p3 ?# l枚举类型变量使用前缀e" P! o' i9 U6 Z3 j/ a- P
指针类型变量在类型基础上附加前缀p,比如指向uint16_t的指针变量前缀为pus
8 v& d1 a. Q% J$ S与MISRA指南一致,char类型变量仅被允许保存ASCII字符,前缀为c- X9 B6 w7 G7 J- S
与MISRA指南一致,char *类型变量仅允许指向ASCII字符串,前缀为pc
! J& S+ Y8 ~: \03. FreeRTOS函数命名规则! N& ~' i" N. P+ z1 ?
在文件作用域范围的函数前缀为prv5 n2 @7 L+ Z: | p" k2 u5 d* C
API函数的前缀为它们的返回类型,当返回为空时,前缀为v
6 [0 @4 [7 h8 I8 }9 `API函数名字起始部分为该函数所在的文件名。比如vTaskDelete函数定义在tasks.c,并且该函数返回空。
# l8 i- a3 [# O) G) E( j* Z2 F: B0 `0 ~0 T
04. FreeRTOS宏命名规则4 {+ F6 g) T2 ~1 L* z# w7 b' _
宏的名字起始部分为该宏定义所在的文件名的一部分。比如configUSE_PREEMPTION定义在FreeRTOSConfig.h文件中。
/ U) q6 B" i1 v3 S7 E除了前缀,宏剩下的字母全部为大写,两个单词间用下划线(’_’)隔开。
. c* F% ]: K8 r0 X+ ]" ]
. E7 X: W9 t& [ c& I9 T2 _1 B05. FreeRTOS数据类型# V0 A' Z9 B/ V# g
只有stdint.h和RTOS自己定义的数据类型可以使用,但也有例外情况,如下所示:
5 ]* ]6 n2 U3 a( u5 A9 a2 o' H* J( M% Z
1.char:与MISRA编码标准指南一致,char类型变量仅被允许保存ASCII字符
) s) E6 h9 _/ N2 R
5 R/ U# l: h5 W5 W$ x2.char *:与MISRA编码标准指南一致,char *类型变量仅允许指向ASCII字符串。当标准库函数期望一个char *参数时,这样做可以消除一些编译器警告;特别是考虑到有些编译器将char类型当做signed类型,还有些编译器将char类型当做unsigned类型。; e6 d S0 x, Y: b* w
7 [ A; U$ |( k. i0 z* H9 b; p& ?. k
# v- P. [' a; h' q! k6 k5 V, S, h' z
有三种类型会在移植层定义,它们是:
. @" L6 j& M+ m u1 U# [4 z$ ^8 u3 f9 L1 I, p
1.TickType_t:如果configUSE_16_BIT_TICKS为非零(条件为真),TickType_t定义为无符号16位类型。如果configUSE_16_BIT_TICKS为零(条件为假),TickType_t定义为无符号32位类型。注:32位架构的微处理器应设置configUSE_16_BIT_TICKS为零。
3 D+ r8 M4 y; u: T8 {' s
$ M# _* v& V9 g& j1 {2.BaseType_t:定义为微处理器架构效率最高的数据类型。比如,在32位架构处理器上,BaseType_t应该定义为32位类型。在16位架构处理器上,BaseType_t应该定义为16位类型。如果BaseType_t定义为char,对于函数返回值一定要确保使用的是signed char,否则可能造成负数错误。
! s3 z/ y% t3 E5 m) L0 G% w3 `" |: [0 J
UbaseType_t:这是一个无符号BaseType_t类型0 e, T6 g( H+ {/ a4 S5 l+ p
; r* Y9 ]0 G+ L9 B* D2 S9 |
06. 其它. U i0 P! N/ ?9 ?# Z! r# Q
风格说明
% L5 Y) g$ a4 d4 K8 H G8 V2 f7 C1.缩进:缩进使用制表符,一个制表符等于4个空格。* x6 T+ A, L* ~2 s' J5 k v
2.注释:注释单行不超过80列,特殊情况除外。不使用C++风格的双斜线(//)注释/ I& P0 Y" a; O( i% ^
3.布局:FreeRTOS的源代码被设计成尽可能的易于查看和阅读。下面的代码片中,第一部分展示文件布局,第二部分展示C代码设计格式。
9 T8 n6 @3 |: U- o2 d% h0 I& C: ^
9 f( Q. ]# h( e& O1 ^" i6 m1 u示例% f4 o/ A. Z' O7 P* @- b3 X) L+ i
" p# t* m$ T. C2 h# {. A7 h2 n- /* 首先在这里包含库文件... */ 0 I* {+ N6 k+ D& c: t/ k
- #include <stdlib.h> ) ~/ m3 X- x. e5 F V2 R
- ; Q {. Z* B* I/ {/ V
- /* 然后是FreeRTOS的头文件... */ / g- P) T! u: D+ E8 J: ]
- #include "FreeRTOS.h" 8 p+ ~) d! {+ T/ m* B) o- @% C0 L
- A, [8 C0 T n
- /* 紧接着包含其它头文件. */ a( K9 _3 }# ]- c5 h% m+ Q3 y
- #include "HardwareSpecifics.h" # E3 |2 x& D/ l. @/ \+ x- Y
- / g% _/ |+ H5 B- V3 ?4 _* s. Q
- /* 随后是#defines, 在合理的位置添加括号. */
5 m' A/ {2 N3 P. C: }( z$ P. S - #define A_DEFINITION ( 1 )
1 q2 U. N% D! k5 e# Q
: ?. w* b" X- `5 p" }% |7 H# t" p- /* ( p8 d" ~: d* Y) h0 C* b% Q
- * 随后是Static (文件内部的)函数原型,
7 j4 y6 c( ` W X5 ~0 F - * 如果注释有多行,参照本条注释风格---每一行都以’*’起始. ' E$ O) F8 k! B/ [" W! d3 ]
- */ - t* H" ]8 P a6 H
- static void prvAFunction( uint32_t ulParameter ); 7 N9 c: y3 V8 I
- 3 y) e1 o9 \9 l
- /* 文件作用域变量(本文件内部使用)紧随其后,要在函数体定义之前. */
1 ^+ W2 m7 T5 d' g+ w; E) S - static BaseType_t xMyVariable.
: J" ^0 V2 {# J, o, l
$ D, j& d! j* ~' ]- /* 每一个函数的结束都有一行破折号,破折号与下面的第一个函数之间留一行空白。*/
6 s4 O5 o! k9 x2 Y5 P) u - 3 V. @" a/ }; S. E) }7 G
- /*-----------------------------------------------------------*/
/ G6 B0 x7 v% B) G8 n# q# m Y- n - + [9 o" s& o9 k
- void vAFunction( void )
) g6 K- U# Q+ w0 Z% T0 ? - { 5 C1 a# A; C1 Y5 M) G) S* x2 u
- /* 函数体在此定义,注意要用大括号括住 */ 4 U% W( [; K) u; q r( q |
- }
" n9 _. ]$ ^4 t. W - /*-----------------------------------------------------------*/ 1 F4 j7 _5 ~' F ^9 C6 y
- 4 D$ m+ S0 C! r9 a4 Z( }: V- c
- static UBaseType_t prvNextFunction( void ) " {* R0 }& }( B$ W, E( g
- {
1 p* X9 @8 }3 K$ ^! n/ v$ ] - /* 函数体在此定义. */
& F: u5 M; i3 t' A! S- G* [7 R8 _& m - }
: ?2 M. E) ?* f! M- h - /*-----------------------------------------------------------*/
% {. A e! Q* U" f! V, Y - 4 Z, R3 N4 i0 f1 ]6 {' y
- /*
4 c. q G( x& h2 b - * 函数名字总是占一行,包括返回类型。 左括号之前没有空格左括号之后有一个空格,
# x" J9 s% M$ N' Z: |/ Q - * 每个参数后面有一个空格参数的命名应该具有一定的描述性.
4 @# v# h( `9 } - */ 9 b5 M+ |* `* B5 `
- void vAnExampleFunction( long lParameter1, unsigned short usParameter2 )
# ~/ ~2 G( r: n9 m, | - {
# b9 G; I( x1 P7 q - /* 变量声明没有缩进. */ & c: ?7 B1 {6 N4 K
- uint8_t ucByte;
" i% {, `6 C( t! E" c1 _0 A
8 ]: O* |$ y/ j( [- /* 代码要对齐. 大括号占独自一行. */
: @0 j* t6 j ]1 F9 g - for( ucByte = 0U; ucByte < fileBUFFER_LENGTH; ucByte++ )
$ l+ Z0 T4 D; R: R# x; S* P& ~& v - {
4 J* w* _% G( y( | - /* 这里再次缩进. */ + R! a9 m5 i+ ^5 ?; l+ R9 G0 L
- } ( c8 Z6 ^% v% I: _: \; v
- }
7 s- E+ J I2 ^: @0 S' e9 x' G/ t - 6 f* g; a; {( D
- /*
8 ?3 c. @& p9 N - * for、while、do、if结构具有相似的模式。这些关键字和左括号之间没有空格。9 q y$ }" @. }8 n. p
- * 左括号之后有一个空格,右括号前面也有一个空格,每个分号后面有一个空格。- ? m5 N$ V) K
- * 每个运算符的前后各一个空格。使用圆括号明确运算符的优先级。不允许有08 N( X/ N+ e0 ]- I, n& q' m- }
- * 以外的数字(魔鬼数)出现,必要时将这些数字换成能表示出数字含义的常量或
4 e* a* m% u! d0 P- U9 R - * 宏定义。' L _/ Y+ H3 p9 Y# \* w" u
- */
( O, b& Y, y) F - for( ucByte = 0U; ucByte < fileBUFFER_LENGTH; ucByte++ ) % l& z* T* H* O* x. W
- { 6 s5 @6 O& G* y
- } ) M9 L2 I9 ~# q# b
! A" ?- e$ l# a! v& a2 N- while( ucByte < fileBUFFER_LENGTH ) 9 C& L2 C. G% m0 ^9 P9 K
- {
2 N- L1 d" u! ^2 G. R - } ' C! K: h) f6 l+ A7 C9 @, ~
, W' N3 L- b8 q- /* + o2 F" _* V/ A$ o2 s% i" ?
- * 由于运算符优先级的复杂性,我们不能相信自己对运算符优先级时刻保持警惕
& _8 i1 B7 i# L J3 f - * 并能正确的使用,因此对于多个表达式运算时,使用括号明确优先级顺序
0 K+ i6 M7 b% t0 |( B7 D - */
j7 h6 g* W; l- G- Q( M - if( ( ucByte < fileBUFFER_LENGTH ) && ( ucByte != 0U ) ) K8 a/ E! E5 p
- {
) |: B' y( w, f- p, L$ J - ulResult = ( ( ulValue1 + ulValue2 ) - ulValue3 ) * ulValue4;
" v* q# J3 L, w' r0 ~4 X - } / x0 ?/ H" C# _) x# V
& [* U5 X) N7 q- /* 条件表达式也要像其它代码那样对齐。 */
4 h0 Y+ H" A% n6 u - #if( configUSE_TRACE_FACILITY == 1 )
; M/ [3 s$ h' ~# c0 t) p7 q/ n - { 1 s7 f6 U; _5 q# t/ O7 _
- /* 向TCB增加一个用于跟踪的计数器. */
7 N* x: T& e% X0 [( v6 g - pxNewTCB->uxTCBNumber = uxTaskNumber;
: Z- n6 f. t- O/ p8 X+ z - }
& H0 w% y2 D5 x! b - #endif 1 t/ J% o& h" ^9 A# j. v
- 6 Q1 K9 `9 ~ y
- /*方括号前后各留一个空格*/
+ c, Y _ e6 P* S/ v" p$ O - ucBuffer[ 0 ] = 0U; , v q$ v; O( g c
- ucBuffer[ fileBUFFER_LENGTH - 1U ] = 0U;
复制代码
3 P+ J9 O! ]4 L9 o* g" ?+ ^: e/ [/ m' N. W
|