01
微内核起源
从宏内核到微内核的演进 · IPC核心地位 · 经典微内核系统
演进历史
02
IPC基础概念
进程间通信定义 · 同步/异步 · 消息传递 vs 共享内存
核心对比
03
微内核架构设计
内核态/用户态分离 · 最小特权 · 能力(Capability)机制
架构安全
04
消息传递机制
直接/间接通信 · 端口(Port)与通道(Channel)模型
通信模型
05
同步原语
信号量 · 互斥锁 · 条件变量在内核中的实现
同步内核
06
异步通信
事件驱动 · 回调机制 · 信号与通知
异步事件
07
缓冲区管理
固定/动态缓冲区 · 零拷贝技术
内存性能
08
序列化与反序列化
IDL定义 · 编解码器 · 跨平台数据表示
编码协议
09
端点(Endpoint)设计
服务端/客户端端点 · 连接建立与销毁
设计连接
10
权限与安全
能力列表(C-List) · 访问控制 · 安全上下文传递
安全权限
11
性能优化
上下文切换开销 · 系统调用优化 · 批处理与合并
优化性能
12
死锁与饥饿
死锁检测/预防 · 优先级反转与解决方案
并发调度
13
服务质量(QoS)
优先级调度 · 带宽预留 · 超时与重试
QoS调度
14
多核扩展
核间通信(IPC) · 缓存一致性 · 无锁数据结构
多核并发
15
虚拟化支持
虚拟机间通信 · 半虚拟化驱动 · VirtIO框架
虚拟化VirtIO
16
实时性保障
实时IPC协议 · 截止时间调度 · 确定性延迟
实时RT
17
故障隔离
进程崩溃隔离 · 看门狗 · 健康检查
容错隔离
18
调试与追踪
IPC日志 · 性能计数器 · 分布式追踪
调试可观测
19
seL4微内核
seL4架构 · IPC原语 · 正式验证方法
seL4验证
20
Fiasco.OC微内核
L4Re框架 · IPC门(Gate) · 用户态驱动
FiascoL4Re
21
QNX微内核
消息传递架构 · 自适应分区 · 高可靠性
QNX工业
22
Minix微内核
服务器模型 · IPC与文件系统 · 网络栈
Minix教学
23
Google Fuchsia
Zircon内核 · 通道/端口 · FIDL协议
FuchsiaZircon
24
Linux中的微内核尝试
L4Linux · KVM混合 · 容器与IPC
Linux混合
25
用户态驱动模型
驱动隔离 · IPC与硬件访问 · 中断处理
驱动用户态
26
分布式IPC
远程过程调用(RPC) · 网络透明性 · 位置透明
分布式RPC
27
IPC基准测试
延迟/吞吐量测试 · 工具与指标
性能基准
28
实战：构建最小IPC框架
从零实现消息队列 · 同步机制 · 端点管理
实战编码
29
实战：多服务通信系统
服务注册/发现 · 负载均衡 · 容错
实战微服务
30
未来趋势
异构计算IPC · 机密计算 · 无服务器架构IPC
前沿趋势