Async Rust : Le chantier de l'optimisation MIR par Tweede Golf

Le Pitch

Tweede Golf s'attaque au problème systémique de l'Async Rust : son incapacité chronique à optimiser les machines à états au niveau du compilateur. L'objectif est de réduire le binary bloat et l'overhead mémoire qui bloquent encore l'adoption massive de Rust dans l'embedded (source: Tweede Golf).

Sous le capot

La version 1.85 de Rust (février 2025) a certes stabilisé les async closures, mais le coeur du problème persiste. La transformation MIR-to-LLVM échoue systématiquement à inliner les futures ou à fusionner les états redondants (source: DevNewsletter Jan 2026).

Ce défaut technique double l'empreinte mémoire sur les high-performance paths. Le GitHub Issue #60187, qui concerne le doublement de la taille des arguments dans les machines à états, reste ouvert et critique en mai 2026 (source: Rust Internals).

L'écosystème subit un effet de verrouillage depuis la fin de async-std en mars 2025 (source: Medium/Monika Singhal). Tokio est devenu le standard de facto, mais son scheduler généraliste est jugé trop lourd pour les systèmes à ressources limitées.

Le débogage en 2026 reste une expérience pénible. Les stack traces issues du code MIR généré sont souvent indéchiffrables, ce qui rend la maintenance de systèmes asynchrones complexes coûteuse et risquée (source: Medium 2026).

On ignore encore si le financement nécessaire à ce projet d'optimisation est totalement verrouillé (source: HN). De plus, aucun benchmark public n'a encore été publié pour comparer ces futures optimisations avec les nouveaux jeux d'instructions Zen 7 (Verano).

L'avis de Ruben

Tweede Golf a la crédibilité technique pour mener ce projet, mais leur constat est brutal : l'Async Rust est toujours dans un état MVP concernant l'efficacité binaire. Si vous développez pour de l'embedded ou des microservices où chaque kilo-octet de RAM compte, fuyez l'asynchrone pour le moment. L'ergonomie de la version 1.85 est un piège qui cache une exécution mémoire médiocre. Attendez que les optimisations MIR soient intégrées upstream avant de migrer vos runtimes critiques.

Codez propre,
Ruben.