IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)

Vous êtes nouveau sur Developpez.com ? Créez votre compte ou connectez-vous afin de pouvoir participer !

Vous devez avoir un compte Developpez.com et être connecté pour pouvoir participer aux discussions.

Vous n'avez pas encore de compte Developpez.com ? Créez-en un en quelques instants, c'est entièrement gratuit !

Si vous disposez déjà d'un compte et qu'il est bien activé, connectez-vous à l'aide du formulaire ci-dessous.

Identifiez-vous
Identifiant
Mot de passe
Mot de passe oublié ?
Créer un compte

L'inscription est gratuite et ne vous prendra que quelques instants !

Je m'inscris !

La prochaine itération de Rust for Linux pour la version 6.2 du noyau est en cours de gestation et ravive le débat sur la nécessité de la mise au rebut du C
En matière de programmation système

Le , par Patrick Ruiz

20PARTAGES

28  1 
Après 31 ans, un deuxième langage de programmation a été admis pour le développement du noyau Linux : c’est le Rust. Un premier aperçu de Rust for Linux est disponible dans la version 6.1 du noyau. Même si Jonathan Corbet précise « qu’il n’y aurait pas encore assez de Rust dans le noyau pour faire quoi que ce soit d’intéressant », l’inclusion de ce langage vient raviver le débat sur la nécessité de la mise au rebut du langage C au profit du Rust en matière de programmation système. La question divise la communauté des développeurs.

Asahi Linya s’est penchée sur la tâche de développement d’un pilote pour unité de traitement graphique (GPU) pour les Macs M1 et ce, en Rust. Son comparatif entre les langages Rust et C se fait sans langue de bois : « Il n'y a absolument aucune chance que je n'aie pas eu à faire face à la gestion d’accès concurrents, des tentatives d’accès de zones mémoire après libération et toutes sortes d'autres problèmes si j'avais écrit cela en C. Tous les problèmes de concurrence disparaissent avec Rust ! La mémoire est libérée quand elle doit l'être ! Une fois que vous avez appris à faire fonctionner Rust avec vous, j'ai l'impression qu'il vous guide pour écrire du code correct, même au-delà des promesses de sécurité du langage. C'est vraiment magique ! »



« Il y a beaucoup de débats sur l'utilité ou non de Rust dans le noyau... d'après mon expérience, c'est bien plus utile que je ne l'aurais jamais imaginé ! », ajoute-t-elle.


Son retour d’expérience est une espèce de redite d’une compilation de raisons techniques susceptibles de justifier une mise au rebut du langage C au profit du Rust. En effet, 15,9 % des 2288 vulnérabilités qui ont affecté le noyau Linux en 20 ans (chiffres du dictionnaire Common Vulnerabilities and Exposure (CVE)) sont liées à des tares que traînent le langage C : problèmes liés à la gestion de la mémoire – dépassements de mémoire tampon, allocations non libérées, accès à des zones mémoire invalides ou libérées, etc.

De plus, les principaux mainteneurs du noyau Linux sont des habitués du langage C dont l’âge commence par le chiffre 5. Certains se rapprochent même de la soixantaine. Une nouvelle génération de mainteneurs dont la tranche d’âge se situe dans la trentaine gravit les échelons et donc la difficulté de trouver des mainteneurs pour le noyau Linux risque d’aller croissant si son développement se poursuit en langage C. C’est pour autant de raisons que Linus Torvalds a ouvert la porte au développement du noyau en Rust.

Sur la question de l’éventualité d’une mise au rebut du langage C, le créateur du langage C3 liste un ensemble de raisons pour lesquelles les initiatives allant dans ce sens ont de fortes chances d’échouer :

La chaîne d'outils du langage C

Le langage C n'est pas seulement le langage lui-même, mais aussi tous les outils de développement développés pour ce langage. Vous voulez faire une analyse statique de votre code source ? - Il y a beaucoup de gens qui travaillent sur ce sujet pour le C. Des outils pour détecter les fuites de mémoire, les courses de données et autres bogues ? Il y en a beaucoup, même si votre langage est mieux outillé.

Si vous voulez cibler une plateforme obscure, il est probable que vous utilisiez le C. Le statut du C en tant que lingua franca de l'informatique d'aujourd'hui fait qu'il vaut la peine d'écrire des outils pour ce langage, et de nombreux outils sont donc écrits.

