Algorithmes de la morphologie mathématique pour - Pastel - HAL

Algorithmes de la morphologie mathématique pour les architectures orientées fluxJaromír BRAMBORNous y évaluons d’abord les résultats lo et hi de nivellements partiels en utilisant la fonction lolevelSQR4des sous-nivellements et la fonction hilevelSQR4 des sur-nivellements. L’expression λ définit sur placela fonction de composition SIMD des nivellements en utilisant la fonction testSIMD (cf. sa définition,page 202) qui crée un vecteur paqueté du masque que l’on utilise aussitôt dans la fonction de déplacementconditionnel cndmoveSIMD (cf. sa définition, page 203). Cette construction est une techniquecourante pour exprimer l’expression conditionnelle if then else pour les données SIMD.La fonction map2 applique la fonction λ sur les éléments de deux streams. Les fonctions mkAr2DPVecet mkAr2DFromAr2DPVec sont utilisées pour vectoriser et dé-vectoriser les arrays, respectivement, etles fonction elems et listArray sont les fonctions standards du Haskell pour le passage d’un array à unstream et vice versa, respectivement.7.4 Approche utilisant les macro blocs avec la transposition directeLe skeleton algorithmique de propagation propAlgSQR4 que nous avons utilisé jusqu’à présentn’employait la transposition de données qu’après avoir accompli les phases entières de la propagation.Pour pouvoir plus profiter de la localité des données lors du parcours de l’image, nous pouvons envisagerla construction des algorithmes qui travailleraient à l’échelle des macro blocs dont la taille serait égale àla taille du registre multimédia de notre architecture et où nous effectuerions deux phases de propagationet une transposition par diagonale en même temps sans avoir besoin d’écrire les données dans la mémoireprincipale.Le principe de cette technique est illustré par la fig. 7.10 qui présente la chaîne de traitement avecles données représentées en tant que flux et les opérations qui sont effectuées sur ces données en tantque kernels d’exécution. Nous n’allons pas donner de description formelle à cette technique à l’échellede l’image toute entière. Nous présentons seulement le principe de fonctionnement de cette approche àl’échelle de macro bloc car nous pensons que sa description formelle peut être déduite à partir du stylede travail que nous avons présenté pour le skeleton propAlgSQR4.Macro blocd’entréeMacro blocaprès la propagationMacro bloc aprèsla transposition par diagonaleMacro bloc résultantaprès la propagationVHA 1B 1C 1D 1A 2B 2C 2D 2HHB 1B 2B N-1B NA N-1B N-1C N-1D N-1A NB NC ND NV 2H 2A NVA 1mfoldl B NB 1tr2DDiagNxPVecNbf C NHC 1 mfoldl D ND 1H 2FIG. 7.10 : La chaîne de traitement d’un macro bloc où la première propagation est suivie directement par latransposition par diagonale et par la deuxième propagationTout d’abord, nous appliquons la première phase de propagation (verticale), exprimée par la fonctionmfoldl. Cette fonction utilise l’élément V comme entrée pour la propagation. Cet élément correspond158