STM32基础/__IO/volatile

KingOne007

于 2024-09-19 11:19:15 发布

阅读量1k

点赞数 12

分类专栏： STM32基础文章标签： stm32 嵌入式硬件

本文链接：https://blog.csdn.net/KingOne007/article/details/142355020

版权

STM32基础专栏收录该内容

5 篇文章 0 订阅

订阅专栏

在 STM32 的编程环境中，经常会看到#define __IO volatile这样的定义，以下是对其含义和作用的详细解释：

1. 基本理解

#define是 C 语言中的预处理指令，用于定义宏。在这里，__IO被定义为volatile。
从本质上讲，这意味着在代码中出现__IO关键字的地方，预处理器会将其替换为volatile。

2. 与硬件交互的必要性

在嵌入式系统中，特别是像 STM32 这样的微控制器环境中，程序需要与硬件寄存器进行交互。
- 硬件寄存器的值可能会因为外部设备的操作、内部硬件的运行（如定时器计数、串口接收数据等）而随时发生改变。
如果没有volatile关键字，编译器在优化代码时可能会做出一些假设，导致程序行为不符合预期。
- 例如，编译器可能认为某个变量在一段时间内不会改变，从而将该变量的值缓存起来，而不是每次都从内存（硬件寄存器所在的位置）中读取。这样，当硬件寄存器的值实际上已经发生变化时，程序却使用了缓存的旧值，从而导致错误。

3. 示例说明

考虑以下代码片段，用于读取 STM32 的 GPIO（通用输入 / 输出）端口的输入数据寄存器：

typedef struct
{
    __IO uint32_t IDR;
    //...其他寄存器成员
} GPIO_TypeDef;

GPIO_TypeDef* GPIOx;
uint32_t inputValue = GPIOx->IDR;

在上述代码中，GPIOx->IDR是一个硬件寄存器，用于读取 GPIO 端口的输入值。
- 由于IDR被定义为__IO（即volatile），编译器会确保每次读取GPIOx->IDR时，都是从硬件寄存器中获取最新的值，而不是使用可能已经缓存的值。
再看一个向 GPIO 端口的输出数据寄存器写入数据的例子：

typedef struct
{
    __IO uint32_t ODR;
    //...其他寄存器成员
} GPIO_TypeDef;

GPIO_TypeDef* GPIOx;
GPIOx->ODR = 0x0001;

在这里，GPIOx->ODR是用于设置 GPIO 端口输出值的硬件寄存器。
- 因为ODR被定义为__IO，当执行GPIOx->ODR = 0x0001;时，编译器会确保这个值立即被写入到硬件寄存器中，从而改变 GPIO 引脚的输出电平。

以下是对 STM32 中volatile和__IO的详细解释：

volatile 关键字

含义
- volatile是 C/C++ 语言中的一个关键字，它的作用是告诉编译器，被修饰的变量是易变的，即变量的值可能会在程序的执行过程中被意想不到的因素改变，比如被外部硬件（如中断、DMA 等）修改，或者被不同的线程（在多线程环境下）修改。
对编译器优化的影响
- 在没有volatile修饰的情况下，编译器为了提高程序的运行效率，可能会对代码进行优化。例如，如果编译器发现一段代码多次读取同一个变量，而在这段代码中该变量没有被显式地修改，编译器可能会将这个变量的值缓存到寄存器中，后续的读取操作直接从寄存器获取值，而不是从内存中读取。但是，当这个变量被volatile修饰后，编译器就不会进行这样的优化，每次读取该变量时都会从内存中重新读取，以确保获取到最新的值。

__IO是一个定义在头文件中的关键字，以下是关于它的详细解释：

含义及作用
- __IO是用来修饰变量的，它表示这个变量是一个 “输入 - 输出”（Input - Output）变量，即这个变量的值可以被硬件修改（例如外设对某个寄存器的修改），也可以在程序中被修改。其主要目的是确保编译器不会对这个变量进行过度的优化，保证对该变量的读写操作能够按照预期的硬件行为执行。
- 在底层实现上，__IO通常被定义为volatile关键字。volatile关键字是 C/C++ 语言中的一个类型修饰符，它告诉编译器该变量的值可能会在程序的外部被改变（例如被中断服务程序或者硬件寄存器修改），因此编译器在每次使用该变量时都应该从内存中重新读取其值，而不是使用保存在寄存器中的缓存值。
使用场景
- 寄存器操作：在 STM32 编程中，对硬件寄存器的访问是最常见的使用__IO的场景。例如，当你需要读取或写入一个定时器的计数器值、GPIO 端口的输入 / 输出数据寄存器等，这些寄存器的值可能会被硬件自动修改（比如定时器计数增加或者 GPIO 输入引脚状态改变），所以在定义指向这些寄存器的指针变量时，需要使用__IO修饰。

#define PERIPH_BASE           ((uint32_t)0x40000000)
#define APB2PERIPH_BASE       (PERIPH_BASE + 0x10000)
#define GPIOA_BASE            (APB2PERIPH_BASE + 0x0800)
#define GPIOA_ODR_Addr    (GPIOA_BASE + 12)
typedef struct
{
    __IO uint32_t CRL;
    __IO uint32_t CRH;
    __IO uint32_t IDR;
    __IO uint32* ODR;
    //... other members
} GPIO_TypeDef;
#define GPIOA ((GPIO_TypeDef *) GPIOA_BASE)
// 设置 GPIOA 的某个引脚为高电平
GPIOA->ODR = 0x00000001;

中断相关变量：在处理中断的过程中，如果有一些变量会在主程序和中断服务程序中共享，并且这些变量的值可能会在中断发生时被修改，那么这些变量应该被定义为__IO类型，以确保在主程序中读取到的是最新的值。

__IO uint32_t flag;
// 中断服务程序
void EXTI0_IRQHandler(void)
{
    if(EXTI_GetITStatus(EXTI_Line0)!= RESET)
    {
        flag = 1;
        EXTI_ClearITPendingBit(EXTI_Line0);
    }
}
// 主程序
int main(void)
{
    //...初始化代码
    while(1)
    {
        if(flag)
        {
            // 执行中断相关的操作
            flag = 0;
        }
    }
}

多线程环境（使用实时操作系统 RTOS）
- 多线程共享变量的情况：在使用实时操作系统（RTOS）的 STM32 应用中，多个任务之间可能会共享变量。当一个变量被多个任务访问，并且至少有一个任务会修改这个变量时，这个变量应该被声明为volatile，以防止编译器优化导致的数据不一致。
- 示例代码：

volatile uint32_t sharedVariable;

// 任务1
void Task1(void *argument)
{
    while (1)
    {
        // 读取并修改 sharedVariable
        sharedVariable++;
        osDelay(100);
    }
}

// 任务2
void Task2(void *argument)
{
    while (1)
    {
        // 读取 sharedVariable
        if (sharedVariable > 100)
        {
            // 执行相关操作
        }
        osDelay(50);
    }
}

解释说明：在这个例子中，sharedVariable被两个任务Task1和Task2共享。Task1会对sharedVariable进行递增操作，而Task2会读取sharedVariable的值并根据其大小执行相关操作。由于两个任务可能在不同的时间片执行，sharedVariable的值可能会在Task2读取之前被Task1修改，所以需要将sharedVariable声明为volatile来确保Task2每次读取到的都是最新的值。