newlib 与多任务：_reent 隔离、printf 的真实代价与 Keil 的替代方案

一页速查

newlib 在工具链里的位置

arm-none-eabi-gcc
├── 编译器
├── binutils
└── C 库  <- newlib
      ├── libc.a        标准 newlib
      ├── libc_nano.a   精简版（printf 默认不带浮点）
      ├── libm.a        数学
      ├── libnosys.a    系统调用桩（_sbrk / _write ...）
      └── *.specs       nosys.specs / nano.specs / rdimon.specs

nosys.specs 指向标准 newlib，nano.specs 指向精简版。规格文件决定了链接哪套库，也决定了行为差异。

它覆盖的范围：

核心机制：状态打包进结构体，用指针路由

_reent 不是函数，是结构体。这是最常被搞混的一点。

struct _reent {
    int                _errno;          /* 当前上下文的 errno */
    const __locale_t  *_locale;         /* 数字格式化 / 字符分类规则 */
    struct __sFILE     _stdin, _stdout, _stderr;
    char              *_strtok_last;    /* strtok 上次停在哪 */
    unsigned long long _rand_next;      /* rand 的种子 */
    void              *_freelist;       /* %f 的大数运算内存池 */
    struct _Bigint    *_p5s;            /* %f 的 5 的幂次表 */
    char              *_env;
    /* ... */
};

真正的路由靠一个全局指针：

struct _reent *_impure_ptr;      /* 谁在用 */

#define _REENT (_impure_ptr)
#define errno  (*__errno())      /* errno 是宏，不是全局变量 */

所有可重入版函数都通过这个指针间接访问状态，普通版只是"拿 _impure_ptr 当参数去调可重入版"的薄包装：

这个设计只解决了一半问题

所以责任是分开的：

C99 / C11 的 7.1.4 节写得很清楚：标准库函数不保证可重入，且可能修改具有静态存储期的对象。线程安全的责任从一开始就划在使用者和运行环境一侧。这不是 newlib 的缺陷，是所有 C 库的共同前提。

没有它会怎样

#include <stdio.h>
printf("hello\r\n");

undefined reference to `puts`      <- newlib 提供
undefined reference to `memcpy`
undefined reference to `_sbrk`

"不用 newlib"的现实含义不是"不链接 C 库"，而是换一个实现：

有它的三笔账

数据量级取自 arm-none-eabi-gcc 10.3。

RAM：每任务约 1 KB

7 个任务时，光隔离就吃掉约 7.4 KB。这在只有 20 KB RAM 的 MCU 上是硬约束。

Flash：printf 相关约 12.5 KB

栈：单次格式化约 470 B

再叠上调用方的行缓冲（比如 char line[128]），一次格式化就吃掉近 470 B 任务栈。

%f 才是最危险的那个

浮点路径还有一个实时性代价：大数运算耗时不定，对周期性任务不友好。

两个正交的问题

这是最容易混在一起的地方，必须分开看：

两者不能互相替代：

缺一不可。

实际会怎么坏

时刻 1   A 进入 vsnprintf，开始写共享 impure_data
时刻 2   中断切换 -> B
时刻 3   B 进入 vsnprintf，覆盖了 A 的中间状态
时刻 5   切回 A，从被覆盖的状态继续 -> 输出乱码
         若用了 %f，共享 _freelist 被破坏 -> 后续 malloc 链表损坏 -> HardFault

ISR 里打印更糟：中断上下文里 _impure_ptr 指向谁完全不确定，可能破坏任意任务的 reent。这就是规范里写"禁止在 ISR 中打印"的原因。

多任务用 strtok 解析协议：_strtok_last 被覆盖，产生静默的解析错误，比乱码更难查。

哪些函数有风险

A 类，依赖 reent 状态，多任务下必须串行化：

B 类，纯计算不碰 reent，可以直接并发：memcpy memmove memset memcmp memchr strlen strcmp strncmp strncpy strchr atoi 以及 isdigit 等字符分类。

strtol 会写 errno，不在安全清单里。这类"看起来无害"的函数要逐个确认。

Keil 为什么"没有这个问题"

一句话：编译器不同，C 库就不同。newlib 只存在于 GCC 工具链里。

所以 Keil 里接触不到 newlib 的问题，不是问题不存在，而是编译器换了。

Arm C 库的隔离靠弱符号接管

void *__user_perthread_libspace(void);   /* 弱符号，可由 RTOS 覆盖 */

它等价于 newlib 的 _impure_ptr，但是否生效取决于有没有人接管：

串口重定向的写法也不同

/* GCC + newlib：覆盖 _write */
int _write(int fd, char *buf, int len) { /* 写串口 */ }

/* Keil + Arm C 库 / MicroLIB：覆盖 fputc */
int fputc(int ch, FILE *f) { /* 写串口 */ }

printf 和 vsnprintf 是兄弟，不是父子

解包 libc.a 看未定义符号就能确认：

        newlib/libc/stdio/vfprintf.c     <- 同一份源码
                  |
     +------------+------------+
     | 副本1：输出到 FILE*      | 副本2：输出到字符串缓冲
     |  _vfprintf_r (6964 B)   |  _svfprintf_r (6688 B)
     |    +- __sprint_r        |    +- __ssprint_r
     |         +- _write       |         +- 直接写 buf
     +------------+------------+
printf/fprintf --+             +-- snprintf/vsnprintf/sprintf

三个推论：

• 两者的格式化能力和线程安全画像完全相同，_vfprintf_r 同样会碰 _dtoa_r / _localeconv_r / _malloc_r。
• 不要同时用 printf 和 snprintf，会链接两份约 7 KB 的副本。
• 把 vsnprintf 换成 printf 不解决任何线程安全问题，只是换了输出目标。

printf 里的 malloc 什么时候才走

反汇编 _svfiprintf_r 开头：

ldrh r3, [r1, #12]    ; fp->_flags
ldr  r3, [r1, #16]    ; fp->_bf._base，__sFILE 偏移 0x10
cmp  r3, #0
beq  malloc_64        ; 只有 _bf._base == NULL 才 malloc(64)

排查命令

# 整体占用
arm-none-eabi-size --format=berkeley build/xxx.elf

# 按大小排序找大户
arm-none-eabi-nm -S --size-sort build/xxx.elf

# 确认某函数被谁拉进链接
Select-String -Path build/xxx.map -Pattern "(vsnprintf)"

# 看 C 库内部依赖关系（最有价值的手法）
$tc  = "<工具链根目录>"
$lib = "$tc/arm-none-eabi/lib/thumb/v8-m.main/nofp/libc.a"
& "$tc/bin/arm-none-eabi-ar.exe" t $lib | Select-String "printf|dtoa|mprec"
& "$tc/bin/arm-none-eabi-ar.exe" x $lib "lib_a-svfiprintf.o"
& "$tc/bin/arm-none-eabi-nm.exe"      "lib_a-svfiprintf.o" | Select-String "^\s*U "
& "$tc/bin/arm-none-eabi-objdump.exe" -d "lib_a-svfiprintf.o"   # 看 sub sp,#N 得栈帧

记忆卡

术语表