Making Rust faster than C
Rust, being a systems language, should be best in class for performance-critical software.
While the performance difference with C is small, it currently blocks performance-critical Rust implementations from being widely adopted. Why go through a challenging migration only to end up with a 1% performance drop or a 2% additional battery drain?
Our mission is to make critical infrastructure software safer. Performance considerations must be removed as a blocking argument against Rust to achieve this goal.
This initiative exists to contribute to change, to change Rust's performance story with the ultimate goal of making it faster than C.
What we've done
Our work on zlib-rs put us on the path to improving the performance of state machines. Complex state machines are niche but foundational to many programs, such as parsers, interpreters, and networking protocols.
Folkert de Vries wrote an RFC to improve code generation for state machines and bjorn3 implemented a proof of concept in the Rust compiler.
The proof is in the pudding: zlib-rs built using the PoC is 14% faster in a relevant benchmark.
We want to acknowledge the work done in the Zig ecosystem where our idea was taken from fairly directly, and thank joshtriplett, jackh726 and folks at the codegen unconf at GOSIM 2024 for providing feedback.
We also thank Tweede golf for supporting the initial effort.
What's next
The improvements of RFC 3720 are only relevant for specific programs, but it shows that there is room for improvement. While outperforming C by 5% might be unlikely, even a shift from -2% to +2% would significantly improve Rust's story and, more importantly, its impact.
The gap with C can be closed if we can better use Rust's advantages over C, i.e., having access to more information about how the compiler can optimize.
A significant coordinated effort is needed to make Rust faster than C; we by no means think that we can do this alone. While a considerable effort, initial investigation indicates this a realistic goal and one where the expected effort is relatively small in comparison to the impact of the outcome.
Work plan
We are preparing a plan and are seeking both input as well as funding to support our effort for this initiative. Have a look at our preliminary workplan or contact us via rustfasterthanc@trifectatech.org.
Meanwhile, we will continue to work on stabilizing the RFC as a first step.
Links
- RFC 3720 (improved state machines)
- PoC RFC 3720 in the rust compiler on Trifecta Tech Foundation's Github.