Des instructions élémentaires. Le langage machine. Technologie liée à l assembleur. Code d opération et opérandes

Transcription

1 Le langage machine 1 / 49 De l assembleur au langage machine Le langage machine 4 / 49 Des instructions élémentaires Définition (Langage machine/code machine) Le langage machine Chapitre 4 Description de groupes de modifications des valeurs internes des composants internes de processeurs sous forme de codes numériques. J.-C. Dubacq IUT de Villetaneuse Université Paris 13 Définition (Langage assembleur) Langage de programmation qui permet de décrire les instructions élémentaires qui manipulent dans le processeur les registres, l accès à la mémoire et ses autres composants. S Définition (Assembleur) Chapitre 4 A De l assembleur au langage machine Le langage machine 5 / 49 Technologie liée à l assembleur Un programme qui prend un code source écrit en langage assembleur et le transforme en code machine, souvent spécifique à un processeur particulier. Les principes du langage machine Le langage machine 7 / 49 Code d opération et opérandes Définition (Jeu d instructions) Une spécification de caractéristiques communes à plusieurs processeurs et d un code machine commun. Une instruction (code machine) s appelle aussi opcode. Une instruction (assembleur) s appelle une mnémonique. Il existe des désassembleurs. Exemple (Mnémonique et opcode) L instruction pour processeur x86/ia (hexa : B0 61) est la traduction directe de la mnémonique MOV AL, #61h qui a pour effet de mettre la valeur 0x61 dans le registre AL du processeur. La structure d une instruction élémentaire est presque toujours la même. On trouve d abord un code d opération et de zéro à plusieurs opérandes. Le code d opération désigne la nature de l instruction, les opérandes sont les valeurs sur lesquelles l opération agit. On trouve quatre grandes catégories d opérations : instructions arithmétiques et logiques, instructions de déplacement de données, instructions de sauts et branchements, instructions de gestion des déroutements. Chaque opérande est une valeur, qui est utilisée selon son mode d adressage. Le code d opération fixe la longueur des opérandes, la longueur des instructions varie.

2 Les principes du langage machine Le langage machine 8 / 49 Modes d adressage Les principes du langage machine Le langage machine 9 / 49 La scission RISC/CISC Chapitre 4 B Au début, certaines utilisations de valeurs n étaient pas considérées comme de l adressage. Vision moderne : en fait, une plus grande variété de comportements. L adressage pouvait être déterminée opérande par opérande ou au niveau du code d opération. On distingue souvent plusieurs types d adressage : ceux pour les opérandes qui sont sensés désigner des instructions, et ceux dont les opérandes sont des données quelconques. On a essentiellement les adressages implicites, immédiats, par registre, directs, indirects, indexé... mais aussi d autres. Tous les modes d adressages n ont pas la même longueur, certains nécessite des arguments optionnels. On obtenait une grande variabilité de longueur d instructions, et certaines instructions nécessitaient donc plusieurs cycles pour être décodées. Les principes du langage machine Le langage machine 10 / 49 Adressage pour le code et étiquettes Constatation en 1975 : majorité des instructions et adressages non utilisés par les compilateurs, donc complexité inutile des processeurs. Principe : circuits plus simples, donc plus rapides, donc si parfois plus d instructions, ce n était pas grave. Fin des années 80, on voit émerger des processeurs utilisant un jeu d instruction moins riche, plus élémentaire. Technologie RISC : Reduced Instruction Set Computer (opposé à CISC : Complex...). Exemple : les processeurs d IBM, Sun, Motorola. Utilise typiquement très peu d adressages (demi-douzaine) mais plus de registres. Instructions s exécutent en un cycle, taille fixe. Compilateurs efficaces plus faciles à écrire. Les principes du langage machine Le langage machine 11 / 49 D un langage de haut niveau au langage machine Les instructions utilisent principalement quatre modes d adressage : absolu : LONG JUMP xxx {PC xxx}. relatif : JUMP xxx {PC PC+xxx}. indirect : JUMP R1 {PC PC+R1}. séquentiel : NOP {PC PC+1}. Quand on écrit PC+xxx c est souvent en fait PC+xxx longueur d instruction Il n est pas commode en écrivant de l assembleur de voir dans un déplacement à quel endroit est l instruction que l on vise : on leur donne donc des étiquettes. Le programme d assemblage transforme les références à ces étiquettes en nombres, en utilisant le plus souvent un adressage non-absolu. Syntaxe fréquente : toto: ADD R1,R2,R3 Langage C Code source.c cpp/gcc -E Expansion C sans macros cc/gcc -S Compilation Assembleur.s Bibliothèque statique.a Bibliothèque partagée.so as/gcc -c Assemblage Exécutable ld Édition de liens dynamic loading Code objet.o ld.so Liaison dynamique Code en mémoire

