微内核到混合内核：操作系统架构的演化之路 从Tanenbaum-Torvalds论战到现代内核架构，系统分析宏内核、微内核、混合内核和Unikernel的设计哲学与性能权衡 编译原理 2026年10月15日 0 点赞 0 评论 5 浏览
操作系统安全的形式化验证：从 seL4 到 Verus 的工程实践路径 从seL4微内核的里程碑式验证出发，深入解析现代形式化验证工具链（Kani/Prusti/Verus）在操作系统安全领域的工程实践，包含完整代码示例与实战案例。 操作系统 2026年10月01日 0 点赞 0 评论 57 浏览