Si quelqu'un a mis en place une chaîne d'outils qui fonctionne, pourquoi risquer de changer de langage ? Un "meilleur C" doit apporter beaucoup de productivité supplémentaire pour motiver le temps passé à mettre en place une nouvelle chaîne d'outils. Reste même à savoir si cela est possible.

Les incertitudes d'un nouveau langage

Avant qu'un langage ne soit arrivé à maturité, il est probable qu'il comporte des bogues et qu'il soit modifié de manière significative pour résoudre les problèmes de sémantique du langage. Et le langage est-il même conforme à la publicité ? Il offre peut-être quelque chose comme "des temps de compilation exceptionnels" ou "plus rapide que le C" - mais ces objectifs s'avèrent difficiles à atteindre lorsque le langage ajoute l'ensemble des fonctionnalités.

Et qu'en est-il des mainteneurs ? Bien sûr, un langage open source peut être bifurqué, mais je doute que de nombreuses entreprises soient intéressées par l'utilisation d'un langage qu'elles pourraient être obligées de maintenir plus tard. Parier sur un nouveau langage est un gros risque.

Le fait que le langage pourrait tout simplement ne pas être assez bon

Le langage s'attaque-t-il aux véritables points faibles du C ? Il s'avère que les gens ne sont pas toujours d'accord sur ce que sont les points sensibles du C. L'allocation de mémoire, la gestion des tableaux et des chaînes de caractères sont souvent délicates, mais avec les bonnes bibliothèques et une bonne stratégie mémoire, elles peuvent être minimisées. Le langage ne traite-t-il pas des problèmes dont les utilisateurs avancés ne se soucient pas vraiment ? Si c'est le cas, sa valeur réelle pourrait être beaucoup plus faible que prévu.

Et pire encore, que se passe-t-il si le langage omet des fonctionnalités cruciales qui sont présentes en C ? Des fonctionnalités sur lesquelles les programmeurs avancés du C comptent ? Ce risque est accru si le concepteur du langage n'a pas beaucoup utilisé le C, mais vient du C++, du Java, etc.

L’absence de développeurs expérimentés pour un nouveau langage

Un nouveau langage disposera naturellement d'un groupe beaucoup plus restreint de développeurs expérimentés. Pour toute entreprise de taille moyenne ou grande, c'est un énorme problème. Plus il y a de développeurs disponibles pour une entreprise, mieux elle se porte.

De plus, si l'entreprise a l'expérience du recrutement de développeurs C, elle ne sait pas comment recruter pour ce nouveau langage.

L'ABI C

Si le langage ne peut pas facilement appeler - ou être appelé - par du code C, alors toute personne utilisant le langage devra faire un travail supplémentaire pour faire à peu près tout ce qui est interface avec du code extérieur. C'est potentiellement un énorme inconvénient.

Source : lkml

Et vous ?

Pourquoi le langage C pourrait encore avoir de longues années devant lui ?
Le C a-t-il vraiment besoin d’un remplaçant en matière de programmation système ?
Le problème avec le C n’est-il pas plutôt le mauvais usage que certains développeurs en font ?
Voyez-vous des firmes comme Intel faire migrer des projets comme l’UEFI vers le Rust ? Doivent-elles plutôt envisager de passer au Rust pour leurs futurs projets ?

Voir aussi :

Programmation : une étude révèle les langages les plus voraces en énergie, Perl, Python et Ruby en tête, C, Rust et C++, les langages les plus verts

Linus Torvalds souligne une bonne avancée du langage Rust dans le développement du noyau Linux, et aurait qualifié le C++ de « langage de m... », après le message de Google

Microsoft, Google, AWS, Huawei et Mozilla s'associent pour créer la Fondation Rust, une organisation à but non lucratif chargée de gérer le langage de programmation

Une erreur dans cette actualité ? Signalez-nous-la !

Avatar de Ti-Slackeux
Membre éprouvé https://www.developpez.com
Le 02/04/2024 à 11:35
je me suis arrêté là :
Faut-il opérer le retrait de termes comme master ou slave au motif de ce qu’ils véhiculent des stéréotypes raciaux ?
"Deux choses sont infinies : l'Univers et la bêtise humaine.
Mais, en ce qui concerne l'Univers, je n'en ai pas encore acquis la certitude absolue."
Albert Einstein
18  2 
Avatar de OrthodoxWindows
Membre émérite https://www.developpez.com
Le 02/04/2024 à 12:03
Citation Envoyé par Ti-Slackeux Voir le message
je me suis arrêté là :

"Deux choses sont infinies : l'Univers et la bêtise humaine.
Mais, en ce qui concerne l'Univers, je n'en ai pas encore acquis la certitude absolue."
Albert Einstein
Je suis d'accord, ce débat est vraiment con. Mais bon, visiblement certains n'ont pas mieux à faire que perdre du temps au lien de réaliser des vrais corrections dans le code.
Cependant, ce genre de polémique stérile est souvent soutenu pas des grosses entreprises ; peut-être faut-il y voir un intérêt pour détourner l'attention de leur méfaits.
Parfois c'est plus direct, c'est le logiciel libre qui est visé (je pense à la polémique sur Stallman).

C'est comme ceux qui sont contre l'utilisation des termes "liste noir/blanche". Alors que culturellement, associer le noir au "mal" ou a la mort n'a rien de raciste, c'est quelque chose de très ancien qui vient du fait que sans lumière, on ne voit rien (on risque donc sa vie). Je ne serai pas surpris que certains peuples en Afrique fassent la même association.
Comparer ça au racisme c'est à peu près la même logique que de dire qu'utiliser la couleur orange pour indiquer un chantier revient à traiter tous les roux de travailleur du BTP
Surtout qu'en plus, aucun homme n'est vraiment "noir" sur Terre, en réalité, il n'y a que des nuances de brun...
11  0 
Avatar de chrtophe
Responsable Systèmes https://www.developpez.com
Le 02/04/2024 à 20:03
Comme si ne plus utiliser les termes maitres/esclaves allait faire disparaitre l'esclavage ou rendre justice aux victimes présentes, passés, ou futurs.

On peut aller très loin dans la connerie :

Nous tous (ou quasiment) travaillant dans l'informatique sommes des prestataires de services.
service désigne l'action de servir, càd être au service, à la disposition de quelqu'un. Du coup faut-il remettre ce terme en question dans ce contexte, surtout que service vient du latin servitium signifiant état d’esclave, cervitude).
10  1 
Avatar de Aspartame
Membre confirmé https://www.developpez.com
Le 02/04/2024 à 13:08
Bonjour

étudiant en master, je m'inquiète sérieusement sur mon diplôme.
12  4 
Avatar de petitours
Membre chevronné https://www.developpez.com
Le 02/04/2024 à 17:02
Citation Envoyé par shunesburg69 Voir le message
L'esclavage s'est terminé en France en 1848 et aux USA en 1865, je vois personne de vivant concerné par cette histoire d'esclavage. Pour info, la plupart du temps c'est des militants (noir ou blanc) qui non jamais eux de famille dans l'esclavage et qui oublient que des blancs comme moi ont des ancêtres esclaves et qui s'en foutent de ses débats stériles. Ils feraient mieux de s’inquiéter de la discrimination positive (et autre racisme anti-blanc) qui font du racisme en passant faire l'inverse.
Inde, Chine (les Ouïghours ), Pakistan, et bien d'autres pays. L'esclavage existe bien encore aujourd'hui. Mais une fois de plus le problème est l'esclavage, pas le mot qui le désigne très bien et ça n'a rien à faire dans les discussions sur l'intégration de Rust dans Linux.
6  0 
Avatar de smarties
Expert confirmé https://www.developpez.com
Le 20/11/2022 à 11:20
Quand on voit les tweets, c'est certain que RUST apporte énormément de fiabilité pour de la programmation système.

Je ne suis pas sur de la pertinence d'un transcompilateur car cela peut produire des choses difficilement compréhensibles.

Les bibliothèques système peuvent aussi être écrites en RUST et utilisées pour tout.

