__stdinp含义及seL4微内核上实现简易scanf的stdin机制咨询

问题 #

我正在微内核seL4上实现一个仅支持字符串读取的简易scanf，所以通过研读musllibc的scanf实现寻找思路。我在stdio.h里发现stdin被定义为__stdinp：

#define stdin   __stdinp
#define stdout  __stdoutp
#define stderr  __stderrp

但我不知道__stdinp的来源。比如musllibc里的scanf是通过调用vscanf实现的，vscanf.c的代码如下：

#include <stdio.h>
#include <stdarg.h>
#include "libc.h"

int vscanf(const char *restrict fmt, va_list ap)
{
    return vfscanf(stdin, fmt, ap);
}

weak_alias(vscanf,__isoc99_vscanf);

我用的是MacOS，这里的stdin会映射成__stdinp，这部分我能理解。想知道stdin后续是怎么工作的，以及它是如何关联到实际标准输入端口来读取输入的？

解答 #

1. __stdinp的本质 #

__stdinp是一个指向FILE结构体的全局指针，在musllibc的初始化阶段完成赋值。每个FILE实例对应一个I/O流，内部包含缓冲区、关联的文件描述符、流状态标志等核心信息，__stdinp指向的FILE结构体，绑定的是标准输入对应的文件描述符（通常为0）。

2. 初始化流程 #

musllibc在启动时，会执行全局初始化逻辑（比如__libc_init函数），其中会创建并预初始化__stdinp、__stdoutp、__stderrp三个全局指针：

• 为每个指针分配对应的FILE结构体空间
• 将__stdinp对应的FILE结构体绑定到文件描述符0，完成标准输入流的初始化

3. stdin到实际输入的调用链 #

当vscanf调用vfscanf(stdin, fmt, ap)后，流程如下：

• vfscanf首先检查stdin对应的FILE结构体中的缓冲区，如果有未处理的输入数据，直接从缓冲区读取并解析。
• 当缓冲区为空时，vfscanf会调用底层的read系统调用，传入stdin绑定的文件描述符0，向内核请求读取输入数据。
• 在传统OS（比如你的MacOS）中，内核会负责从终端、管道等实际输入源读取数据并返回给libc；而在seL4微内核环境下，read并不是直接的内核系统调用，而是通过seL4的IPC机制，向负责处理输入的用户态服务（比如串口驱动、虚拟控制台服务）发送请求，获取输入字节后返回，再填充到FILE的缓冲区中供解析使用。

4. seL4上实现简易scanf的关键点 #

由于seL4是微内核，没有内置的终端或文件系统驱动，你需要手动完成以下关联：

• 定义简化版的FILE结构体：只保留必要的缓冲区和输入读取接口（无需复杂的状态标志）。
• 绑定输入源：将你的"标准输入"关联到seL4上的实际输入端点，比如串口的IPC通道、虚拟控制台的服务端口。
• 实现底层读取逻辑：通过seL4的IPC API从输入服务读取字节，填充到缓冲区，再实现字符串解析逻辑（对应scanf的字符串读取功能）。

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