3 Les principes du langage machine Le langage machine 12 / 49 Pseudo-opérations et pseudo-instructions Les principes du langage machine Le langage machine 13 / 49 Micro-programmation Mnémoniques : correspondent en général à un opcode. Pseudo-opérations : facilités offertes par l assembleur, systèmes de macros définies par l utilisateur, remplacées par plusieurs mnémoniques au moment de l assemblage. Certaines équivalences sont définies par défaut, ce sont des pseudo-instructions. Elles sont toujours très limitées. Exemple (Pseudo-instruction) Définition (Micro-programme) L assembleur est parfois en fait interprétée dans un langage encore plus basique, qui transforme les instructions en signaux pour l unité de contrôle. L interprète peut être changé une fois le processeur commercialisé. Les raisons qui ont poussé à faire des micro-programmes : Possibilité de corriger les bugs Chapitre 4 C En MIPS/R2000, l instruction li ne peut mettre une valeur 2 16 dans un registre (32 bits). Mais on peut mettre une valeur sur 16 bits dans la moitié haute d un registre (lui), puis faire un OR de cette valeur avec une autre valeur (poids faible : ori). La pseudo-instruction li devient selon la valeur de l argument une ou deux instructions natives (li=petite, lui puis ori=grande). Les principes du langage machine Le langage machine 14 / 49 L architecture de jeu d instruction Pour les processeurs plus complexes, la possibilité d optimiser a posteriori la gestion interne du processeur Pour certains processeurs, ajouter la possibilité de comprendre plusieurs jeux d instruction (traduire entre un jeu d instruction et un autre). Les principes du langage machine Le langage machine 15 / 49 Exemples de formats (1/2) Organisation des processeurs en familles de processeurs similaires ; Exemple (Format d instructions pour x86) Compatibilité arrière conservée (backward compatibility) ; parfois comportements très anecdotiques pour ça. Grâce à la micro-programmation, compatibilité avant possible (forward compatibility). Description des opcodes en RTL (Register Transfer Language). Possibilité d émulation d un processeur par un autre (par exemple, processeur Crusoé). Également spécification du nombre, de la taille des registres. Registres généraux donne la «taille» du processeur. Technologie CISC. Longueur de mot d instruction variable. Modes d adressage variés.

4 Les principes du langage machine Le langage machine 16 / 49 Exemples de formats (2/2) Les instructions de déplacement Le langage machine 18 / 49 Manipulation de données Exemple (Format d instructions pour MIPS/R2000) Type Type R op rs rt rd imm5 funct add, sub... 6 bits 5 bits 5 bits 5 bits 5 bits 6 bits Type I op rs rt imm ori, lw... 6 bits 5 bits 5 bits 16 bits Type J op target address j, jal... 6 bits 26 bits De la mémoire vers les registres et inversement. Sens mémoire vers registres : load. Sens registres vers mémoire : store. Aussi chargement de constantes en mémoire : set. Exemples (et RTL) : Load r1, 14 : R 1 MEM[14];PC PC +1 ; Save r2, 28 : MEM[28] R 2 ;PC PC +1 ; Save r1, (r2) : MEM[R 2 ] R 1 ;PC PC +1 Chapitre 4 D Technologie RISC (longueur de mot d instruction fixe). Type R : beaucoup de registres, petites constantes (pour décalages), funct sert à compléter op. Type I : Une constante sur 16 bits. Type J : une grande constante sur 26 bits divisée par 4. Les instructions de déplacement Le langage machine 19 / 49 Les modes d adressage pour les données move Registres set load Mémoire store set (CISC) Constantes Les instructions arithmétiques et logiques Le langage machine 21 / 49 Instructions de calcul Registre move r1 r2 {r1 r2} Immédiat set r1 value {r1 value} Implicite reset r1 {r1 0} Indirect+déc. load r1 r2 off {r1 MEM[r2+off]} Index (absolu) load r1 r2 val {r1 MEM[val+r2 X]} Index+base load r1 r2 r3 {r1 MEM[r2+r3 X]} Indirect load r1 r2 {r1 MEM[r2]} Direct load r1 value {r1 MEM[value]} Relatif load r1 off {r1 MEM[PC+off]} Autoincrémenté load r1 r2 {r1 MEM[r2]} ou décrémenté {r2 r2±1} Possibilité d une double indirection sur certains processeurs : {r1 MEM[MEM[xxx]]}. En RISC, le code op détermine l adressage (or/ori) ; sinon quelques bits pour chaque opérande. Temps de traitement variable. Opérations logiques : OR, AND, XOR, NOT. Opérations arithmétiques en entiers, et en flottants. Aussi décalages, rotations... Codage C2 ou NAT pour entiers, IEEE754 pour flottants. Utilisation d un coprocesseur pour flottants (durée variable). Gestion de la taille des opérandes par le code op. En RISC : uniquement avec immédiats et registres ; En CISC : aussi avec écriture ou lecture en mémoire ; Exemples : Add r1,r2,r3 : R 1 R 2 +R 3 ;PC PC +1; ORI r1,r6,129 : R 1 (R 6 )OR(0x81);PC PC +1;

5 Les instructions de saut et de branchement Le langage machine 23 / 49 Les sauts Les instructions de saut et de branchement Le langage machine 24 / 49 Les branchements Chapitre 4 E Les sauts permettent un déroulement non séquentiel des instructions Les premiers langages comprenaient un saut à chaque instruction Le saut absolu pose des difficultés techniques (longueur de constante, code relocalisable). Le saut relatif et le déplacement séquentiel sont très majoritaires. Le saut indirect permet de sauvegarder un point d y code et d y revenir plus tard. C est une fonctionnalité indispensable pour faire du code moderne (sauf cas de code réinscriptible). Saut relatif ou absolu : codé par étiquette, donc invisible depuis l assembleur. Le saut s appelle aussi GOTO. Les instructions de saut et de branchement Le langage machine 25 / 49 Le code spaghetti Permet de faire des programmes au déroulement non linéaire. Caractéristiques essentielle de la programmation Instruction avec deux adresses de prochaine instruction : condition réalisée ou non. En général : adressage relatif et séquentiel. Saut conditionnel Si (condition) est vraie, aller (quelque part), sinon continuer La condition est souvent rudimentaire : tester si un registre est nul, comparer si deux registres sont différents, regarder les drapeaux d état du processeur (dernière opération : erreur? débordement?) Les déroutements Le langage machine 27 / 49 Appels systèmes Exemple (Code spaghetti BASIC) 10 i = 0 20 i = i PRINT i; " au carré = "; i * i 40 IF i >= 10 THEN GOTO GOTO PRINT "Fini." 70 END Les constructions avec GOTO peuvent vite devenir illisibles. La faiblesse des structures de contrôle en assembleur rend son usage nécessaire. Boucles = pseudo-opérations. Le nom des étiquettes rend les codes plus lisibles. Niveaux de fonctionnement différents dans les processeurs modernes (ring) avec des limitations pour les niveaux plus bas. Exécution de certaines fonctions nécessitent d être le système d exploitation. Mécanisme d exception par la command syscall (ou trap ou int, selon le jeu d instruction). Code assembleur de petite taille pilotée par une table d interruptions à adresse fixe. Ce code fait des branchements pour exécuter des procédures plus grosses dans le système d exploitation. Puis le code revient à l endroit appelant.

6 Les déroutements Le langage machine 28 / 49 Interruptions La machine VLTN Le langage machine 30 / 49 L assembleur VLTN Chapitre 4 F Lorsque certains événements matériels se produisent le processeur reçoit un signal d interruption. Le processeur a une mémoire interne d un masque d interruption (liste de signaux à ignorer) et une table d interruption (à adresse fixe, le code qui doit s occuper). Changement de contexte : Lorsqu une interruption est reçue qui ne doit pas être ignorée, l état du processeur est sauvegardé et la routine adéquate exécutée à la place. Fin d interruption : à la fin de la routine, la sauvegarde de l état est remise en place pour reprendre le travail précédent. Certaines interruptions sont elles-mêmes interruptibles. Coopération étroite entre processeur et système d exploitation. Interruptions plus récentes utilisent une écriture dans une zone mémoire précise comme «signal». Très utilisées pour les entrées-sorties. La machine VLTN Le langage machine 31 / 49 Mémoire et Instructions Machine rudimentaire pour l étude pédagogique. Inspiré de l IBM 650. Stocke des valeurs de 6 chiffres en base registre de calcul ACCU. 1 registre d instruction INST. 1 registre PT d indexation sur 6 chiffres. 1 registres PC compteur de programme sur 2 chiffres. 2 drapeaux NUL et ERR (ACCU nul et dernier calcul avec débordement). Mémoire adressable : 100 adresses (sur 2 chiffres en base 10). Codage machine : DCB (décimal codé binaire). La machine VLTN Le langage machine 32 / 49 Exécution Une instruction est codée par six chiffres XX YY ZZ : XX est le code d opération. YY est l argument. ZZ est l adresse de prochaine instruction. Les entrées sont des nombres, consommés au fur et à mesure Les sorties sont des nombres, écrits au fur et à mesure Pas de séparation code/données : tout emplacement peut être l un ou l autre. Mnémonique en quatre lettres (ou moins). VLTN peut être exécuté par un simulateur. Un programme complet décrira la mémoire initiale et la série d entrées. mémoire initiale : dans un fichier : 10: décrit qu à la case 10 de la mémoire, il y a l instruction ADD (ou bien le nombre ) ACCU vaut , ERR est FAUX, NUL est VRAI, PC vaut 00. Le simulateur donne les sorties et le code de fin. Entrées/sorties Simulateur version VLTN Enseignement Simulateur VLTN

7 Les instructions Le langage machine 34 / 49 Instructions : Manipulations Les instructions Le langage machine 35 / 49 Instructions : Arithmétique Chapitre 4 G Instructions de manipulation de données OP MNEM Nom Effet 01 TSTN Test NUL Si NUL, PC YY, sinon PC ZZ 02 TSTE Test ERR Si ERR, PC YY, sinon PC ZZ 10 SET Set ACCU YY PC ZZ 21 LOAD Load ACCU MEM[YY] PC ZZ 31 STOR Store MEM[YY] ACCU PC ZZ 80 GOTO Goto PC ZZ À chaque cycle où ACCU est modifié, ERR est mis à VRAI si débordement, FAUX sinon. NUL est mis à VRAI si ACCU est nul. Résultat tronqué si ERR (ex : = ). Les instructions Le langage machine 36 / 49 Instructions : Logique Instructions arithmétiques OP MNEM Nom Effet 40 ADD Add ACCU ACCU+MEM[YY] PC ZZ 41 ADDI Add Imm ACCU ACCU+YY PC ZZ 42 ADDM Add Imm mid ACCU ACCU+YY*100 PC ZZ 43 ADDH Add Imm high ACCU ACCU+YY*10000 PC ZZ 44 SUB Sub ACCU ACCU-MEM[YY] PC ZZ 45 SUBI Sub Imm ACCU ACCU-YY PC ZZ 46 SUBM Sub Imm mid ACCU ACCU-YY*100 PC ZZ 47 SUBH Sub Imm high ACCU ACCU-YY*10000 PC ZZ Les opérations se font en base 10 (tout est codé en binaire en interne, mais on a programmé la table d addition en base 10). Quand A B déborde (négatif), on obtient A B. Les instructions Le langage machine 37 / 49 Instructions : Entrées/Sorties et affectations partielles Instructions logiques OP MNEM Nom Effet 50 SHFL Shift left ACCU ACCU«YY PC ZZ 51 SHFR Shift right ACCU ACCU»YY PC ZZ 52 ROTL Rotate left ACCU ACCU rot YY PC ZZ 53 ISOL Isolate ACCU ACCU isol YY PC ZZ Usuellement, on a aussi les opérations AND, OR, XOR et NOT. Pour un ordinateur qui utilise un codage décimal, ça n a pas tellement de sens. «et» sont les décalages, rot la rotation à gauche, isol AB prend le A e chiffre et le met en B e position (le reste à zéro). Instructions d entrées/sorties, affectations partielles OP MNEM Nom Effet 11 SETH Set High High(ACCU) YY PC ZZ 12 SETM Set Middle Mid(ACCU) YY PC ZZ 13 SETL Set Low Low(ACCU) YY PC ZZ 90 READ Read input MEM[YY] input PC ZZ 91 WRIT Write output output MEM[YY] PC ZZ 00 EJECT Eject (fin) Code de fin: YYZZ Le code de fin est conventionnellement 0000 pour un programme qui finit normalement, le reste au choix du programmeur (par ex., un programme avec pas assez de données s arrêterait avec 0001). Si aucune entrée n est disponible, READ met ERR à 1 et renvoie un nombre aléatoire. Sinon, ERR est mis à 0.

