VIP20

本课程属于：021-逆向工程 网络安全工程与攻防实战 · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

微内核IPC性能分析与通信优化

📚 共计 30 章节

微内核起源

从宏内核到微内核的演进 · IPC性能瓶颈的由来 · 课程目标与学习路径

演进瓶颈导学

IPC基础概念

进程间通信的定义 · 消息传递模型 · 共享内存模型 · 微内核中的IPC特点

定义模型微内核

上下文切换开销

用户态与内核态切换 · TLB刷新代价 · Cache污染问题 · 性能测量方法

切换TLB测量

消息传递机制

同步IPC vs 异步IPC · 消息缓冲区管理 · 零拷贝技术初探

同步异步零拷贝

Capability机制

基于能力的访问控制 · Capability传递与撤销 · IPC中的权限检查优化

能力权限优化

寄存器传递优化

利用寄存器传递小消息 · ARM64与x86_64的寄存器约定 · 性能对比实验

寄存器ARM64x86_64

内存映射优化

共享内存映射建立 · 大页支持 · 多核环境下的缓存一致性

大页缓存多核

批量消息发送与接收 · 减少系统调用次数 · 批处理调度策略

批量系统调用调度

信号量优化

轻量级信号量实现 · 无锁队列设计 · MCS锁在IPC中的应用

信号量无锁MCS锁

调度感知IPC

优先级继承 · 优先级反转避免 · 实时系统中的IPC调度

优先级实时调度

中断驱动IPC

中断与IPC的结合 · 中断线程化 · 减少中断延迟的技巧

中断线程化延迟

多核扩展性

核间IPC优化 · NUMA感知的消息路由 · 负载均衡策略

多核NUMA负载均衡

零拷贝技术

共享内存零拷贝 · RDMA在IPC中的应用 · io_uring与IPC

RDMAio_uring零拷贝

序列化与反序列化

高效序列化协议选择 · Cap'n Proto vs FlatBuffers · 自定义编解码

序列化Cap'n ProtoFlatBuffers

加密通道建立 · 侧信道攻击防御 · 形式化验证的IPC模型

加密侧信道形式化

性能剖析工具

perf、eBPF、火焰图在IPC分析中的应用 · 自定义tracepoint

perfeBPF火焰图

seL4 IPC机制详解 · 性能数据解读 · 从seL4学到的设计哲学

seL4性能设计哲学

Fiasco.OC IPC分析

Fiasco.OC的IPC优化技巧 · 门控器机制 · 与seL4的对比

Fiasco.OC门控器对比

L4Re用户态IPC库 · 异步通知机制 · 实际应用案例

L4Re用户态异步

QNX消息传递模型 · 微内核实时性保障 · 商业级IPC优化经验

QNX实时商业

MINIX 3 IPC分析

MINIX 3的IPC设计 · 可靠性优先的优化策略 · 教育意义

MINIX 3可靠性教育

用户态驱动与IPC

驱动驻留用户态 · IPC作为驱动通信基础 · 性能权衡

用户态驱动通信权衡

虚拟化中的IPC

虚拟机间IPC · Virtio与IPC · Type-1 Hypervisor中的微内核

虚拟化VirtioHypervisor

容器场景IPC

容器间通信优化 · 微内核与容器结合 · 安全容器案例

容器安全优化

硬件加速IPC

FPGA加速消息路由 · SmartNIC卸载 · CXL互连与IPC

FPGASmartNICCXL

Rust语言与IPC

Rust的安全IPC库 · 零成本抽象 · 所有权模型在IPC中的应用

Rust安全所有权

形式化方法

IPC正确性证明 · TLA+建模 · 模型检验实践

TLA+模型检验正确性

性能调优实战

一个完整的IPC优化案例 · 从测量到优化的闭环 · 常见陷阱

实战闭环陷阱

非易失性内存的影响 · 存算一体架构 · AI驱动的IPC调度

NVM存算一体AI调度

核心知识点回顾 · 推荐阅读清单 · 动手实验建议

回顾书单实验