Skip to content

Main Navigation 首页前置卷主书实验册

子系统参考

Appearance

正常

Sidebar Navigation

主书 · Cinux 64 位 OS 教程

01 · Boot 卷

001 · 实模式引导

01 · 点亮什么与为什么

02 · 设计图:内存、磁盘、调用链

03 · 代码路线:从第一条指令到 framebuffer 存档

04 · 调试现场:段、双重偏移、512 字节红线

05 · 验证、下一站与参考

002 · 进入保护模式

01 · 点亮什么与为什么

02 · 设计图:扁平 GDT 与模式状态机

03 · 代码路线:GDT、lgdt、CR0.PE、远跳、pm_entry

04 · 调试现场:DS、远跳、译码宽度、#GP

05 · 验证、下一站与参考

003 · 跨进长模式

01 · 点亮什么与为什么

02 · 设计图:临时页表与长模式状态机

03 · 代码路线:setup_page_tables、enter_long_mode、扩展 GDT

04 · 调试现场:页表、开关顺序、L/D 位、重定位

05 · 验证、下一站与参考

004 · 加载第一个内核

01 · 点亮什么与为什么

02 · 设计图:磁盘、内存、BootInfo 交接

03 · 代码路线:E820、ELF、BootInfo、高半映射、内核入口、C++ 运行时

04 · 调试现场:内核撞栈、BootInfo 损坏、裸机 C++ 符号

05 · 验证、下一站与参考

02 · mini kernel

001 · 内核会说话了:串口、kprintf 与双轨测试

01 · 导引:点亮什么、为什么需要它

02 · 设计图:串口、kprintf、双轨测试

03 · 代码路线:串口、kprintf、format、双轨测试

04 · 调试现场

05 · 验证与下一站

002 · 物理内存管理

01 · 导引:点亮什么、为什么需要它

02 · 设计图:一位一页的位图

03 · 代码路线:模型、init、链接器符号、alloc/free

04 · 调试现场

05 · 验证与下一站

003 · 第一次能被打断

01 · 导引:点亮什么、为什么需要它

02 · 设计图:GDT/IDT/ISR 协作

03 · 代码路线:GDT、IDT、ISR stub、伪错误码、C handler、门类型

04 · 调试现场

05 · 验证与下一站

004 · 为大内核铺路

01 · 导引:点亮什么、为什么需要它

02 · 设计图:磁盘布局、PIO 时序、ELF 流水线

03 · 代码路线:ATA PIO、ELF 解析、load_elf、loader、demo

04 · 调试现场

05 · 验证与下一站

03 · big kernel

001 · 大内核登场:mini kernel 交棒

01 · 导引:点亮什么、为什么、设计图

02 · 代码路线:big kernel 树与两阶段加载

03 · 调试现场、验证与下一站

002 · 大内核的 GDT:给内核铺好"段"的地基

01 · 导引:点亮什么、为什么、设计图

02 · 代码路线:scoped enum 与 7 个 entry

03 · 验证与下一站

003 · 大内核的 IDT 与异常:给内核装上"异常安全网

01 · 导引:点亮什么、为什么、设计图

02 · 代码路线:scoped enum、gate 策略与 ISR stub

03 · 调试现场、验证与下一站

004 · PIC、IRQ 与 PIT:让内核听见时钟

01 · 导引:点亮什么、为什么、设计图

02 · PIC:把 16 条硬件中断挪出异常区

03 · IRQ 路由与 PIT:让时钟嘀嗒起来

04 · 调试现场、验证与下一站

005 · kprintf 重构与引导期 SSE:在大步前进前夯实两个地基

01 · 导引:点亮什么、为什么、设计图

02 · kprintf 重构:回调解耦与格式能力

03 · SSE 初始化:一个只在 -O2 才炸的 Triple Fault

04 · 验证与下一站

006 · 把字写到屏幕上:VBE 线性帧缓冲、MMIO 映射与 PSF2 字体

01 · 导引:点亮什么、为什么、设计图

02 · VBE 模式与 map_mmio:让显存能访问

03 · Framebuffer 与 PSF2 字体:画像素、画字

04 · 调试现场、验证与下一站

007 · 文本控制台与 kprintf 双输出:012 那个回调终于接上了屏幕

