1 | \documentclass[11pt,a4paper]{article} |
---|
2 | |
---|
3 | \usepackage[french]{babel} |
---|
4 | \usepackage[utf8x]{inputenc} |
---|
5 | \usepackage{times} |
---|
6 | \usepackage[T1]{fontenc} |
---|
7 | \usepackage{aeguill} |
---|
8 | \usepackage{verbatim} |
---|
9 | \usepackage{algorithm,algorithmic} |
---|
10 | \usepackage{xmpmulti} |
---|
11 | \usepackage{graphicx} |
---|
12 | \usepackage{color} |
---|
13 | |
---|
14 | \definecolor{gris25}{gray}{0.75} |
---|
15 | \definecolor{gris75}{gray}{0.30} |
---|
16 | |
---|
17 | |
---|
18 | \begin{document} |
---|
19 | |
---|
20 | \section {IRISA-WP} |
---|
21 | |
---|
22 | \subsection{Work Package 1 : Un compilateur reciblable pour MIPS étendu} |
---|
23 | |
---|
24 | Délivrable : software |
---|
25 | |
---|
26 | Implémentation d'un back-end de compilation ciblant une version étendue du processeurs MIPS, et |
---|
27 | opérant à partir de la représentation intermédiaire commune définie en \ref{?} et issue de GCC. |
---|
28 | Ce \emph{back-end} intÚgrera en particulier des passes d'extraction de motifs de calculs |
---|
29 | (sous-graphes), ainsi une passe de sélection d'intructions basée sur des techniques de couvertures |
---|
30 | de graphes, permettant d'exploiter au mieux les motifs d'instruction ``spécialisés'' spécifiés |
---|
31 | par l'utilisateur et/ou extraits à partir de l'application. |
---|
32 | \textcolor{gris75}{Ici, il faut voir sir la RI prposée ne permettrait pas de regénérer un code |
---|
33 | C dans lequel l'utilisation d'instruction spécialisée se fait au travers de directives de type |
---|
34 | \texttt{asm\{ \ldots \}} . une telle approche offrirait une flexibilité accrue, sans |
---|
35 | impacter la qualité/performance des résultats obtenus.} |
---|
36 | |
---|
37 | \subsection{Work Package 2 : Définition d'un modÚle simplifié de micro-architecture MIPS extensible} |
---|
38 | |
---|
39 | Délivrable : software |
---|
40 | |
---|
41 | Définition d'un modÚle extensible de micro-architecture basée sur un processeur de type MIPS |
---|
42 | pipeliné à 5 étage (incluant cache de données et instruction), offrant à l'utilisateur |
---|
43 | la possibilité de définir ses propres extensions architecturales, au travers d'un Domain |
---|
44 | Specific Language (on exploitera les technologies d'IDM XText-EMF). |
---|
45 | |
---|
46 | On mettra également en {\oe}uvre un outil de génératiion de description matérielle synthétisable |
---|
47 | (VHDL) de la micro-architecture à partir de ce modÚle, en utilisant des techonologies d'Ingénierie |
---|
48 | dirigée par les modÚles (EMF-XPAND) |
---|
49 | |
---|
50 | Deux version de cet outil sont envisagées, dans la premiÚre (qui est l'object de ce WP), on |
---|
51 | restreindra les possibilités de communication entre le processeur et ses extension à des communictaion passant par la file de |
---|
52 | regsitre du processeur (en permettant éventuellement un plus grand nombre d'accÚs en |
---|
53 | lecture.écriture par cycle). |
---|
54 | |
---|
55 | \subsection{Work Package 3 : Définition d'un modÚle complexe de micro-architecture MIPS extensible} |
---|
56 | |
---|
57 | Délivrable : rapport/software ? |
---|
58 | |
---|
59 | Dans la seconde version (plus orientée exploratoire) on souhaite pouvoir lever la limitaion portant |
---|
60 | sur les communications et permettre un couplage plus fin entre les extensions et le coeur de la |
---|
61 | micro-rachgitcture, par exemple, en proposant un accÚs direct au cache de données et/ou en donnant |
---|
62 | la possibiliteé aux extensions de réutiliser les opérateurs (par exemple le multiplieur |
---|
63 | $32 \times 32$ \, bits) mis en oeuvre dans le chemin de donnée natif du processeur. |
---|
64 | |
---|
65 | Ici on pourrait également envisager des connections directes avec d'autres composants au travers de |
---|
66 | structures similaire aux \emph{FSL} disponibles sur les processeurs softcore Microblaze de la |
---|
67 | société Xilinx. |
---|
68 | |
---|
69 | \subsection{Work Package 4 : Définition d'un modÚle complexe de micro-architecture MIPS extensible} |
---|
70 | |
---|
71 | Délivrable : rapport |
---|
72 | |
---|
73 | Le dernier \emph{package} a également un caractÚre exploratoire, et portera sur l'intégration de ce |
---|
74 | type d'extension architecturales au sein d'un compilateur. En particulier, il s'agira d'étudier |
---|
75 | comment il est possible d'intégrer ces instructions complexes dans la passe de selection de code, |
---|
76 | tout en s'assurant que leur contraintes d'utilisation soient respectées. |
---|
77 | |
---|
78 | |
---|
79 | \end{document} |
---|