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

Algorithmes de la morphologie mathématique pour les architectures orientées fluxJaromír BRAMBORdes GPU nous permettent de connecter plusieurs objets (plusieurs types de zones de mémoire) à la sortiedu pipeline graphique et d’avoir ainsi plusieurs possibilités de stockage des résultats.Les objets qui peuvent être connectés à un framebuffer sont appelés Framebuffer objects et nousdéfinissons un type FBO pour ce but. Il s’agit d’un array de 2D dont les éléments sont du type tfbo.type FBO tf bo = Ar ( I , I ) tf boLe type tfbo est un paramètre dans cette définition et il nous permettra de distinguer les instances desobjets du framebuffer qui diffèrent dans les types d’éléments. Parmi d’autres, nous allons utiliser lesFBO aussi pour le rendu dans les textures, dont la définition est très proche et diffère seulement dans laspécialisation du type pour les couleurs, cf. 4.5.1.3, page 78.Le Framebuffer, qu’il ne faut pas confondre avec le framebuffer object, doit contenir au moins unobjet FBO correspondant à la couleur et où le pipeline graphique pourrait écrire les résultats. Ainsi, nousdéfinissons un framebuffer FB comme :type FB = ( Ar I (FBO C ) , [FBO Dpth ] )Le premier élément de ce tuple est un array des FBO dont le type est la couleur C. Puisque un array doitcontenir au moins un élément, son utilisation ici est convenable. En revanche, le deuxième élément estdéfini par une liste qui peut être soit vide, soit contenir exactement un élément FBO dont le type est laprofondeur Dpth. Cette liste exprime la possibilité, mais pas l’obligation, de connecter au framebuffer latexture de profondeur.Un pixel est le résultat du traitement des fragments et il sera inscrit dans les objets du framebufferexprimant la couleur : (FBO C). Le type d’un pixel va ainsi contenir au moins une information sur lacouleur. Il peut aussi contenir plusieurs informations sur la couleur si le framebuffer contient égalementplus d’un objet (FBO C). C’est, en effet, le cas du rendu dans plusieurs textures. Un pixel contientégalement une information sur la position 2D, exprimée par le type P. En contraste des fragments, il necontient aucune information sur la profondeur car il s’agit d’un point coloré dans l’image. Un pixel PXest définit comme :type PX = ( P , Ar I C )4.5.1.8 Type pour l’environnement de travailLe pipeline graphique correspond à une architecture du calcul. Il est entouré, parmi d’autres, par lamémoire qui nous sert à stocker les images. L’environnement de travail du pipeline graphique est définipour les besoins de notre traitement par le type Env et nous y incluons le framebuffer FB et les texturesTX exprimés par une liste. Cette liste peut contenir plusieurs textures mais peut être vide dans le cas oùnous ne travaillerions pas avec les textures.type Env = (FB, [ TX ] )Pour pouvoir ré-inclure les résultats de traitement perçus comme un nouveau framebuffer FB, nousdéfinissons une fonction refreshFB de mise à jour du framebuffer dans l’environnement Env :refreshFB :: Env → FB → EnvrefreshFB (_, txs) fb = ( fb , txs)qui insère le framebuffer, passé par l’argument fb, dans l’environnement sortant de cette fonction.Nous utiliserons par la suite la fonction de création de l’environnement mkEnv, cf. définition exacteen Annexe B, page 202. Et nous utiliserons aussi deux fonctions de manipulation, getTXs et getFB, dontles définitions exactes sont présentées également en Annexe B, page 202.4.5.1.9 Les commandes graphiquesLes commandes passés au GPU, exprimées par le type Commands, ont la forme des primitives graphiques,exprimés par le type Shape qui spécifie le modèle de la forme. Ce modèle est complété par les80