01 · 导引:点亮什么、为什么、设计图

02 · Console:在像素上盖一层文本网格

03 · kprintf 多路 sink 与装配顺序

04 · 调试现场、验证与下一站

008 · 听见键盘:第一个真正的输入设备与 IRQ1

01 · 导引:点亮什么、为什么、设计图

02 · PS/2 控制器初始化:一板一眼的 init 序

03 · IRQ1 handler、ring buffer 与回显接线

04 · 调试现场、验证与下一站

04 · 开发者 / 可观测性

001 · kallsyms 与 panic backtrace

01 · kallsyms 与 panic backtrace

002 · 验证基建:SMP 唤醒与首故障捕获

01 · 导引:静态审计瞎的那根轴

02 · SMP 唤醒与首故障捕获

03 · 诚实的边界

003 · HPET 与 RTC:给内核两种时间

01 · 导引:两种时间,两个源

02 · HPET 与 RTC 驱动实现

03 · 验证与收尾

05 · 内存管理

001 · 给物理内存建账本:bitmap 物理内存管理器

01 · 点亮什么、为什么、设计图

02 · 代码路线:从 E820 到 bitmap 分配

03 · 调试现场与收尾

002 · 把物理页挂进虚拟地址:虚拟内存管理器

01 · 虚拟地址:为什么 CPU 看到的内存,不是内存条上真正的内存

02 · 点亮什么、为什么、设计图

03 · 代码路线:paging_config / PageEntry / walk / demand paging

04 · 调试现场与收尾

003 · 在页上切块:内核堆分配器

01 · 点亮什么、为什么、设计图

02 · 代码路线:BlockHeader / init / alloc / 对齐

03 · 代码路线续:free / expand / crt_stub

04 · 调试现场与收尾

004 · 给每个世界一套页表:地址空间

01 · 点亮什么、为什么、设计图

02 · 代码路线:从 init_kernel 到析构回收

03 · 调试现场与收尾

06 · 进程与调度

001 · 让内核长出第二条执行流:进程上下文

01 · 导引:点亮什么、为什么、设计图

02 · 代码路线:从 CpuContext 到 Scheduler

03 · 调试现场

04 · 收尾:验证 + 下一站 + 参考

002 · 时钟到点,该换人了:抢占式调度

01 · 导引:点亮什么、为什么、设计图

02 · 代码路线:时钟驱动抢占与配套地基

03 · 调试现场

04 · 收尾:验证 + 下一站 + 参考

003 · 让任务睡得下去、醒得过来:内核同步原语

01 · 导引:点亮什么、为什么、设计图

02 · 代码路线:Spinlock / Mutex / Semaphore / 生产者-消费者

03 · 调试现场

04 · 收尾:验证 + 下一站 + 参考

07 · 用户态

001 · 第一次跳进 Ring 3:用户态与特权隔离

01 · 跳进 Ring 3:用户态与特权隔离

02 · 代码路线:从 MSR 装配到 `#GP` 来源判定

03 · 调试现场:三连 bug 互相掩盖 + QEMU 不持久化 SFMASK

04 · 收尾:验证、下一站与参考

002 · 让用户态会说话:SYSCALL/SYSRET 系统调用

01 · 让用户态会说话:SYSCALL/SYSRET 系统调用

02 · 代码路线:MSR、syscall_entry、dispatch 表与用户态编译

03 · 调试现场:movaps #GP、测试全跳过与 sys_exit halt

04 · 收尾:验证、下一站与参考

003 · 给内核一个能对话的用户态:shell

01 · 给内核一个能对话的用户态:shell

02 · 代码路线:REPL、tokenize、sys_read、GDT 重排与 ANSI CSI

03 · 调试现场:PIT tick #GP 与命令集体失声

04 · 收尾:验证、下一站与参考

004 · musl 静态移植:对齐 Linux ABI、铺初始栈,以及一个被 SMAP 拦下的潜伏 bug

01 · musl 静态移植:对齐 Linux ABI、铺初始栈,以及一个被 SMAP 拦下的潜伏 bug

005 · TTY 行规范:让 shell 真正能交互

01 · TTY 行规范:让 shell 真正能交互

02 · 代码路线:行规范、键盘接线、阻塞读、ioctl 与 Ctrl+C

03 · 收尾:验证、没做的与小结

006 · ELF 动态链接:内核只装 interp,重定位交给 ldso

01 · ELF 动态链接:内核只装 interp,重定位交给 ldso

007 · PTY:伪终端把 console 单例变成多路终端

01 · PTY:伪终端把 console 单例变成多路终端

02 · 代码路线:PTY 核心、两条接缝、DevFS 节点与控制终端

03 · 收尾:验证、没做的与小结

008 · busybox 跑起来 + socket API:用户态生态的试金石

01 · busybox 跑起来 + socket API:用户态生态的试金石

009 · busybox 当 PID1:init 不是 fork 出来的

01 · busybox 当 PID1:init 不是 fork 出来的

02 · 代码路线:PID 1、execve 保 pid、rt_sigtimedwait、/dev/console 与 EFAULT

03 · 收尾:非 GUI 生产启动验收与诚实边界

010 · Linux ABI 拼图:让 glibc/musl/busybox 跑起来

01 · Linux ABI 拼图:让 glibc/musl/busybox 跑起来

02 · 真实现:用户态启动各阶段真要用数据的几个

03 · stub 的艺术:`-ENOSYS` 是正面信号,不是没做完

04 · stub 文件里的真实现:`tkill` / `setitimer` / `sched_getaffinity`

05 · `cinux_exit`:暴露给 ring3 的 QEMU 退出口(不是 `sys_exit`)

06 · 收尾:验证、诚实边界、没做的与小结

08 · 文件系统

001 · 让内核自己找到磁盘:PCI 枚举与 AHCI 驱动

01 · 导引:点亮什么与为什么

02 · 设计图:PCI 配置空间与 AHCI 接口

03 · PCI:配置空间与揪出 AHCI

04 · AHCI:从 BAR5 映射到发出读命令

05 · 调试现场与验证

06 · 收尾:下一站与参考

002 · 内核第一次认识「文件」:嵌入式 initrd ramdisk

01 · 导引:点亮什么与为什么

02 · 设计图:ustar 与 initrd

03 · 实现:ustar 头、八进制、mount、embed 流水线

04 · 调试现场与验证

05 · 收尾:下一站与参考

003 · 给文件一个统一接口:VFS 内核层

01 · 导引:点亮什么与为什么

02 · 设计图:VFS 四件套

03 · 实现:inode、FileSystem、挂载表、FDTable、ramdisk

04 · 调试现场与验证

05 · 收尾:下一站与参考

004 · 让用户态能 open/read 文件:VFS 系统调用与 shell

01 · 导引:点亮什么与为什么

02 · 设计图:系统调用怎么落到 VFS

03 · 实现:sys_open/read/write/getdents、libc、shell

04 · 调试现场与验证

05 · 收尾:下一站与参考

005 · 磁盘上的真文件系统:ext2 只读驱动

01 · 导引:点亮什么与为什么

02 · 设计图:ext2 在磁盘上的布局

03 · 实现:布局、DMA、mount、inode 定位、找文件、读内容

04 · 调试现场与验证

05 · 收尾:下一站与参考

006 · 让 ext2 能写:从只读到可建可删

01 · 导引:点亮什么与为什么

02 · 设计图:写的统一姿势与分配器

03 · 写回:read-modify-write 与唯一的 DMA 缓冲

04 · 两个分配器:扫位图找空闲

05 · 写文件:直接块、单间接、截断的循环

06 · 建文件与建目录:create / mkdir 的资源管理与回滚

07 · 删除与目录项增删:unlink 释放、split rec_len

08 · 接上用户态:sys_creat 与 sys_rmdir

09 · 调试现场:sys_creat 首次深入 ext2 触发 GPF

10 · 收尾:验证与下一站

007 · 工作目录与文件信息:让文件系统「认得」相对路径

01 · 导引:点亮什么与为什么

02 · 设计图:cwd、stat 与路径解析

03 · 实现:resolve_user_path、规范化、Task::cwd、stat

04 · 设计现场:cd /.. 与 set_current 的顺序

05 · 收尾:验证与下一站

008 · 并发安全:给共享数据上锁

