Introduction
Async Rust est souvent salué pour sa capacité à permettre des codes exécutant des tâches en parallèle de manière efficace, que ce soit sur des serveurs massifs ou de minuscules microcontrôleurs. Cependant, la promesse de "zero-cost abstractions" n'est pas tout à fait tenue, surtout lorsque chaque octet de taille binaire compte. Dans cet article, nous allons explorer pourquoi Async Rust semble coincé dans un état MVP (Produit Minimum Viable) et comment on pourrait améliorer cette situation.
Le problème de l'encombrement binaire
L'un des plus gros défis avec Async Rust est l'encombrement binaire qu'il engendre. Par exemple, la fonction bar qui utilise des futures asynchrones génère 360 lignes de MIR (Mid-level Intermediate Representation), contre seulement 23 lignes pour une version non-async. Cette différence significative de taille peut poser problème sur des systèmes embarqués où la mémoire est limitée.
Exemples concrets
Prenons le cas d'une application sur microcontrôleur qui doit gérer plusieurs capteurs et actuateurs en temps réel. L'utilisation d'Async Rust pourrait théoriquement simplifier le code, mais l'augmentation de la taille binaire due à l'async pourrait dépasser les capacités de stockage du microcontrôleur.
Optimisations potentielles
Des propositions sont en cours pour optimiser cette situation. Par exemple, une Pull Request ouverte sur le dépôt Rust tente de réduire la taille des futures générées. L'idée est de rationaliser la transformation de l'async en machine à états pendant le passage MIR, avant que le code n'atteigne le niveau LLVM IR.
Approches alternatives
Une autre approche pour contourner le problème actuel est de recourir à des bibliothèques tierces qui gèrent mieux la taille des futures. Cependant, cela implique souvent des compromis en termes de performance ou de compatibilité.
Conclusion
Bien que Async Rust reste techniquement en état MVP, cela ne signifie pas qu'il ne peut pas être utilisé efficacement. Avec des optimisations appropriées et une compréhension claire des limitations actuelles, il est possible de tirer parti de sa puissance tout en minimisant ses inconvénients.
Discutons de ton projet en 15 minutes.