_I、 __O 、__IO是什么意思？
这是ST库里面的宏定义，定义如下：
#define     __I       volatile const        /*!< defines 'read only' permissions      */
#define     __O       volatile                  /*!< defines 'write only' permissions     */
#define     __IO      volatile                  /*!< defines 'read / write' permissions   */

显然，这三个宏定义都是用来替换成 volatile 和 const 的，所以我们先要了解 这两个关键字的作用：

volatile
简单的说，就是不让编译器进行优化，即每次读取或者修改值的时候，都必须重新从内存或者寄存器中读取或者修改。

一般说来，volatile用在如下的几个地方：
    1、中断服务程序中修改的供其它程序检测的变量需要加volatile；
    2、多任务环境下各任务间共享的标志应该加volatile；
    3、存储器映射的硬件寄存器通常也要加volatile说明，因为每次对它的读写都可能由不同意义；

我认为这是区分C程序员和嵌入式系统程序员的最基本的问题。搞嵌入式的家伙们经常同硬件、中断、RTOS等等打交道，所有这些都要求用到 volatile变量。不懂得volatile的内容将会带来灾难。假设被面试者正确地回答了这是问题（嗯，怀疑是否会是这样），我将稍微深究一下，看一下这家伙是不是直正懂得volatile完全的重要性。
    1)一个参数既可以是const还可以是volatile吗？解释为什么。
    2); 一个指针可以是volatile 吗？解释为什么。
    3); 下面的函数有什么错误：
int square(volatile int *ptr)  
{   
    return *ptr * *ptr;  
}

1)是的。一个例子是只读的状态寄存器。它是volatile因为它可能被意想不到地改变。它是const因为程序不应该试图去修改它。
    2); 是的。尽管这并不很常见。一个例子是当一个中服务子程序修该一个指向一个buffer的指针时。
    3) 这段代码有点变态。这段代码的目的是用来返指针*ptr指向值的平方，但是，由于*ptr指向一个volatile型参数，编译器将产生类似下面的代码：
int square(volatile int *ptr)  
{   
    int a,b;   
    a = *ptr;  
    b = *ptr;  
    return a * b;   
}  
由于*ptr的值可能被意想不到地该变，因此a和b可能是不同的。结果，这段代码可能返不是你所期望的平方值！正确的代码如下：
long square(volatile int *ptr)  
{   
    int a;   
    a = *ptr;  
    return a * a;   
}

const
    只读变量，即变量保存在只读静态存储区。编译时，如何尝试修改只读变量，则编译器提示出错，就能防止误修改。
    const与define
   两者都可以用来定义常量，但是const定义时，定义了常量的类型，所以更精确一些（其实const定义的是只读变量，而不是常量）。#define只是简单的文本替换，除了可以定义常量外，还可以用来定义一些简单的函数，有点类似内置函数。const和define定义的常量可以放在头文件里面。（小注：可以多次声明，但只能定义一次）

const与指针    
int me;   
const int * p1=&me;           //p1可变，*p1不可变             const 修饰的是 *p1，即*p1不可变
int * const p2=&me;           //p2不可变，*p2可变             const 修饰的是 p2，即p2不可变
const int *const p3=&me;   //p3不可变，*p3也不可变       前一个const 修饰的是 *p3，后一个const 修饰的是p3，两者都不可变

前面介绍了 volatile 和 const 的用法，不知道大家了解了没？了解了后，下面的讲解就更加容易了：
__I ：输入口。既然是输入，那么寄存器的值就随时会外部修改，那就不能进行优化，每次都要重新从寄存器中读取。也不能写，即只读，不然就不是输入而是输出了。
__O ：输出口，也不能进行优化，不然你连续两次输出相同值，编译器认为没改变，就忽略了后面那一次输出，假如外部在两次输出中间修改了值，那就影响输出
__IO：输入输出口，同上

为什么加下划线？

原因是：避免命名冲突
一般宏定义都是大写，但因为这里的字母比较少，所以再添加下划线来区分。这样一般都可以避免命名冲突问题，因为很少人这样命名，这样命名的人肯定知道这些是有什么用的。
经常写大工程时，都会发现老是命名冲突，要不是全局变量冲突，要不就是宏定义冲突，所以我们要尽量避免这些问题，不然出问题了都不知道问题在哪里

=========================狡猾的分割线=================================================================

　　volatile一般用在以下三个方面：

　　1、中断标志位

　　2、多线程共享的变量

　　3、状态寄存器（也就是楼主所说的定义的内部的绝对地址）：

　　　　绝对地址的话 要加 Volatile，不然肯定会被编译系统优化掉。
　　　　相对地址或普通内存，看用户的定义。
　　　　有时候， Volatile 也伴随着 __no_init 一起，特别是在定义硬件内部绝对地址的时候。

　　4、空等待

　　如volatile int i;
　　for(i=0;i<1000;i++);

　　如果不加volatile,很可能被编译器当做无效代码删除掉。