01 · 导引:007 留下的雷有多响

02 · 同步原语:Spinlock、InterruptGuard、Mutex、Semaphore

03 · 三层加固落地:谁加什么、PMM 怎么改、调用链

04 · 设计现场:调度器、release-before-block、键盘为什么关中断

05 · 收尾:验证与下一站

009 · init 线程:让启动流程能被调度、能阻塞

01 · 导引:启动逻辑不在任何可调度的线程上

02 · Linux init 模型对齐:boot、init、idle

03 · 三个配套小修:instance、launch_first_user、main 清理

04 · 调试现场:重构激活了潜伏的虚拟地址碰撞

05 · 收尾:验证与下一站

010 · DevFS:用一个虚拟文件系统把设备挂进 /dev

01 · DevFS:把设备挂进 /dev

011 · ProcFS:把进程列表挂进 /proc

01 · 导引:范式与点亮什么

02 · 动态根目录:定长 inode 池与 readdir 枚举活进程

03 · 伪文件与 procfs_pseudo:读时现场生成文本

04 · 收尾:TOCTOU 边界、文件门、验证与小结

012 · ext2 间接块:把 double-indirect 真做了

01 · ext2 间接块:double-indirect 真做

013 · ProcFS 的 TOCTOU:锁内拷值,指针不逃出锁

01 · ProcFS 的 TOCTOU:锁内拷值,指针不逃出锁

014 · VFS 地基重做:组件遍历、引用计数、inode 缓存

01 · 导引:三块凑合要换掉

02 · 主线一:从字符串规范化到 vfs_lookup 组件遍历

03 · 主线二:inode 引用计数与 last-close release

04 · 主线三:ext2 inode 缓存——堆分配 + 引用计数驱动回收

05 · 收尾:三块地基拧成一根绳 + 范围与边界

015 · VFS 收尾:路径解析缓存与文件锁

01 · 导引:还差缓存与文件锁

02 · 目录项缓存:别每次 open 都把路径从头解析一遍

03 · 主线一:目录项缓存 dentry cache

04 · 主线二:文件锁 flock——让进程协商谁先写

05 · 收尾:两件事放一起看 + 范围与边界

016 · ext2 独立成库——把共享 buffer 治成 SMP-safe

01 · 导引:病灶与治法

02 · 主线一:病灶——block_buf_ 共享 scratch

03 · 主线二:治法 1——KmBuf RAII

04 · 主线三:治法 2——双参 SMP-safe 重载

05 · 主线四:治法 3——调用方迁移

06 · 主线五:配套纪律 1——unlink 的 indirect 快照

07 · 主线六:配套纪律 2——block_alloc_lock_ 串行 bitmap RMW

08 · 主线七:内核 parity——truncate 虚槽 + invalidate_range

09 · 主线八:host PAL——脱开 QEMU 上 TSAN 抓 race

10 · 主线九:ext4 extent 读路径

11 · 收尾:范围与边界

017 · tmpfs:把可写的临时文件挂进内存

01 · 导引:为什么需要 tmpfs

02 · 数据存哪:真在堆上的字节

03 · 目录树:单向兄弟链表代替定长表

04 · 两条挂载通路:差别全在 owned bool

05 · 收尾:验证、没做的、小结

018 · mount/umount:把后端接到路径上的接线口

01 · 导引:运行时挂载的黑盒

02 · mount factory:四类 fstype 怎么分发

03 · 块设备挂载链:从 /dev/sda 到 Ext2 实例

04 · BlockRegistry + DevFS block node

05 · InodeOps::block_device:一个设备身份槽

06 · 挂载表 MountPoint + owned 生命周期

07 · umount2:摘槽 vs delete 的分叉

08 · 收尾:验证、没做的、小结

09 · GUI 桌面

001 · GUI 画布:双缓冲绘图,与它撞出的两个内存布局洞

01 · GUI 画布:双缓冲绘图,与它撞出的两个内存布局洞

002 · 窗口管理器:让画布活起来

01 · 导引:点亮什么、为什么、设计图

02 · 窗口管理器实现:鼠标/事件/Window/WM

03 · 调试现场与收尾

003 · 原生终端应用:Widget 树 + PaintList 保留模式

