用户态和内核态是什么？系统调用是怎么执行的？

详细解析#

为什么要分两种状态#

如果应用能直接操作磁盘、网卡和别的进程的内存，一个有 bug 或恶意的程序就能破坏整个系统。分出特权级后：

• 特权指令（修改页表、关中断、访问 I/O 端口）只能在内核态执行，用户态执行会触发异常
• 内核的内存在页表中标记为只有内核态能访问
• 应用想用硬件资源，必须走内核提供的接口，内核负责检查权限、做资源隔离

用户态和内核态说的是 CPU 当前的运行模式，同一个线程会在两种状态之间来回切换，不是两个不同的线程。

进入内核的三种方式#

时钟中断是调度的基础：即使线程在死循环，内核也能定期拿回控制权，决定要不要切换到其他线程，见 上下文切换。

一次系统调用的过程#

以 x86-64 Linux 上调用 read(fd, buf, n) 为例：

1. 应用调用 glibc 的 read() 封装函数
2. 封装函数把系统调用号放进 rax，参数依次放进 rdi、rsi、rdx（更多参数用 r10、r8、r9），执行 syscall 指令
3. CPU 切换到 ring 0，跳到内核预先设置好的入口地址；内核保存用户态寄存器，切换到这个线程的内核栈
4. 内核按调用号在系统调用表里找到对应的处理函数并执行：检查参数、找到 fd 对应的文件、读数据，必要时让线程睡眠等待 I/O
5. 结果写进 rax（出错时是负的错误码，glibc 把它转成 -1 并设置 errno），恢复用户态寄存器，执行返回指令回到 ring 3

开销在哪里#

• 直接开销：特权级切换、保存和恢复寄存器、参数检查、在内核和用户空间之间拷贝数据
• 间接开销：内核代码和数据挤占 CPU 缓存、TLB，回到用户态后应用的缓存命中率下降
• 安全补丁：为了缓解 Meltdown，内核引入了页表隔离（KPTI），进出内核时要切换页表，CPU 不支持 PCID 时还要刷 TLB，开销更明显；不受 Meltdown 影响的 CPU 默认不启用 KPTI

一次系统调用本身并不算很慢，问题出在高频的小调用上，比如每写一个字节就调用一次 write。有些高频调用通过 vDSO 在用户态完成，比如 clock_gettime，内核把时间数据映射到进程地址空间，读时不用陷入内核。

减少系统调用#

• 缓冲：先写进用户态的缓冲区，攒够一批再一次 write，比如 Go 的 bufio、C 的 stdio
• 批量接口：writev/readv 一次读写多个缓冲区，sendmmsg/recvmmsg 一次收发多个 UDP 包，epoll 一次返回多个就绪事件
• io_uring：Linux 5.1 引入。应用和内核共享提交队列和完成队列，把一批请求放进提交队列后一次通知内核，开启内核轮询模式（SQPOLL）时由内核线程轮询提交队列，提交时通常不用系统调用（轮询线程空闲休眠后要用 io_uring_enter 唤醒一次）；它同时是真正的异步 I/O，对普通文件也有效
• 零拷贝：用 sendfile、splice 让数据不经过用户空间，见 零拷贝

代码示例#

无缓冲和有缓冲写文件的对比（Go）：

package main

import (
	"bufio"
	"os"
)

func main() {
	f, _ := os.Create("/tmp/raw.txt")
	defer f.Close()
	for i := 0; i < 10000; i++ {
		f.WriteString("x\n") // ❌ 每次都是一个 write 系统调用
	}

	g, _ := os.Create("/tmp/buf.txt")
	defer g.Close()
	w := bufio.NewWriter(g) // 默认 4096 字节的缓冲区
	for i := 0; i < 10000; i++ {
		w.WriteString("x\n") // ✅ 写进缓冲区，满了才调用 write
	}
	w.Flush() // 别忘了把剩余数据写出去
}

用 strace 统计系统调用（-f 跟踪子线程，-c 汇总次数和耗时）：

go build -o demo . && strace -f -c -e trace=write ./demo
# 只看某个运行中的进程：-T 显示每次调用的耗时，-tt 显示时间戳
strace -f -tt -T -e trace=read,write,openat -p 1234

能看到第一个循环产生了一万次 write，第二个只有几次。strace 会显著拖慢被跟踪的进程，线上要谨慎使用。

面试官可能追问#

易错点#

• "切换到内核态"不是切换到另一个线程，还是同一个线程，只是换了特权级和栈
• 系统调用和上下文切换是两回事：系统调用不一定发生线程切换，只有线程在内核里阻塞或被抢占时才会切到别的线程
• 缓冲写入后程序崩溃或忘记 Flush，缓冲区里的数据就丢了；需要持久化保证时还要 fsync