深圳市英蓓特信息技术有限公司——ARM 开发工具专业提供商
http://www.embedinfo.com
MDK 中 Const 和 volatile 的使用
volatile 的使用
区分 C 程序员和嵌入式系统程序员的最基本的问题。搞嵌入式的程序员经常同硬件、中断、
RTOS 等等打交道,所有这些都要求用到 volatile 变量。不懂得 volatile 的内容将会带来灾难。
有时在编译代码如果选用了优化级别 -O2 和 -O3 ,会产生某些问题。例如,可能在争夺
硬件资源而陷入死循环,或者多个进程有些预想不到的行为。当遇到这些情况,你可能需要把有
些变量定义为 volatile。
如果将一个变量定义为 volatile 则相当于告诉编译器该变量可能随时被改变,例如被操作
系统或硬件所改变。因为带有限定符 volatile 的变量可以在任何时刻改变,该变量的物理地址可
能被频繁地访问。这就意味着编译器不能对这些变量实现优化,例如,将变量缓存到寄存器避免
访问内存。
相反,如果一个变量未被定义成 volatile,则编译器认为该变量不能在应用程序之外改变。
因此编译器可对这种变量实行优化。关键字 volatile 也不能滥用,可能会产生错误,比如如下例
子:
C 代码
通过编译器优化后的反汇编
int square(volatile int *ptr)
……
{
return *ptr * *ptr;
}
ldr
ldr
r1,
[r0]
r0,
[r0]
mul r0,
r1,
r0
……
这段代码的目的是用来返指针*ptr 指向值的平方,但是,由于*ptr 指向一个 volatile 型参数,
编译器优化代码后将产生上表右边的代码。
由于*ptr 的值可能被意想不到地该变,因此[r0]内存单元内的值可能是不同的。结果,这段
代码可能返不是你所期望的平方值!
正确的代码应该如下:
深圳总部:0755-25504951 25638952 25532557 | 销售邮箱:sales.realview@embedinfo.com
华北办事处:010-59713204 | 华东办事处:021-63089029 | 华中办事处:027-87399523
深圳市英蓓特信息技术有限公司——ARM 开发工具专业提供商
http://www.embedinfo.com
C 代码
通过编译器优化后的反汇编
int square(int *ptr)
{
return *ptr * *ptr;
}
……
ldr
mul
……
r1,
[r0]
r0,
r1,
r1
当一个变量的值可能在应用程序不知道的情况下可能改变其值,为了避免优化带来的问
题,需要将其定义为 volatile 类型。当有以下情况时需要定义为 volatile 类型的变量:
访问内存映射的外围设备。
在不同的进程之间共用全局变量。
在中断服务程序中访问全局变量。
const 的使用
const int a;
int const a;
const int *a;
int * const a;
int const * a const;
前两个的作用是一样,a 是一个常整型数。第三个意味着 a 是一个指向常整型数的指针(也
就是,整型数是不可修改的,但指针可以)。第四个意思 a 是一个指向整型数的常指针(也就是
说,指针指向的整型数是可以修改的,但指针是不可修改的)。最后一个意味着 a 是一个指向常
整型数的常指针(也就是说,指针指向的整型数是不可修改的,同时指针也是不可修改的)。
即使不用关键字 const,也还是能很容易写出功能正确的程序,那么我为什么还要如此看
重关键字 const 呢?原因如下:
关键字 const 的作用是为给读你代码的人传达非常有用的信息,实际上,声明一个参数
为常量是为了告诉了用户这个参数的应用目的。
通过给优化器一些附加的信息,使用关键字 const 也许能产生更紧凑的代码。
深圳总部:0755-25504951 25638952 25532557 | 销售邮箱:sales.realview@embedinfo.com
华北办事处:010-59713204 | 华东办事处:021-63089029 | 华中办事处:027-87399523
深圳市英蓓特信息技术有限公司——ARM 开发工具专业提供商
http://www.embedinfo.com
合理地使用关键字 const 可以使编译器很自然地保护那些不希望被改变的参数,防止其
被无意的代码修改。简而言之,这样可以减少 bug 的出现。
深圳总部:0755-25504951 25638952 25532557 | 销售邮箱:sales.realview@embedinfo.com
华北办事处:010-59713204 | 华东办事处:021-63089029 | 华中办事处:027-87399523