我想要 extern "C"
I want extern "fil-C"

原始链接: https://www.domenkozar.com/2026/08/13/i-want-extern-fil-c/

当前的 Rust FFI 依赖于一种危险的妥协:我们使用内存安全的 Rust,却必须信任缺乏此类保证的传统 C/C++ 库。为了弥合这一差距,作者提出了一种新的“extern 'fil-c'”接口。 与标准的 FFI 不同,这种方法将利用 **Fil-C**,它通过运行时内存安全、能力控制和垃圾回收机制对 C/C++ 代码进行重新编译。通过利用 Fil-C 的加固 ABI,Rust 可以在没有漏洞风险的情况下与遗留库进行交互;内存违规将只会触发安全的恐慌(panic)。虽然这为运行时检查引入了一定的性能“代价”,但它创造了一个强有力的激励机制:开发者可以保持遗留代码的安全但缓慢的状态,而将关键路径(hot paths)重写为 Rust 后,这些检查便可移至编译时,从而有效地消除该代价。 在 **filnix** 生态系统的支持下,并结合与 **Zig** 的潜在对接,该项目旨在将 C 语言的角色从“不安全但快速的路径”转变为“安全且兼容遗留代码的路径”。作者最后诚邀各界参加即将举行的 OceanSprint,共同在 Rust、Fil-C、Zig 和 Nix 社区之间展开合作,构建这座桥梁,并最终实现跨语言边界的安全保障。

抱歉。
相关文章

原文

Rust’s C FFI gives us access to decades of useful software, but the bargain is backwards.

We use Rust to prove memory safety at compile time. Then we cross an unsafe boundary and trust the C library to respect a contract that neither language can enforce. The legacy code remains the cheap path, while rewriting it is the expensive one.

Fil-C offers a more interesting bargain. It recompiles C and C++ with capabilities, runtime checks, and a concurrent garbage collector. Memory-safety violations panic instead of becoming exploits. Existing software often needs few or no source changes, but it pays for safety at runtime.

I want a Rust FFI that speaks the Fil-C ABI.

The first version could be deliberately narrow: scalar values, copied strings and slices, and opaque handles. It would generate safe Rust wrappers, compile the complete C dependency graph with Fil-C, and provide no escape hatch back to ordinary unsafe C. Shared memory could come later, once the bridge can give Fil-C a capability that Rust can reliably revoke.

This is not a new option for bindgen. Fil-C is source-compatible with C but intentionally not ABI-compatible, and ordinary Rust extern "C" speaks the ABI Fil-C calls Yolo-C. Building the bridge means teaching Rust, Fil-C, or a pair of generated stubs how to exchange values without losing Fil-C’s guarantees. If it were easy, it would already exist.

One important part of this stack is already taking shape. filnix packages Fil-C as a Nix cross-compilation platform and has ports for more than 100 nixpkgs packages. Treating Fil-C as a platform means Nix rebuilds the transitive dependency closure for the Fil-C ABI instead of accidentally linking ordinary C into it. filnix is not the Rust bridge yet, but it provides the reproducible toolchain, package universe, and test bed where one could be built.

Zig is approaching the same problem from another direction. Andrew Kelley has proposed an optional fil ABI inspired by Fil-C. It would be an independent implementation in the Zig compiler and standard library, intended to compile a Zig program and its entire C and C++ dependency tree with runtime memory safety. That is remarkably close to the world a Rust bridge would need to enter.

But the result would give us exactly the right incentives.

We could use Rust for compile-time safety and then pay a performance penalty for using C.

Keep the legacy library and it remains memory-safe, but every pointer operation is checked and its memory participates in garbage collection. Rewrite the hot path in Rust and those checks become static, so the tax disappears. C becomes the safe compatibility path rather than the permanent fast path.

“100% safe” here means memory-safe across the whole supported boundary, not free of logic bugs, deadlocks, or bad APIs. That boundary is the hard part. Fil-C currently requires the whole program and its dependencies to use its ABI. The project also treats interoperability with ordinary C as a non-goal. A Rust bridge would have to preserve that whole-world guarantee rather than quietly punching a Yolo-shaped hole through it.

I want extern "fil-c": Rust on the fast path, old C on the safe path, and a performance reason to finish the migration.

I would also like to see cross-ecosystem collaboration instead of several almost-compatible islands. Fil-C has the capability model and working runtime. Rust has compile-time safety. Zig is exploring a Fil-C-inspired ABI. Nix and filnix can rebuild and test complete dependency graphs. This problem deserves the best minds from all four communities in the same room.

So here is the invitation: join us at OceanSprint next year in Lanzarote and build it together. Mikael Brockman, who is building filnix, has already accepted.

Who else is joining us?

联系我们 contact @ memedata.com