Memory Safe Context Switching

Fil-C 文章讨论 memory-safe context switching，目标是让上下文切换不成为逃离内存安全模型的特权后门。上下文切换涉及栈、控制流和运行时边界，传统实现很容易落在语言安全保证之外。文章的技术点在于把这类底层机制纳入可验证安全边界，而不是默认交给不受约束的 unsafe 区域。