|
EDA365欢迎您登录!
您需要 登录 才可以下载或查看,没有帐号?注册
x
模块划分$ i6 F9 s2 H$ M
% j8 d1 Y) s9 N, z/ ]
模块划分的"划"是规划的意思,意指怎样合理的将一个很大的软件划分为一系列功能独立的部分合作完成系统的需求。C语言作为一种结构化的程序设计语言,在模块的划分上主要依据功能(依功能进行划分在面向对象设计中成为一个错误,牛顿定律遇到了>相对论), C语言模块化程序设计需理解如下概念:" R, D; i2 c( ~9 h- Y W
7 o# q3 a w1 P6 U3 l(1) 模块即是一个.c文件和一个.h文件的结合,头文件(.h)中是对于该模块接口的声明;; N n0 K% @1 I0 r2 `2 r4 R( K" }3 y
(2) 某模块提供给其它模块调用的外部函数及数据需在.h中文件中冠以extern关键字声明;
* x- }$ l- A$ m9 f J! y(3) 模块内的函数和全局变量需在.c文件开头冠以static关键字声明;
/ }4 P. }, G! m# E& T2 n(4) 永远不要在.h文件中定义变量!定义变量和声明变量的区别在于定义会产生内存分配的操作,是汇编阶段的概念;而声明则只是告诉包含该声明的模块在连接阶段从其它模块寻找外部函数和变量。如:* X6 r/ V% s+ R2 f4 \
`, Y1 f" W7 i2 N! Q/ t! p) c) j7 B
/*module1.h*/
0 I/ k5 G& X8 Dint a = 5; /* 在模块1的.h文件中定义int a */
2 F9 u% _* T( b0 Z* C* y" ~' F! {$ a* r
/*module1 .c*/# U* R: K. w f0 P5 P7 s) n X
#include "module1.h" /* 在模块1中包含模块1的.h文件 */) l9 D' i+ I/ L, t5 x
. V( x# t P4 S
/*module2 .c*/" Q; b0 Q, C& b" U
#include "module1.h" /* 在模块2中包含模块1的.h文件 */
& Q' s/ D6 c: }+ O, |. q$ O7 t- j( K
3 n8 {8 o/ P7 i- i! x/*module3 .c*/( O; P. l( G6 r$ @" t. B
#include "module1.h" /* 在模块3中包含模块1的.h文件 */: t* H6 {8 v0 X# c0 |# x' Z+ S. L7 `3 ^
9 G" C- [) U. J3 n+ `7 z
以上程序的结果是在模块1、2、3中都定义了整型变量a,a在不同的模块中对应不同的地址单元,这个世界上从来不需要这样的程序。正确的做法是:
0 e& X$ t. C2 P7 q% p. T% h! A7 X& O
/*module1.h*/4 @% ]2 k! C2 O* d
extern int a; /* 在模块1的.h文件中声明int a */8 |# u0 G( @% h2 B
5 R, K! |% X# H! B7 ? d' d( n5 ^/ _3 v/*module1 .c*/
: j) r# r* h: a0 r4 U#include "module1.h" /* 在模块1中包含模块1的.h文件 */ n8 h \4 }& }7 E1 a" o
int a = 5; /* 在模块1的.c文件中定义int a */& f0 b$ X. S) b
2 O$ {6 z: B6 v
/*module2 .c*/
6 @6 X3 L& m! P* `+ [) l( p" h#include "module1.h" /* 在模块2中包含模块1的.h文件 */( X; @5 g% ^& n( J6 V% s+ w" V5 k
( Z* A$ R2 x1 W A
/*module3 .c*/) a6 G( N, r5 F: F$ z( _% s
#include "module1.h" /* 在模块3中包含模块1的.h文件 */( f7 P, x) n' V9 e
$ Y% X6 p( p# q( Q) \2 B! n' T这样如果模块1、2、3操作a的话,对应的是同一片内存单元。一个嵌入式系统通常包括两类模块:4 W; N2 z5 Z2 k! O; K8 A# x S
4 l4 g* F7 y- q9 w9 V( T) v
(1)硬件驱动模块,一种特定硬件对应一个模块;9 @) G: a0 h$ o4 U+ L$ ]4 P. k* E1 Q
(2)软件功能模块,其模块的划分应满足低偶合、高内聚的要求。1 f( L/ b9 h7 I# d3 c$ O
1 |& s1 e+ E3 P( m
多任务还是单任务
4 L. `/ {. \0 Q, W7 g
% [) H$ [' U0 r7 }所谓"单任务系统"是指该系统不能支持多任务并发操作,宏观串行地执行一个任务。而多任务系统则可以宏观并行(微观上可能串行)地"同时"执行多个任务。/ I5 u7 q0 r7 Z' d7 z1 ?
& c3 ?8 b5 O, Y, c- s |多任务的并发执行通常依赖于一个多任务操作系统(OS),多任务OS的核心是系统调度器,它使用任务控制块(TCB)来管理任务调度功能。TCB包括任务的当前状态、优先级、要等待的事件或资源、任务程序码的起始地址、初始堆栈指针等信息。调度器在任务被激活时,要用到这些信息。此外,TCB还被用来存放任务的"上下文"(context)。任务的上下文就是当一个执行中的任务被停止时,所要保存的所有信息。通常,上下文就是计算机当前的状态,也即各个寄存器的内容。当发生任务切换时,当前运行的任务的上下文被存入TCB,并将要被执行的任务的上下文从它的TCB中取出,放入各个寄存器中。- w9 w) @% O( R/ o+ d6 ^& K- O/ G
$ C+ U. d) L/ G$ v
嵌入式多任务OS的典型例子有Vxworks、ucLinux等。嵌入式OS并非遥不可及的神坛之物,我们可以用不到1000行代码实现一个针对80186处理器的功能最简单的OS内核,作者正准备进行此项工作,希望能将心得贡献给大家。+ A8 j+ |3 p9 R& H0 V* e. h
1 d8 G; D) A6 {7 Q究竟选择多任务还是单任务方式,依赖于软件的体系是否庞大。例如,绝大多数手机程序都是多任务的,但也有一些小灵通的协议栈是单任务的,没有操作系统,它们的主程序轮流调用各个软件模块的处理程序,模拟多任务环境。8 {4 G! J/ S6 o$ |" H6 V3 _
/ |% ?/ s" d/ i( n
单任务程序典型架构
2 f' ?8 E* B Z! M) {5 g( T7 k7 I5 K# g. k
(1)从CPU复位时的指定地址开始执行;
; g( l) Z) X. Z(2)跳转至汇编代码startup处执行;
! }" h) C% R( E" [+ R2 L(3)跳转至用户主程序main执行,在main中完成:
$ X* j$ j- g( n1 w9 j) y Sa.初试化各硬件设备; 6 u2 N% R% ^0 _4 f7 V; B/ E9 e
b.初始化各软件模块;" \$ E9 {- q5 @3 K- s F+ r7 i
c.进入死循环(无限循环),调用各模块的处理函数
. e1 `, @ Y2 C- ~2 `, e* V& c9 m& v# e: A
3 K! D: I8 b- ?/ k# y$ {& S# t用户主程序和各模块的处理函数都以C语言完成。用户主程序最后都进入了一个死循环,其首选方案是:: V) ^3 C0 I" _- v8 C
8 n# @2 N8 A3 T6 H. }9 u* {0 g0 @while(1)
/ g+ O) T+ Z( }; w{
7 W# z$ c# `3 K+ `}
; X( _8 r: M( s4 i: U/ p! `2 X0 Y! U/ m% a+ ]
有的程序员这样写:5 }& X$ |6 _' Z/ `' C5 J
7 P M/ j+ @ ^& qfor(;;)
9 P/ C. o' E: ?8 E+ f4 _, \' w{
% m: i3 D# ?. _$ G/ h; y( K}6 C' [) X% a' p# q2 k, a$ `
# c, s0 y3 H, _# [! |- l) F- m这个语法没有确切表达代码的含义,我们从for(;;)看不出什么,只有弄明白for(;;)在C语言中意味着无条件循环才明白其意。下面是几个"著名"的死循环:
$ ?: }. _7 p' x* G$ n- d- }+ {# u
(1)操作系统是死循环;
, ^/ \/ w' `/ `7 Z. b6 @0 _ G(2)WIN32程序是死循环;6 O$ P1 S/ z3 w4 N v0 j
(3)嵌入式系统软件是死循环;3 F* \6 _2 |' M% M8 `4 m7 g
(4)多线程程序的线程处理函数是死循环。/ c- U1 U7 O8 B6 Y
: d. f2 J8 \* O& y' c1 }你可能会辩驳,大声说:"凡事都不是绝对的,2、3、4都可以不是死循环"。Yes,you areright,但是你得不到鲜花和掌声。实际上,这是一个没有太大意义的牛角尖,因为这个世界从来不需要一个处理完几个消息就喊着要OS杀死它的WIN32程序,不需要一个刚开始RUN就自行了断的嵌入式系统,不需要莫名其妙启动一个做一点事就干掉自己的线程。有时候,过于严谨制造的不是便利而是麻烦。君不见,五层的TCP/IP协议栈超越严谨的ISO/OSI七层协议栈大行其道成为事实上的标准?
3 ]1 ^1 G% b+ M$ j
- {+ x' U# W# I/ T' _* b3 ?经常有网友讨论:( Q" G9 E n) t4 W/ R* z' L
* o# D& S3 A e/ s! aprintf("%d,%d",++i,i++); /* 输出是什么?*/1 X7 H1 v, d% D# W3 ~& m) }
c = a+++b; /* c=? */, Z7 l3 E1 z$ D# G$ W/ ~
7 n/ \6 j+ k0 ~
等类似问题。面对这些问题,我们只能发出由衷的感慨:世界上还有很多有意义的事情等着我们去消化摄入的食物。实际上,嵌入式系统要运行到世界末日。; K7 C* @3 F! V- ?" @( H- [
3 ]! Q. U9 A" h1 U1 a9 ~
中断服务程序
2 o6 f c4 p, `" ~, }
7 x. u0 @! u0 p" n! |& ?5 G中断是嵌入式系统中重要的组成部分,但是在标准C中不包含中断。许多编译开发商在标准C上增加了对中断的支持,提供新的关键字用于标示中断服务程序(ISR),类似于__interrupt、#programinterrupt等。当一个函数被定义为ISR的时候,编译器会自动为该函数增加中断服务程序所需要的中断现场入栈和出栈代码。( E6 @9 k3 Y( G! ]5 g
+ L0 D1 w, N- n" y. S: B$ P2 q中断服务程序需要满足如下要求:$ T! _% A S1 c7 x4 ]9 N' W3 G
: P c2 k$ @" ^
(1)不能返回值;1 n4 }/ ^: n, n* y' r/ g
(2)不能向ISR传递参数;
8 M) ] o1 x5 p(3) ISR应该尽可能的短小精悍;
; N6 a: m6 L; o/ X- e9 ~$ I" r3 c(4) printf(char * lpFormatString,…)函数会带来重入和性能问题,不能在ISR中采用。 V, X' V! j% X0 I
" Y+ A) ^$ n7 n4 |3 @# j8 M. i9 v
在某项目的开发中,我们设计了一个队列,在中断服务程序中,只是将中断类型添加入该队列中,在主程序的死循环中不断扫描中断队列是否有中断,有则取出队列中的第一个中断类型,进行相应处理。1 K& x, s, Q' @# ~
- P* T- i! |6 y5 f9 [, C/* 存放中断的队列 */; q; y; J: x# e! K3 c& X/ S
typedef struct tagIntQueue
, S9 C3 e' ?* {9 N; ]{
" }% s8 b; \" M2 x5 c8 S. B int intType; /* 中断类型 */5 S% N+ |! P: Z0 R3 I7 ^. R
struct tagIntQueue *next;
. g5 t% b+ w# Z2 D}IntQueue;. P% D9 N# N% o+ t: o2 f6 X
( D! Q" p0 ]: F% _IntQueue lpIntQueueHead;
5 x! k1 d8 n+ t& t9 K3 ?2 l! z* p: ^
__interrupt ISRexample ()
/ Z4 T- G2 H. x" N{
2 M R' M% e' \) \, c' g int intType;4 s: ~: F0 u' R9 g) B
intType = GetSystemType();
5 @9 u6 j. d j% T/ T4 s: M: ]8 O QueueAddTail(lpIntQueueHead, intType);/* 在队列尾加入新的中断 */
* N/ z8 Z9 @5 M' A0 w6 Y}
. t1 z( G4 i* [1 T; `
* l, L: I3 Q' Z# v在主程序循环中判断是否有中断:
6 P$ E- h" g, |7 Y- U$ H
6 z" d7 q. B. C1 P! u! R, gWhile(1); Y& L A3 `' H" `$ _& H- ^
{* ]6 K2 J2 H, K, @" T
If( !IsIntQueueEmpty() )7 D0 w5 D& {7 G; u% _" Q
{
5 a, ^6 b F6 ]* k( k! o2 H; R) K intType = GetFirstInt();
4 J- f2 E, d4 ]" O switch(intType) /* 是不是很象WIN32程序的消息解析函数? */
; U P K4 ?! q {$ F" f+ w, R- l1 H+ O
/* 对,我们的中断类型解析很类似于消息驱动 */* w, z r/ s/ B9 Q0 w; i4 N
case xxx: /* 我们称其为"中断驱动"吧? */1 o; O5 [6 D* ?; C \' z
…8 t3 N" ?, a0 k) |7 \9 S
break;$ M2 B- S/ q9 w2 U$ U" k5 J* S
case xxx:! l2 U7 J# y7 n9 h
…
3 q+ Q) e [; e, ` break;! k6 q" A) \7 X( S' p
…
* O& D* L; u v7 v: z }
5 v0 R4 I4 G! [ }4 b3 q# W& R3 r
}- _0 k5 Y' J/ e4 U4 t/ d: m* ~
4 h- @0 G9 y. S: a) u3 V
按上述方法设计的中断服务程序很小,实际的工作都交由主程序执行了。# m+ Q* U$ D Q$ W2 ~. b
' S4 e! L, K; Z硬件驱动模块
5 K! A: ~+ q( Z! V5 c1 E2 Q5 y9 J/ k8 m; O! g5 T
一个硬件驱动模块通常应包括如下函数:) Q, N( m: Q" H7 k V
% I! E/ c3 w* Q9 X(1)中断服务程序ISR* H" d* P9 [ G# j& }
(2)硬件初始化
( `% Z i5 \ \8 P" \8 F3 E) ca.修改寄存器,设置硬件参数(如UART应设置其波特率,AD/DA设备应设置其采样速率等);; o: f; U' R) w5 h1 b; Z
b.将中断服务程序入口地址写入中断向量表:
7 \) W) J5 ~4 T: M+ n( q% D. M/ W& W, O
6 e2 W' Y! L$ D: r3 V& L% ^' d0 S) v" b/* 设置中断向量表 */
4 z! [* D. o5 ^% ]m_myPtr = make_far_pointer(0l); /* 返回void far型指针void far * */
/ g+ M) @6 d o8 N9 G1 @m_myPtr += ITYPE_UART; /* ITYPE_UART: uart中断服务程序 */
( P) z$ a6 b& P; r% c/* 相对于中断向量表首地址的偏移 */) R8 K' c! y$ L
*m_myPtr = &UART _Isr; /* UART _Isr:UART的中断服务程序 */
/ `0 P. i3 _9 ^; U5 N
+ A" I3 B6 |6 p9 w; n(3)设置CPU针对该硬件的控制线' z9 M5 L/ @. J( a2 d+ h2 r, f& R4 }
a.如果控制线可作PIO(可编程I/O)和控制信号用,则设置CPU内部对应寄存器使其作为控制信号;0 o6 p* ~2 g9 Q! R7 _
b.设置CPU内部的针对该设备的中断屏蔽位,设置中断方式(电平触发还是边缘触发)。- h* _5 C0 T. m, T& @
" m. o0 R; t4 X) P9 o9 ?( Q5 ?) ]6 V6 U' ?8 h
(4)提供一系列针对该设备的操作接口函数。例如,对于LCD,其驱动模块应提供绘制像素、画线、绘制矩阵、显示字符点阵等函数;而对于实时钟,其驱动模块则需提供获取时间、设置时间等函数。% j) W( \/ M) T ]0 P j
: \2 n1 {$ c3 w* E' ~4 JC的面向对象化
8 J+ L5 N3 j2 H7 v7 {1 d* G' _9 S$ w$ y0 L& m) `" Q- }( c
在面向对象的语言里面,出现了类的概念。类是对特定数据的特定操作的集合体。类包含了两个范畴:数据和操作。而C语言中的struct仅仅是数据的集合,我们可以利用函数指针将struct模拟为一个包含数据和操作的"类"。下面的C程序模拟了一个最简单的"类":3 V( E$ m9 k9 ~, Q
' Y2 G6 L6 E; E/ S9 L8 h: g
#ifndef C_Class9 J$ n1 i: C' ?" p# r& Z( c
#define C_Class struct
& \0 ]. T6 L+ P- t#endif
8 h; E. A& g/ i( G+ X, ~2 `C_Class A
& g2 T& q+ I1 ?# ` y3 ?( ]{
% R! Z* ` ?% A. L) Q- J# | C_Class A *A_this; /* this指针 */' f' a) |- @; N% o/ r; y6 Q& E& ]3 _
void (*Foo)(C_Class A *A_this); /* 行为:函数指针 */
% f2 H$ G; I" X8 ? int a; /* 数据 */9 C7 {9 D8 J2 }
int b;
$ ~( n, D( f- y$ m};
( l- @! u4 x$ R" _$ n# _1 Z" \( K A/ L
我们可以利用C语言模拟出面向对象的三个特性:封装、继承和多态,但是更多的时候,我们只是需要将数据与行为封装以解决软件结构混乱的问题。C模拟面向对象思想的目的不在于模拟行为本身,而在于解决某些情况下使用C语言编程时程序整体框架结构分散、数据和函数脱节的问题。我们在后续章节会看到这样的例子。& z* o6 |( P# A$ T" W n H5 |% N2 v( C
+ b4 f: y* \/ w: e/ Q
总结
% z: o3 J) ` I7 J: j4 W) Z! H3 S4 Q) W# a) d/ r
本篇介绍了嵌入式系统编程软件架构方面的知识,主要包括模块划分、多任务还是单任务选取、单任务程序典型架构、中断服务程序、硬件驱动模块设计等,从宏观上给出了一个嵌入式系统软件所包含的主要元素。
8 x+ _+ I! v" c7 b$ V; N& w- E$ z/ L& n* B6 Z" a
请记住:软件结构是软件的灵魂!结构混乱的程序面目可憎,调试、测试、维护、升级都极度困难。2 V1 C3 {( M ?; U
9 ~6 j7 n' b9 B; K$ ]) H: y. j7 C% F% f
|
|