01 · 导引:点亮什么与为什么

02 · 设计图

03 · 渲染框架:Widget + PaintList + Compositor

04 · 终端控件:TerminalWidget + ANSI + 脏行

05 · 窗口层:Window + WindowManager + Desktop

06 · 接线:terminal-host 接真 shell

07 · 调试现场 + 保留模式 vs 即时模式

08 · 收尾:验证 + 没做的 + 小结

004 · 管道:让终端跑起真正的 shell

01 · 导引:点亮什么与为什么

02 · Pipe 实现:环形缓冲到系统调用

03 · 调试现场与收尾

005 · 位图图标:给画布补一块带透明洞的贴纸

01 · 位图图标:给画布补一块带透明洞的贴纸

006 · 桌面图标层:让空白桌面长出可点击的东西

01 · 导引:点亮什么与为什么

02 · 桌面图标实现

03 · 调试现场与收尾

007 · 懒创建终端:把桌面图标接成活的东西

01 · 懒创建终端:把桌面图标接成活的东西

008 · GUI 解耦:host-neutral core、Host 表、userspace host

01 · 问题与边界:被焊死的桌面 + host-neutral core

02 · Host ABI 表 + GuiCore pump + Region

03 · userspace host + 内核薄接缝 + 数据路径

04 · 验证 + 没做的 + 小结

009 · GUI 解耦收尾:把源码里的 #ifdef 全赶到 CMake 那边去

01 · GUI 解耦收尾:把源码里的 #ifdef 全赶到 CMake 那边去

010 · 测试侧的 §14:文件 gate 管不到文件里的那一段

01 · 测试侧的 §14:文件 gate 管不到文件里的那一段

011 · xHCI USB:一张环、一个 cycle bit,把键鼠接到桌面

01 · xHCI USB:一张环、一个 cycle bit,把键鼠接到桌面

012 · 让用户态拿到事件、画到屏幕:/dev/event0 与 /dev/fb0

01 · 导引 + 设计图

02 · MMIO 范式

03 · /dev/event0

04 · /dev/fb0

05 · InodeOps 差异化 + 调试 + 收尾

10 · 多任务

001 · fork / execve / waitpid:让进程能生、能换、能收尸

01 · 导引:点亮什么、为什么、设计图

02 · 代码路线:PID/fork/CoW/execve/waitpid/syscall

03 · 调试现场:fork 还没让子进程「返回 0」

04 · 收尾:验证 + 没做的 + 下一站 + 参考

002 · 通电:让 fork/exec 真的能跑

01 · 导引:点亮什么、为什么、设计图

