Extensions de jeu d'instructions

Les extensions de jeu d'instructions ajoutent de nouvelles instructions à une architecture de base — pour les calculs vectoriels et SIMD, la cryptographie, les opérations atomiques ou d'autres tâches spécialisées — étendant ainsi les capacités tout en préservant la compatibilité avec les logiciels existants.

Definition

Une extension de jeu d'instructions est un ensemble d'instructions supplémentaires superposées à une architecture de jeu d'instructions de base afin de fournir de nouvelles fonctionnalités — généralement des opérations parallèles aux données, cryptographiques ou atomiques — tout en laissant intactes les instructions existantes et la compatibilité binaire.

Scope

Ce sujet aborde la manière dont les jeux d'instructions évoluent au fil du temps grâce à des extensions optionnelles ou obligatoires : les extensions SIMD et vectorielles pour le parallélisme des données, les instructions cryptographiques et de manipulation de bits, les primitives atomiques et de synchronisation, ainsi que le modèle d'extension modulaire des architectures de jeu d'instructions (ISA) telles que RISC-V. Il traite des objectifs et des contraintes liés à l'extension d'une ISA sans rompre la compatibilité. Il exclut le matériel parallèle sous-jacent qui exécute ces instructions (processeurs SIMD et vectoriels) et le schéma d'encodage de base (formats et encodage des instructions).

Core questions

• Pourquoi les jeux d'instructions sont-ils étendus plutôt que redessinés ?
• Comment les extensions sont-elles intégrées dans un espace d'encodage fixe sans rompre le code existant ?
• Quels types d'opérations justifient généralement des extensions dédiées ?
• Comment un modèle d'extension modulaire permet-il aux implémentations d'inclure uniquement les fonctionnalités dont elles ont besoin ?

Key concepts

• extensions SIMD
• extensions vectorielles
• instructions cryptographiques
• instructions atomiques et de synchronisation
• extensions modulaires et optionnelles
• compatibilité ascendante
• gestion de l'espace des codes d'opération

Mechanisms

Les extensions revendiquent l'espace de codes d'opération (opcode) précédemment inutilisé et définissent de nouvelles instructions, registres ou états. Les logiciels détectent les extensions disponibles à l'exécution (par exemple via des indicateurs de fonctionnalité) et dirigent vers des chemins de code optimisés. Les extensions SIMD et vectorielles ajoutent des registres larges et des opérations appliquant une instruction à de nombreux éléments de données ; les ISA modulaires telles que RISC-V standardisent une petite base et un menu d'extensions optionnelles que les implémenteurs composent.

Clinical relevance

Les extensions permettent aux jeux d'instructions de suivre le rythme des nouvelles charges de travail sans abandonner leurs écosystèmes logiciels. Les familles SIMD telles que x86 SSE/AVX et ARM NEON accélèrent les noyaux multimédia, scientifiques et d'apprentissage automatique ; les extensions cryptographiques accélèrent le chiffrement ; et les extensions modulaires permettent à une seule ISA de s'adapter des minuscules microcontrôleurs aux superordinateurs.

History

Les extensions SIMD sont apparues dans les CPU grand public à la fin des années 1990 avec MMX et SSE d'Intel, puis AVX, et NEON d'ARM. Des extensions spécialisées pour la cryptographie et, plus récemment, l'apprentissage automatique ont suivi. L'ISA RISC-V, conçue dès le départ autour d'une base minimale et d'extensions optionnelles standardisées, a rendu le modèle d'extension modulaire explicite et central.

Key figures

• John L. Hennessy
• David A. Patterson
• Krste Asanović

Seminal works

• hennessy2019
• patterson2020

Frequently asked questions

Comment les programmes utilisent-ils une extension que tous les processeurs ne possèdent pas ?

Le logiciel détecte à l'exécution quelles extensions le processeur prend en charge, généralement en interrogeant des indicateurs de fonctionnalité, et sélectionne un chemin de code optimisé lorsque l'extension est présente ou, à défaut, revient aux instructions de base, préservant ainsi la correction sur différents matériels.

Que signifie le fait que RISC-V soit modulaire ?

RISC-V définit un petit jeu d'instructions entier de base obligatoire, ainsi qu'un ensemble d'extensions optionnelles standardisées (pour la multiplication, les opérations atomiques, les nombres à virgule flottante, les vecteurs, et plus encore). Une implémentation n'inclut que les extensions dont elle a besoin, de sorte que la même ISA couvre des cœurs embarqués minuscules aux processeurs haute performance.