为何函数调用位置不同返回值异常？Nordic FICR设备ID读取问题

问题描述 #

我在拼接MQTT消息时遇到一个诡异的现象：提前把设备ID存入变量再传入snprintf，输出的device_id始终是6501000A，和预期的0x6501C74F不符；但直接将get_raw_device_id()作为参数传入snprintf，结果就完全正常。

异常代码示例 #

char message[200];
uint32_t device_id = get_raw_device_id(); // 返回内部FICR寄存器值
char some_string[50];

/* 填充some_string并建立MQTT连接的中间代码 */

int len = snprintf(message, sizeof(message), 
        "{\"device_id\": \"%08X\", \"Params\": \"%s\"}",
        device_id, some_string);

输出结果：{"device_id": "6501000A", "Params": "XXXXXXX"}

正常代码示例 #

char message[200];
char some_string[50];

/* 填充some_string并建立MQTT连接的中间代码 */

int len = snprintf(message, sizeof(message), 
        "{\"device_id\": \"%08X\", \"Params\": \"%s\"}",
        get_raw_device_id(), some_string);

输出结果符合预期：{"device_id": "6501C74F", "Params": "XXXXXXX"}

设备ID获取函数代码 #

#define     __IM     volatile const      /*! 定义'只读'结构成员权限 */

typedef struct { 
....
  __IM  uint32_t  DEVICEID[2]; /*!< (@ 0x00000060) 设备标识符集合 */
....
} NRF_FICR_Type;

uint32_t get_raw_device_id()
{
    return NRF_FICR->DEVICEID[1]; // 为简洁仅获取其中一个32位值
}

原因分析 #

核心问题出在编译器优化和栈空间干扰上：

1. volatile的作用被绕过：FICR寄存器用volatile const修饰，是为了强制编译器每次都从硬件寄存器读取值，不能缓存或优化。但存入普通uint32_t变量后，这个变量没有volatile属性，编译器会认为它的值不会变化，后续可能因为寄存器复用、代码优化等导致值被篡改。
2. 中间代码的栈操作覆盖：填充字符串、建立MQTT连接的中间代码大概率会调用其他函数、占用栈空间，而device_id作为局部变量存在栈上，很可能被后续的栈操作覆盖，等到调用snprintf时已经是错误的值。
3. 直接传函数调用的优势：把get_raw_device_id()直接作为参数传入时，函数会在snprintf执行前立刻读取寄存器值，这个临时值不会被中间代码的栈操作影响，同时因为函数内部访问的是volatile修饰的寄存器，编译器不会跳过这次读取，能保证拿到正确的设备ID。

解决方案 #

有两种可靠的解决方式：

• 保持直接在snprintf中调用get_raw_device_id()的写法，确保每次都实时读取寄存器。
• 给device_id变量加上volatile修饰，强制编译器每次使用时都重新读取内存值：

  volatile uint32_t device_id = get_raw_device_id();
  

内容的提问来源于stack exchange，提问作者Halo3fanz