02 · 代码路线:六处通电(fork 返回 0 / CoW 接 #PF / 帧指针 / GS MSR / 页内偏移 / 栈 guard)

03 · 调试现场:五堵墙

04 · 收尾:验证 + 没做的 + 下一站 + 参考

003 · 多终端:每个终端一个独立的 shell

01 · 导引:点亮什么、为什么、设计图

02 · 代码路线:create_shell_terminal / 私有 pipe / 私有 FDTable / 收尸 / gui_worker / 不要 sti

03 · 收尾:验证 + 没做的 + 下一站 + 参考

11 · 基础设施

001 · Cinux-Base 与 ErrorOr

01 · 病在哪儿:-1 是个什么都能装的筐

02 · ErrorOr:让错误变成类型,并在 syscall 关口翻译

03 · Cinux-Base 收公共类型,加两个真坑与验证

002 · RingBuffer / 内核日志 / DMA 池

01 · 导引:三件事,同一个毛病

02 · 环形缓冲归一 + 内核日志补记忆

03 · DMA:让设备自己搬数据,把 CPU 从苦力活里解放出来

04 · DMA 池:收编散装 DMA 与 direct-map 那个坑

003 · IBlockDevice 块设备抽象

01 · 问题在哪,与抽一个最小接口

02 · ext2 解耦、抽象值在哪、验证

004 · 基建加固:lockdep 与 NotNull

01 · lockdep 与 NotNull:把纪律写进类型与构建

02 · 一批"看不见但扛事"的加固,与验证

12 · 存储驱动

001 · AHCI DMA 迁移

01 · AHCI DMA 迁移:从散装到 scatter-gather

002 · NVMe 与 VirtIO:两种 PCI 设备抽象并存

01 · 导引:点亮什么、为什么

02 · 两条主线:NVMe 队列+doorbell 与 VirtIO 特性谈判+virtqueue

03 · 落点与诚实的边界

13 · 内存管理增强

001 · 给地址空间一本账:VMA 区域记账与 mmap

01 · 按需分页:为什么要等访问到了才给内存

02 · 给地址空间一本账:VMA 区域记账与 mmap

002 · 连续的堆,和文件映射背后的真内容:brk 与 Page Cache

01 · Page Cache:读过的文件内容,凭什么要留在内存里

02 · 连续的堆,和文件映射背后的真内容:brk 与 Page Cache

003 · 野指针终于会被杀,read() 也走缓存了

01 · 野指针终于会被杀,read() 也走缓存了

004 · 物理分配器升伙伴,小对象交给 Slab,Heap 退役

01 · 内存碎片化:为什么空闲够却拿不出一大块

02 · 伙伴分配器:靠"伙伴"关系自动合并

03 · 物理分配器升伙伴,小对象交给 Slab,Heap 退役

005 · 物理页的两本账:映射计数与所有权引用

01 · 导引:一块物理页的两本账

02 · 拆账:`pte_count` 与 `refcount` 各司其职

03 · 类型化所有权:`PhysRef` 与收尾

14 · 进程与线程增强

001 · POSIX 信号

01 · 让用户程序能接住 SIGSEGV:POSIX 信号

002 · clone / futex / TLS

01 · futex:线程怎么在共享内存上高效同步

02 · 从"复制进程"到"按需共享":clone、futex 与线程

003 · 进程组与 waitpid 阻塞

01 · 给一组进程发信号,让父进程睡等子进程:进程组与 waitpid 阻塞

004 · 调度类与 SIGSTOP/CONT

01 · 让调度策略可插拔,让 SIGSTOP/CONT 真起作用

005 · Pipe 增强与命名 FIFO

01 · 导引:点亮什么

02 · 阻塞、SIGPIPE、命名 FIFO 三件实现

03 · 验证、没做的、小结

006 · SysV 共享内存

01 · 导引:不是搬字节,是搬地址

02 · ShmRegistry 表层:承 071 的模子,固定 16 槽 + index-as-handle

03 · mapcount 闭环:段自带 refcount 基线 1 防 teardown 误放

04 · shmdt 长度陷阱:取段 page_count,不取合并后 VMA 跨度

05 · 验证、没做的、小结

007 · poll / select

01 · 导引:点亮什么

02 · 多路复用这一层:poll_core 干什么

03 · 就绪缝:poll_events 二合一虚方法 + always_bits 透传

04 · 统一 park:关中断 + register_all + schedule_blocked

05 · 一个 poll 睡在 N 个队列上 + 双唤醒源 + detach_all

06 · poll vs select:两个 ABI 共享 poll_core

07 · 验证、没做的、小结

008 · timer_queue 与 stats_kthread

01 · 导引:点亮什么

02 · timer_queue 的内部:固定表 + tick 扫过期(承接 084 的用法)

03 · stats_kthread:周期采样的常驻 kthread + §14 file gate

04 · band 0 kthread 不能 sti/hlt:yield 解法(本章明星,串 071)

05 · dump_memory_stats:四条正交维度 + PF delta(rate 而非 total)

06 · 验证、没做的、小结

15 · SMP 多核

001 · ACPI 与 APIC

01 · ACPI 与 APIC:认清硬件拓扑,把中断从老 PIC 切到 APIC

002 · per-CPU 架构与 LAPIC IPI

01 · per-CPU 架构与 LAPIC IPI:给第二个核备好发令枪

003 · AP boot trampoline 与多核调度

01 · 导引:点亮什么、为什么

02 · AP boot trampoline:把第二个核从实模式拉到长模式

03 · 多核调度:共享 run queue 与 reschedule IPI

04 · 迁移 GP 与并发债清算

05 · 收尾:已知局限、验证、下一站

004 · 质量加固:SMP 真跑后清算并发债

01 · 导引:点亮什么

02 · 质量加固:饱和引用计数、用户指针、并发债、CoW、门禁

03 · 收尾:验证、已知局限、下一站

005 · SMP 迁移竞态:一个抽函数的重构,踩出一个潜伏的 ctx 写花 bug

01 · 导引:点亮什么

02 · 定位:抽函数重构踩出必现 panic,锁定同一份 ctx 并发读写

03 · 内存序:为什么多核下,你的代码不一定按写下的顺序执行

04 · 修法:给任务标「归哪个核」(`on_cpu`)与诚实边界

006 · SMP 竞态——从发现到根治

01 · 导引:点亮什么

02 · 主线一 · race-detect 基建:一台跨核交错报警器

03 · 主线二 · 拿 inode_cache 当靶子:验证报警器真能抓

04 · 主线三 · 病灶上锁:inode_cache 套大锁,顺手清三笔旧债

05 · 主线四 · 纵深期:IPI shootdown 与 deferred CoW 范式

06 · 收尾:范围边界与四块地基拧成一根绳

16 · 安全

001 · NX / SMEP / SMAP:用三个 CPU 位把内核和用户态隔开

01 · 导引:点亮什么、隔离面怎么铺

02 · 三个位怎么开:NX / SMEP / SMAP

03 · 验证与诚实的边界

002 · ASLR:给用户态布局撒一把随机,以及为什么代码段随机化做不到

01 · 导引与随机源:KRandom

02 · 三件套落地与为什么代码段没随机化

003 · 进程凭证:给每个任务记一笔「你是谁」,以及为什么 fork 自动就继承了

01 · 导引与四个字段

02 · fork 继承、setuid 与诚实的边界

004 · SMAP 遇上 SMP —— 撤掉全局 stac,给用户内存访问配 exception table

01 · 导引:全局 stac 在 SMP 下会丢

02 · 修法一:撤全局 stac,改局部 accessor

03 · 修法一的载体:syscall 切两层

04 · 修法二:给 accessor 配 exception table

05 · 验证、附带增量与小结

17 · 网络

001 · e1000 网卡驱动:PCI 检测、EEPROM 取 MAC,和一个轮询收包的非直觉坑

01 · 导引:e1000 怎么点亮、怎么找出来

02 · 收发环、轮询坑与 CMake gate

03 · 诚实的边界

002 · IPv4 / ICMP / ping:先在 loopback 上把栈证明对,再接真网卡

01 · 导引:底子优先与两条接缝

02 · 反码和:网络包怎么自己证明自己没坏

03 · 三件套、loopback 试验台与 e1000 接通

04 · 诚实的边界

003 · UDP:还掉 L4 分派的债,再立一个协议

01 · 导引:点亮什么 + 还掉 L4 分派的债

02 · UDP 协议层、底子优先与验证

03 · 没做的与小结

004 · TCP:给协议栈装上「面向连接」那一头

01 · 导引:状态机与序号-ACK 算术

02 · 校验和、挥手、RST 与底子优先验证

03 · 没做的与小结

005 · AF_UNIX:给本地 IPC 走一条不走网卡的近道

01 · 导引:为什么是第三个成员 + 加法非破坏的 bind_path

02 · 内存命名空间 UnixRegistry

03 · 两角色一类:UnixSocket 的 listening 与 connected

04 · connect_path:立即建连,无内核握手

05 · send 与 recv:拷进对端环,排空自己环

06 · close、copy_from_user 陷阱与阻塞模板

07 · 验证、没做的与小结

On this page

008 · GUI 解耦:host-neutral core、Host 表、userspace host

把 GUI 从内核拔成 host-neutral core,内核只剩填 Host 表的薄接缝。

本章路线

01 · 问题与边界:被焊死的桌面 + host-neutral core
02 · Host ABI 表 + GuiCore pump + Region
03 · userspace host + 内核薄接缝 + 数据路径
04 · 验证 + 没做的 + 小结

Edit this page on GitHub

← 上一章01 · 懒创建终端:把桌面图标接成活的东西下一章 →01 · 问题与边界:被焊死的桌面 + host-neutral core

035_multi_terminal-45-gf25de18 · f25de18 · 2026-08-04

Copyright © 2026 Charliechen - 保留所有权利