Présentation
EnglishNOTE DE L'ÉDITEUR
L'article H1199 a été complété par les articles suivants :
- H1200, Extensions SIMD des jeux d'instructions, de Lionel Lacassagne
- H1201, RISC-V : un jeu d’instructions Open Source, de Daniel Etiemble
- H1202, Jeux d’instructions : extensions SIMD et extensions vectorielles, de Daniel Etiemble et Lionel Lacassagne.
Extensions SIMD des jeux d'instructions
RÉSUMÉ
Les jeux d’instructions comprennent l’ensemble des instructions machine qui permettent à un processeur d’exécuter un programme. Ils constituent l’interface entre le matériel et le logiciel: ils définissent les opérations que doit effectuer le matériel et ils sont la cible d’un compilateur. Cet article présente les caractéristiques générales des jeux d’instructions, à travers l’examen des points essentiels: instructions de longueur fixe ou variable, format des données et des instructions, modes d’adressage, manière d’implémenter au niveau des instructions les constructions essentielles des langages de haut niveau.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleAuteur(s)
-
Daniel ETIEMBLE : Ingénieur INSA Lyon - Professeur émérite à l'université Paris Sud
INTRODUCTION
Les jeux d'instructions des processeurs constituent un langage statique minimum à l'interface entre le matériel et le logiciel : les instructions machine définissent les opérations que doit effectuer le matériel et elles sont la cible d'un compilateur. Ces jeux constituent une architecture apparente se distinguant des architectures matérielles qui exécutent les instructions. En effet, un programme, sous forme de langage machine après compilation pour un certain jeu d'instructions, doit pouvoir être exécuté par une gamme de machines utilisant ce jeu d'instructions, mais qui diffèrent en termes de vitesse d'exécution, consommation énergétique, taille, coût, etc. Les gammes IBM 360 et 370 dans le passé, les processeurs exécutant le jeu d'instructions x86, IA-32 et Intel 64 actuellement, sont des exemples illustrant la différence entre jeu d'instructions et architectures matérielles l'utilisant. Cependant, un jeu d'instructions évolue dans le temps en fonction des besoins des applications et des possibilités offertes par le matériel : passage des jeux d'instructions de 8 à 16 bits, puis 32 bits, puis 64 bits, ajouts de nouvelles instructions. Le problème est que la compatibilité binaire ascendante doit être maintenue pour les processeurs d'usage général : un processeur exécutant une version plus récente du jeu d'instructions doit être capable d'exécuter sans recompilation un code binaire d'une version ancienne.
Cet article ne détaille pas un jeu d'instructions particulier ; il présente les caractéristiques essentielles communes à tous les jeux d'instructions : longueur des instructions, format des données et des instructions et toutes les techniques qui permettent d'implanter au niveau du jeu d'instructions les constructions essentielles des langages de haut niveau que sont les affectations, les ruptures de séquence, les conditionnelles, les boucles, les appels et retours de procédure, etc. Il détaille plus particulièrement les caractéristiques des jeux d'instructions appelés RISC (instructions de longueur fixe) et du jeu d'instructions CISC dominant x86, IA-32, Intel 64 (instructions de longueur variable).
Pour les deux types de jeu d'instructions, sont détaillés les accès aux données (registres, accès mémoire et modes d'adressage), les instructions arithmétiques et logiques, les instructions de rupture de séquence, les instructions d'appel et retour de procédure, les instructions flottantes et quelques instructions particulières. Un résumé des caractéristiques des jeux IA-32, Intel 64 d'une part, et MIPS32 et MIPS64 d'autre part est présenté. Une annexe donne des indications sur les problèmes de codage des instructions.
MOTS-CLÉS
jeu d'instructions interface matériel-logiciel RISC CISC types d'instruction format d'instruction
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
5. Instructions de rupture de séquence
Les ruptures de séquence sont les sauts, les branchements et les appels et retours de procédure. Dans ce texte, nous distinguons les sauts et les branchements, bien que cette distinction ne soit pas faite dans tous les jeux d'instructions :
-
le saut charge le compteur de programme avec une adresse absolue (CP ← Adresse ) ;
-
le branchement ajoute un déplacement positif ou négatif au compteur de programme (CP ← NCP + déplacement ). La valeur NCP à laquelle s'ajoute le déplacement est celle de l'instruction suivant le branchement.
Les sauts et les branchements peuvent être inconditionnels ou conditionnels en fonction du résultat d'un test qui peut être effectué de différentes manières.
5.1 Sauts inconditionnels
L'action CP ← Adresse peut être effectuée de différentes manières :
-
l'adresse du saut est contenue dans un registre (CP ← R ). C'est le cas pour les jeux d'instructions 32 bits. Par exemple, pour MIPS, c'est l'instruction JR Ri où i est le numéro de registre. Cela implique de disposer des instructions pour charger 32 bits (l'adresse) dans un registre. Pour MIPS, si H16 et L16 sont les 16 bits de poids fort et de poids faible de l'adresse, c'est la suite d'instructions LHI Ri , H16 et ORI Ri , R0 , L16 qui charge l'adresse dans Ri ;
-
l'adresse du saut peut être obtenue par concaténation de la partie haute de CP et d'une constante de type déplacement contenue dans l'instruction. Le saut est alors limité à une zone de l'adresse d'adressage dont la taille dépend du nombre de bits de la constante.
Les branchements inconditionnels sont généralement réalisés par des branchements conditionnels avec la condition « vrai ».
HAUT DE PAGE5.2 Branchements conditionnels
L'instruction de haut niveau « Si condition alors séquence 1 sinon séquence 2 » implique deux actions :
-
1) évaluer la condition et mémoriser le booléen résultat ;
-
2) utiliser les branchements conditionnels et inconditionnels...
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Instructions de rupture de séquence
BIBLIOGRAPHIE
-
(1) - AMDAHL (G.M.), BLAAUW (G.A.), BROOKS (F.P.) Jr - Architecture of the IBM system/360. - IBM J. Research and Development, 8(2), p. 87-101, avr. 1964.
-
(2) - Intel® 64 and IA-32 architectures software developer manuals. - http://www.intel.fr/content/www/fr/fr/processors/architectures- software-developer-manuals.html
-
(3) - 80286 and 80287 programmer's reference manual. - http://bitsavers.informatik.uni-stuttgart.de/ pdf/intel/80286/210498-005_ 80286_and_80287_Programmers_Reference_Manual_1987.pdf
-
(4) - PATTERSON (D.A.) - Reduced instruction set computers. - Communications of the ACM – Special section on computer architecture, vol. 28, n° 1, p. 8-21, janv. 1985.
-
(5) - HENNESSY (J.L.), PATTERSON (D.A.) - Architecture des ordinateurs, une approche quantitative. - Vuibert Informatique (2003).
-
(6) - VAX...
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive