内存安全的上下文切换

- **fil-C** 是一个正在开发中的操作系统内核项目，旨在通过创新的内存管理方式（"分区化"）从根本上减少安全漏洞。 - **上下文切换（Context Switch）** 是操作系统在多任务运行时保存和恢复进程状态的底层操作，常涉及 CPU 寄存器、内存映射等大量数据搬运。 - 传统上下文切换性能开销大，且容易因指针误用或内存越界引入安全风险。fil-C 的 "memory safe context switch" 提出一种新设计，让上下文切换本身也能像其他内核操作一样获得内存安全保证。 - 该项目源自剑桥大学等学术背景，主要面向对系统安全、操作系统设计、形式化验证感兴趣的技术读者，目前仍在早期原型阶段。