8 Les instructions Le langage machine 38 / 49 Instructions : Indirections Les instructions Le langage machine 39 / 49 Exemple de programme Instructions d indirections OP MNEM Nom Effet 14 SAVE Save PT ACCU PC ZZ 15 COPY Copy ACCU PT PC ZZ 16 SWAP Swap PT ACCU ACCU PT PC ZZ 17 SETP Set PT PT YY PC ZZ 22 LDIX Load Index ACCU MEM[PT+YY] PC ZZ 32 STIX Store Index MEM[PT+YY] ACCU PC ZZ 81 LINK Jump and link ACCU PC PC ZZ 82 RET Return PC ACCU+YY Exemple (Somme de 2 nombres) // Fichier somme2.vltn 00: // READ : // READ : // LOAD : // ADD : // STOR : // WRIT : // EJECT 0000 Chapitre 4 H Si ACCU+YY ou PT+YY>100, on enlève 100 : +99 comme -1. Présentation Le langage machine 41 / 49 Structure d un programme Méthodes de programmation Le langage machine 43 / 49 Programmation : Un test On écrit sur chaque ligne _label: INST operande ligne Si ligne est omis, c est la ligne suivante ; Une étiquette est soit un nombre, soit un nom précédé de _. Si _label est omis, c est 1 de plus que la ligne précédente. Le nom est en minuscules pour le code, en majuscules sinon Les données commencent traditionnellement à l adresse 50. On met des commentaires sur la fin de la ligne derrière un // L étiquette _main correspond à l adresse 00. Exemple (Somme de 2 nombres) 00: READ : READ : LOAD : ADD : STOR : WRIT : EJECT 0000 Exemple (Somme de 2 nombres) _main: READ _A READ _B LOAD _A ADD _B STOR _C WRIT _C _end: EJECT 0000 Si (_A>_B) alors finsi LOAD _B SUB _A TSTE suite _:... fin _suite:... fin

9 Méthodes de programmation Le langage machine 44 / 49 Alternatives Méthodes de programmation Le langage machine 45 / 49 Alternative complexe (case, switch) Chapitre 4 I Si (_A>_B) alors Sinon finsi blocc LOAD _B SUB _A TSTE _vrai _faux _vrai: fin GOTO _suite _faux: fin _suite: blocc finblocc Méthodes de programmation Le langage machine 46 / 49 Boucle : le plus simple Selon (_A): Si (_A=1): Si (_A=2): Sinon blocc finsi blocd _un: LOAD _A SUBI 01 TSTN _un _nonun fin _suite _nonun: LOAD _A SUBI 02 _deux: TSTN _deux _defaut fin _suite _defaut:blocc finblocc _suite: blocd finblocd Méthodes de programmation Le langage machine 47 / 49 Boucle avec test initial Faire tant que (_A<5) Faire jusqu à (_A>=5) Set 05 STOR _B _boucle: fin LOAD _A SUB _B TSTE _boucle _suite _suite: fin Tant que (_A<5), faire fintantque Jusqu à (_A>=5), faire fintantque Set 05 STOR _B _boucle:load _A SUB _B _cbcl: TSTE _cbcl _suite fin _boucle _suite: fin

10 Méthodes de programmation Le langage machine 48 / 49 Répéter plusieurs fois Méthodes de programmation Le langage machine 49 / 49 Boucle classique Chapitre 4 J Répéter 8 fois finrépéter Set 08 STOR _B _boucle: fin LOAD _B SUBI 01 STOR _B TSTN _suite _boucle _suite: fin Pour A de 3 à 8 finpour Set 08 STOR _B Set 03 STOR _A _boucle: fin LOAD _A ADDI 01 STOR _A SUB _B TSTN _suite _boucle _suite: fin