vendredi, 26 avril 2024

Le noyau Linux 6.0 améliore la sécurité avec la vérification d’exécution, améliore l’efficacité énergétique du processeur

Le système d’exploitation Linux open source est un composant essentiel du cloud et de la fourniture d’applications d’entreprise. En fait, chaque service cloud, même Microsoft, propose des ressources de calcul basées sur Linux et Linux est souvent le choix par défaut pour les appareils embarqués et Internet des objets (IoT). Parmi les principaux fournisseurs de distribution Linux figurent aujourd’hui l’unité commerciale Red Hat d’IBM, le fournisseur allemand SUSE et Canonical, qui développe la distribution Ubuntu Linux.

Le marché de Linux devrait atteindre 22,15 milliards de dollars d’ici 2029, selon Fortune Business Insights, contre 6,27 milliards de dollars en 2022. 

À la base de Linux se trouve le noyau, qui fournit l’ensemble de base de pilotes matériels et de services fonctionnels qui activent un système d’exploitation. Le noyau Linux a été publié pour la première fois par le développeur Linus Torvalds en 1992 et à ce jour, Torvalds aide toujours à guider le processus de publication, aux côtés des contributions de centaines de développeurs à travers le monde.

Le noyau Linux itère à un rythme rapide avec de nouvelles versions majeures toutes les huit à dix semaines. Hier, Torvalds a publié la dernière version, le noyau 6.0. Le passage à la version 6.0 marque le premier changement majeur de numéro de version depuis la sortie de la version 5.0 en mars 2019. 

Cependant, l’augmentation des chiffres n’est pas nécessairement l’indication d’un jalon technique particulier. Avant Linux 6.0, la dernière mise à jour était Linux 5.19. « Donc, comme cela est clair pour tout le monde, je l’espère, le changement majeur de numéro de version concerne plus le fait que je manque de doigts et d’orteils que de grands changements fondamentaux », a écrit Linus Torvalds dans son Linux 6.0 annonce de sortie. « Mais, bien sûr, il y a beaucoup de changements divers dans la 6.0 – nous avons plus de 15 000 commits non fusionnés au total, après tout, et en tant que tel, la 6.0 est l’une des plus grosses versions au moins en nombre de commits depuis un moment . »

La vérification d’exécution apporte plus de sécurité à Linux

Chaque nouveau noyau Linux apporte une multitude de fonctionnalités, dont un bon nombre concernent la prise en charge de nouveaux matériels. Avec Linux 6.0, parmi les nouveaux pilotes matériels, il y a une prise en charge améliorée des GPU Intel Arc A770 ainsi que des accélérateurs Intel Habana Labs Gaudi 2 AI.

Jiri Kosina, directeur SUSE Labs Core and Hardware chez SUSE, a déclaré à VentureBeat que, de son point de vue, il existe de nombreuses améliorations de performances dans Linux 6.0. L’une de ces améliorations est qu’une heuristique de marge énergétique qui limitait la migration des processus entre les processeurs a été supprimée du planificateur Linux, ce qui se traduit par une meilleure utilisation de l’énergie en général. Kosina a également noté que l’architecture de la puce arm64 peut enfin échanger correctement des pages énormes transparentes contre de la mémoire, améliorant considérablement le débit de certaines charges de travail.

Bien que le support matériel soit important, la fonctionnalité qui se démarque le plus pour Daniel Bristot de Oliveira, ingénieur logiciel principal senior chez Red Hat, est le nouveau sous-système de vérification d’exécution, qu’il a aidé à développer.

L’exécution de la vérification est ce qu’on appelle un outil de vérification formel. Avec la vérification formelle, les opérations d’un système et l’exécution de différents processus sont vérifiées mathématiquement pour s’assurer qu’elles fonctionnent correctement. De Oliveira a déclaré que la vérification d’exécution (RV) est une méthode de vérification formelle légère mais rigoureuse, avec une approche pratique pour les systèmes complexes. RV fonctionne en analysant la trace de l’exécution réelle du système et en la comparant à une spécification formelle du comportement du système.

« C’est une fonctionnalité fondamentale pour permettre l’utilisation de Linux dans les systèmes critiques pour la sécurité, une tendance qui est principalement menée par les applications automobiles et industrielles », a déclaré de Oliveira à VentureBeat. « Mais cela contribuera également à améliorer la fiabilité de Linux en général dans tous les secteurs et scénarios d’utilisation. »

Rust arrive dans Linux 6.1

En juin dernier, Linus Torvalds a déclaré lors du sommet Open Source qu’il s’attendait à ce que l’open source Langage de programmation Rust bientôt disponible sous Linux.

Bien que Rust ne soit pas entré dans Linux 6.0, il semble maintenant extrêmement probable que Rust atterrira dans la version du noyau Linux 6.1 qui pourrait sortir d’ici la fin de 2022. La demande formellet d’ajouter le code initial qui activer la prise en charge de Rust dans Linux 6.1 a été soumis par Google Kees Cook, développeur du noyau Linux, sur 1er octobre.

Tout comme la fonctionnalité de vérification d’exécution qui est maintenant dans Linux 6.0, Rust contribuera à améliorer la sécurité et la fiabilité.

« L’un des principaux avantages de Rust est l’accent mis sur la sécurité, principalement en ce qui concerne l’accès à la mémoire et la prévention de courses aux données« , a déclaré de Oliveira. « Même avec cet accent sur la sécurité, Rust fournit toujours des temps d’exécution rapides et de faibles frais généraux. »

La mission de VentureBeat est d’être une place publique numérique permettant aux décideurs techniques d’acquérir des connaissances sur les technologies d’entreprise transformatrices et d’effectuer des transactions. Découvrez nos Briefings.

.

Toute l’actualité en temps réel, est sur L’Entrepreneur

LAISSER UN COMMENTAIRE

S'il vous plaît entrez votre commentaire!
S'il vous plaît entrez votre nom ici

xnxx sex download russianporntrends.com hardxxxpics saboten campus freehentai4u.com read manga porn rakhi sex photo ganstagirls.com nani sex video xxx indian girl video download elporno.mobi tamilauntycom bf hd video bf hd video porn555.me anyporn hd tamil beach sex erolenta.com xxx sex boy to boy bustyboobs pakistanixxxx.com nude sexy videos desi sex xvideos.com tubaka.mobi justdesi in free naked dance vegasmpegs.mobi eva grover desi ass lick eroanal.net 69 xvideo 4k xnxx thefuckingtube.com xxii roman numerals translation tamil nayanthara sex sexozavr.com indian porn videos tumblr كلبات سكس porn-arab.net نيك ف الكس y3df comics popsexy.net akhil wife hentai ahri wowhentai.net the sarashina bloodline