Fil-C 中的内存安全上下文切换（longjmp、setjmp）
本文介绍了 Fil-C 项目中如何实现内存安全的上下文切换机制，重点讨论了 longjmp 和 setjmp 函数的重设计与实现。Fil-C 通过追踪和控制栈帧的跳转行为，防止了传统 setjmp/longjmp 可能引发的内存安全问题，如栈损坏或悬空指针。该方案在保持兼容性的同时，显著提升了系统在异步异常和错误处理场景下的安全性。
背景速读
- Fil-C 是一个新的 C/C++ 编译器与运行时项目，旨在从根本上解决 C/C++ 的内存安全问题（如野指针、缓冲区溢出），同时保持与现有代码的高度兼容。
- 本文讨论了 Fil-C 如何安全地实现 setjmp/longjmp——C 标准库中用于非局部跳转（类似"保存现场并跳转回之前的状态"）的一对函数。传统实现极易导致悬空指针和内存损坏。
- "上下文切换"（context switch）在此处指程序在执行流之间跳转，而不是操作系统级的线程切换。Fil-C 通过给指针附加元数据并在跳转时验证其合法性，阻止 longjmp 后访问已失效的内存。
- 这个项目对系统编程、嵌入式、内核和游戏引擎等依赖 C/C++ 的领域有潜在影响：如果 Fil-C 的内存安全方案能被广泛采用，许多常见的安全漏洞类别将从根本上被消除。