Changes between Version 1 and Version 2 of Partiel2016
- Timestamp:
- Oct 31, 2018, 12:04:35 PM (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Partiel2016
v1 v2 1 1 2 = = '''Architecture des processeurs et optimisation'''==2 = Architecture des processeurs et optimisation = 3 3 4 4 5 == '''Novembre 2016 Documents autorisés - Durée 2h'''==5 == Novembre 2016 Documents autorisés - Durée 2h == 6 6 7 7 8 == '''utiliser impérativement les feuilles quadrillées fournies pour les schémas simplifiés''' == 8 '''utiliser impérativement les feuilles quadrillées fournies pour les schémas simplifiés''' 9 9 10 10 11 == '''Une réponse non justifiée sera considérée comme fausse''' == 11 '''Une réponse non justifiée sera considérée comme fausse''' 12 12 13 13 14 14 15 15 On souhaite comparer deux réalisations de l’architecture Mips-32. 16 La première réalisation, appelée '''Mips''', est la réalisation en 5 étages ('''IFC''', '''DEC''', '''EXE''', '''MEM''' et '''WBK''') étudiée en cours.[[BR]]16 La première réalisation, appelée `Mips`, est la réalisation en 5 étages (`IFC`, `DEC`, `EXE`, `MEM` et `WBK`) étudiée en cours.[[BR]] 17 17 18 La seconde réalisation, appelée '''MipsO''', est également une réalisation en 5 étages : '''IFC''', '''DEC''', '''EXE''', '''MEM''' et '''WBK'''. Les étages '''MipsO''' sont identiques à ceux de '''Mips'''.[[BR]]18 La seconde réalisation, appelée `MipsO`, est également une réalisation en 5 étages : `IFC`, `DEC`, `EXE`, `MEM` et `WBK`. Les étages `MipsO` sont identiques à ceux de `Mips`.[[BR]] 19 19 20 L’objectif de cette comparaison est d’étudier l’impact de la mise en place de bypass impliquant les instructions de type load. En effet, dans '''Mips''', lorsqu’une instruction load est suivie par une instruction qui dépend du résultat du load, des bypass permettent d’éviter des cycles de gel. Ces bypass récupèrent l’opérande mémoire lu par l’instruction load dans son étage '''MEM'''et l’achemine vers l’instruction qui a besoin de cet opérande.[[BR]]20 L’objectif de cette comparaison est d’étudier l’impact de la mise en place de bypass impliquant les instructions de type load. En effet, dans `Mips`, lorsqu’une instruction load est suivie par une instruction qui dépend du résultat du load, des bypass permettent d’éviter des cycles de gel. Ces bypass récupèrent l’opérande mémoire lu par l’instruction load dans son étage `MEM` et l’achemine vers l’instruction qui a besoin de cet opérande.[[BR]] 21 21 22 On souhaite étudier l’impact de la suppression de ces bypass dans la réalisation '''MipsO'''.[[BR]]22 On souhaite étudier l’impact de la suppression de ces bypass dans la réalisation `MipsO`.[[BR]] 23 23 24 1- Si l’on ignore les techniques d’optimisation, un compilateur pour '''MipsO''' est-il différent d’un compilateur pour '''Mips'''?[[BR]]24 1- Si l’on ignore les techniques d’optimisation, un compilateur pour `MipsO` est-il différent d’un compilateur pour `Mips` ?[[BR]] 25 25 26 26 2- Dans une réalisation encore plus simplifiée du processeur, les dépendances de données sur le résultat des instructions load ne sont pas gérées par le matériel ni en ce qui concerne les bypass ni pour la génération des cycles de gel. Cette simplification a-t-elle un impact sur le compilateur ? [[BR]] 27 27 28 3- Dans MipsO, on supprimant les bypass sur les opérandes mémoire, on espère augmenter la fréquence de fonctionnement du processeur. Expliquer pourquoi peut-on obtenir une telle amélioration ?[[BR]]28 3- Dans `MipsO`, on supprimant les bypass sur les opérandes mémoire, on espère augmenter la fréquence de fonctionnement du processeur. Expliquer pourquoi peut-on obtenir une telle amélioration ?[[BR]] 29 29 30 4- Dans Mips il existe 8 bypass pour limiter la dégradation des performances due aux dépendances de données. Quels sont les bypass dans la réalisation '''MipsO'''? Justifier votre réponse à l’aide de schémas simplifiés. Pour chaque bypass donner un exemple de suite d'instructions qui illustre la nécessité de ce bypass.[[BR]]30 4- Dans `Mips`, il existe 8 bypass pour limiter la dégradation des performances due aux dépendances de données. Quels sont les bypass dans la réalisation `MipsO` ? Justifier votre réponse à l’aide de schémas simplifiés. Pour chaque bypass donner un exemple de suite d'instructions qui illustre la nécessité de ce bypass.[[BR]] 31 31 32 32 … … 42 42 43 43 {{{ 44 #!C 44 45 unsigned char *neg_msk (unsigned char *pt_img, 45 46 unsigned char *pt_msk, … … 58 59 59 60 60 Un compilateur (non pipeline) a produit le code assembleur suivant pour la boucle principale de cette fonction. On suppose qu'à l'entrée de la boucle le registre R4 contient l'adresse du tableau pt_img, R5 l'adresse du tableau pt_msk et le registre R6 l’adresse de fin du tableau pt_img (l'adresse qui suit immédiatement celle de la dernière case du tableau). Le registre R7contient la valeur 255.[[BR]]61 Un compilateur (non pipeline) a produit le code assembleur suivant pour la boucle principale de cette fonction. On suppose qu'à l'entrée de la boucle le registre `R4` contient l'adresse du tableau ''pt_img'', `R5` l'adresse du tableau ''pt_msk'' et le registre `R6` l’adresse de fin du tableau ''pt_img'' (l'adresse qui suit immédiatement celle de la dernière case du tableau). Le registre `R7` contient la valeur 255.[[BR]] 61 62 62 63 Version 1 :[[BR]] 63 64 64 65 {{{ 65 66 #!asm 66 67 _For : Lbu r7 , 0 (r5 ) ; pt_msk[i] 67 68 Bne r7 , r0 , _Endif … … 76 77 77 78 78 5- Modifier le code pour qu’il soit exécutable sur '''Mips'''et analyser l’exécution de la boucle à l’aide d’un schéma simplifié dans le cas où le branchement échoue (faire figurer les bypass sur le schéma). Combien de cycles sont-ils nécessaires à l’exécution d’une itération de la boucle dans le cas où le branchement échoue et dans le cas où le branchement réussit ? Calculer le CPI et le CPI-utile en supposant que dans 25% des cas le branchement échoue.[[BR]]79 5- Modifier le code pour qu’il soit exécutable sur `Mips` et analyser l’exécution de la boucle à l’aide d’un schéma simplifié dans le cas où le branchement échoue (faire figurer les bypass sur le schéma). Combien de cycles sont-ils nécessaires à l’exécution d’une itération de la boucle dans le cas où le branchement échoue et dans le cas où le branchement réussit ? Calculer le CPI et le CPI-utile en supposant que dans 25% des cas le branchement échoue.[[BR]] 79 80 80 6- Modifier le code pour qu’il soit exécutable sur '''MipsO'''et analyser l’exécution de la boucle à l’aide d’un schéma simplifié dans le cas où le branchement échoue (faire figurer les bypass sur le schéma). Combien de cycles sont-ils nécessaires à l’exécution d’une itération de la boucle dans le cas où le branchement échoue et dans le cas où le branchement réussit ? Calculer le CPI et le CPI-utile en supposant que dans 25% des cas le branchement échoue.[[BR]]81 6- Modifier le code pour qu’il soit exécutable sur `MipsO` et analyser l’exécution de la boucle à l’aide d’un schéma simplifié dans le cas où le branchement échoue (faire figurer les bypass sur le schéma). Combien de cycles sont-ils nécessaires à l’exécution d’une itération de la boucle dans le cas où le branchement échoue et dans le cas où le branchement réussit ? Calculer le CPI et le CPI-utile en supposant que dans 25% des cas le branchement échoue.[[BR]] 81 82 82 7- Optimiser le code de la boucle pour '''MipsO''' en modifiant l’ordre des instructions de manière à éviter au maximum les cycles perdus (expliquer votre démarche). Combien de cycles sont-ils nécessaires dans '''MipsO'''pour effectuer une itération ? Il n'est pas nécessaire de faire un schéma mais d'indiquer simplement les cycles perdus sur le code après optimisation.[[BR]]83 7- Optimiser le code de la boucle pour `MipsO` en modifiant l’ordre des instructions de manière à éviter au maximum les cycles perdus (expliquer votre démarche). Combien de cycles sont-ils nécessaires dans `MipsO` pour effectuer une itération ? Il n'est pas nécessaire de faire un schéma mais d'indiquer simplement les cycles perdus sur le code après optimisation.[[BR]] 83 84 84 Même question pour la réalisation '''Mips'''.[[BR]]85 Même question pour la réalisation `Mips`.[[BR]] 85 86 86 8- Pour améliorer les performances d’exécution, on décide de dérouler une fois le code de la boucle (traitement de 2 éléments à chaque itération). Proposer un code optimisé après le déroulement pour '''MipsO'''. Combien de cycles sont-ils nécessaires dans '''MipsO''' pour traiter un élément ? Il n'est pas nécessaire de faire un schéma mais d'indiquer simplement les cycles perdus sur le code après optimisation.[[BR]]87 8- Pour améliorer les performances d’exécution, on décide de dérouler une fois le code de la boucle (traitement de 2 éléments à chaque itération). Proposer un code optimisé après le déroulement pour `MipsO`. Combien de cycles sont-ils nécessaires dans '''MipsO''' pour traiter un élément ? Il n'est pas nécessaire de faire un schéma mais d'indiquer simplement les cycles perdus sur le code après optimisation.[[BR]] 87 88 88 Même question pour '''Mips'''.[[BR]]89 Même question pour `Mips`.[[BR]] 89 90 90 91 91 92 92 Un autre compilateur (non pipeline) a produit une version différente pour le code de la boucle en remarquant que lorsque l’on calcule sur 8 bits :[[BR]]93 Un autre compilateur (non pipeline) a produit une version différente pour le code de la boucle en remarquant que lorsque l’on calcule sur 8 bits ''255-x = not(x)'':[[BR]] 93 94 94 95 … … 96 97 97 98 {{{ 99 #!asm 98 100 _For : Lbu r7 , 0 (r5 ) ; pt_msk[i] 99 101 Lbu r8 , 0 (r4 ) ; pt_img[i] … … 106 108 107 109 108 9- Après adaptation du code de la version 2 à '''MipsO''', combien de cycles sont-ils nécessaires à l’exécution d’une itération de la boucle ? Calculer le CPI-utile. Il n'est pas nécessaire de faire un schéma mais d'indiquer simplement les cycles perdus sur le code.[[BR]]110 9- Après adaptation du code de la version 2 à `MipsO`, combien de cycles sont-ils nécessaires à l’exécution d’une itération de la boucle ? Calculer le CPI-utile. Il n'est pas nécessaire de faire un schéma mais d'indiquer simplement les cycles perdus sur le code.[[BR]] 109 111 110 Même question pour la réalisation '''Mips'''.[[BR]]112 Même question pour la réalisation `Mips`.[[BR]] 111 113 112 10- Optimiser le code de la boucle en modifiant l’ordre des instructions pour '''MipsO'''de manière à éviter au maximum les cycles perdus. Combien de cycles sont-ils nécessaires pour effectuer une itération ? Il n'est pas nécessaire de faire un schéma mais d'indiquer simplement les cycles perdus sur le code après optimisation.[[BR]]114 10- Optimiser le code de la boucle en modifiant l’ordre des instructions pour `MipsO` de manière à éviter au maximum les cycles perdus. Combien de cycles sont-ils nécessaires pour effectuer une itération ? Il n'est pas nécessaire de faire un schéma mais d'indiquer simplement les cycles perdus sur le code après optimisation.[[BR]] 113 115 114 Même question pour la réalisation '''Mips'''.[[BR]]116 Même question pour la réalisation `Mips`.[[BR]] 115 117 116 11- Pour améliorer les performances d’exécution, on décide de dérouler une fois le code de la boucle (traitement de 2 éléments à chaque itération). Proposer un code optimisé pour '''MipsO'''après le déroulement. Combien de cycles sont-ils nécessaires pour traiter un élément ? Il n'est pas nécessaire de faire un schéma mais d'indiquer simplement les cycles perdus sur le code après optimisation.[[BR]]118 11- Pour améliorer les performances d’exécution, on décide de dérouler une fois le code de la boucle (traitement de 2 éléments à chaque itération). Proposer un code optimisé pour `MipsO` après le déroulement. Combien de cycles sont-ils nécessaires pour traiter un élément ? Il n'est pas nécessaire de faire un schéma mais d'indiquer simplement les cycles perdus sur le code après optimisation.[[BR]] 117 119 118 Même question pour la réalisation '''Mips'''.[[BR]]120 Même question pour la réalisation `Mips`.[[BR]] 119 121 120 122 12- Pour chacune des 6 versions du code :[[BR]] 121 123 122 124 o Version 1 (code original, code réordonné, code déroulé)[[BR]] 123 124 125 o Version 2 (code original, code réordonné, code déroulé)[[BR]] 125 126 126 quel gain en fréquence doit-on obtenir pour que la réalisation '''MipsO''' soit plus performante que la réalisation '''Mips'''?127 quel gain en fréquence doit-on obtenir pour que la réalisation `MipsO` soit plus performante que la réalisation `Mips` ?