Avoir le C et RUST pour le noyau complexifie probablement mais si on peut avoir des éléments de qualité, performants, stables et sécurisés il faut continuer l'intégration progressive de RUST.
5  0 
Avatar de petitours
Membre chevronné https://www.developpez.com
Le 02/04/2024 à 16:29
Citation Envoyé par Stéphane le calme Voir le message
« Il est clair que certaines personnes sont blessées par ces termes et que leur utilisation suscite chez elles un sentiment de malaise, non pas pour des raisons techniques, mais en raison de leur contexte historique et social », a déclaré Google, en estimant qu'il s'agissait d'arguments suffisants pour les faire disparaître. « Master-slave est une métaphore oppressive qui ne sera et devrait jamais être totalement détachée de notre histoire », souligne un développeur de Microsoft, qui appelle à leur remplacement.
"Maitres" et "esclave" ont un sens très clair, il se trouve que ce sens désigne très bien des choses affreuses qui se sont produites et qui se produisent encore. Le malaise concerne la situation qui est décrite par ces termes parfaitement adaptés, pas par les termes eux même. "Malaise" est bien a l'image de ce débat de vocabulaire stupide ; je doute que les gens concernés par cette horreur soient "blessés" ou "mal à l'aise", ils souffrent sûrement, ils sont en colère peut être mais certainement pas "mal à l'aise" !

Pour revenir au sujet du code, ces gens peuvent aussi sans malaise utiliser ces 2 termes parfaitement adaptés a certains modèles de communication. Et en plus personne ne souffre et personne n'est opprimé dans ces usages informatiques des mots.
J'espère que Linus Torvalds, prompt a envoyer balader les mauvais, remettra rapidement en place ces gens qui veulent se rendre intéressant en massacrant le vocabulaire et donc la fameuse clarté.

"Le Schtroumpf n'a pas besoin de se prendre le Schtroumpf concernant le Schtroumpf pour faire Schtroumpfer le Schtroumpf" Comprend qui peut, mais c'est ça de tuer le vocabulaire.

Pour le reste les questions sont trop dispersées. Il y a des questions super pertinentes sur Rust et Linux suivies de ce sujet inepte de destruction du vocabulaire qui en aucun cas améliorera l'inclusion et la diversité de qui que ce soit.
5  0 
Avatar de pokap
Membre régulier https://www.developpez.com
Le 02/04/2024 à 13:03
Citation Envoyé par Ti-Slackeux Voir le message
je me suis arrêté là :

"Deux choses sont infinies : l'Univers et la bêtise humaine.
Mais, en ce qui concerne l'Univers, je n'en ai pas encore acquis la certitude absolue."
Albert Einstein
“Celui qui ressent sa propre vie et celle des autres comme dénuées de sens est fondamentalement malheureux, puisqu'il n'a aucune raison de vivre.”
Albert Einstein
4  0 
Avatar de TJ1985
Membre chevronné https://www.developpez.com
Le 12/04/2024 à 21:00
Ces débats masturbatoires ne peuvent être que la production de personnes sous-employées, sous-motivées, ayant tout loisir d'exercer leurs talents en activités de diversion. Des inutiles, en somme.
J'ai exercé une trentaine d'années dans un environnement où la "diversité" était la règle, où mes collègues venaient de littéralement un peu partout sur la Planète. Nous étions suffisamment occupés à faire avancer le schmilblick pour ne pas nous soucier de ce qui se passait dans le slip de tel ou telle, ni de nos histoires familiales réciproques.
A posteriori, il y aurait eu beaucoup à en dire, les ancêtres des uns ont saccagés la culture ancestrales des autres, les ancêtres de certains se sont fait esclavagiser par les aïeux de certains autres, sur la rive sud de la Méditerranée, certains ont échappé de justesse aux fureurs de mers hostiles ou sont passés sous des barbelés mortels pour fuir des paradis imposés par des psychopathes mégalomanes.
Tous ensemble nous avons fait évoluer une entreprise, en lui permettant de rester à la pointe de son domaine, au niveau mondial. Nous avons mis en commun la meilleure part de nous-mêmes, écartant nos singularités.
Ça a marché.
3  0 
Avatar de destroyedlolo
Membre actif https://www.developpez.com
Le 16/12/2022 à 15:10
"des mainteneurs pour le noyau Linux risque d’aller croissant si son développement se poursuit en langage C."

Ben voyons
C'est juste le langage le plus utilisé dans les OS (au sens large, démons, DE, ...) inclus, l'embarqué et une bonne partie des applications les plus utilisées.

Alors s'il est difficile de trouver de bons programmeurs C(++), le C a encore de beaux jours devant lui.
"Bon" pas dans le sens "connaisseur du C", mais bon dans le sens "qui maitrise l'algorithmie, ne font pas du code crade, respectent les ressources" : Les enseignements basés autour de langages plus permissifs tel que Python ou Java font que le code qu'ils pondent est au mieux "passable" dès que le langage ne corrige pas toutes leurs lacunes.
3  1