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

Jaromír BRAMBOR4.5. MODÈLE FORMEL DU TRAITEMENT EN PIPELINE GRAPHIQUESi nous travaillons avec plusieurs textures à la fois stockées dans un array, nous aurons besoin d’unindex pour y accéder. Nous définissons ainsi un type TXI destiné à ce travail en nous basant sur le typed’indexation I, cf. 4.3.1.1, page 64 :type TXI = I4.5.1.4 Type pour les primitives de la formeNous allons travailler avec certaines formes géométriques pour passer les commandes graphiquesdans les unités de calcul d’un GPU. Il s’agit précisément d’un rectangle (Rect), d’une ligne (Line) etd’un point (Point). Pour les stocker, nous avons défini un type énumératif Shape :data Shape = Rect | Line | Point4.5.1.5 Types pour les vertexLes vertex constituent un des piliers de traitement sur les GPU. Ce sont les structures de donnéesutilisées pour stocker les informations relatives au traitement des vertex dans le pipeline graphique.Formellement, nous définissons un vertex comme une structure composée, qui doit contenir obligatoirementun point P exprimant la position dans l’espace 2D ou 3D. Il peut contenir une éventuelleinformation sur la couleur représentée, soit par la liste vide dans le cas où le vertex ne possède pasd’information de couleur, soit par la liste des tuples (CI,C). L’index CI, est utilisé pour distinguer lesdonnées lors du travail avec plusieurs couleurs mais aussi pour mettre la couleur en correspondance avecles plans de rendu si nous utilisons le pipeline graphique pour le rendu dans plusieurs textures (angl.render to multiple textures). Un vertex peut contenir également aucune, une ou plusieurs information surles données stockées dans les textures exprimées par la liste des tuples (TXI, TXP). L’index TXI identifiela texture, la position TXP identifie la position d’un élément dans cette texture.Dans le formalisme fonctionnel, un vertex V est défini comme :type V = ( P , [ ( CI , C ) ] , [ ( TXI , TXP) ] )Nous utiliserons également une fonction de manipulation mkV qui crée un vertex à partir de sescomposantes et dont la définition exacte est présenté en Annexe B, page 202.4.5.1.6 Type pour les fragmentsLes fragments constituent également un pilier de traitement sur les GPU. Ce sont les structures dedonnées qui stockent l’information relative au traitement des fragments dans le pipeline graphique.Un fragment est une donnée composée qui contient obligatoirement un point P de position 2D àl’écran et la profondeur du fragment Dpth. En effet, il contient encore l’information 3D à travers la profondeur.À ces données nous ajoutons, de la même façon que l’on a fait pour les vertex, des informationssur la couleur en utilisant la liste des tuples (CI,C) et des informations sur les données stockées dans lestextures en utilisant la liste des tuples (TXI, TXP).Ainsi, nous définissons le type F d’un fragment comme :type F = ( P , Dpth , [ ( CI , C ) ] , [ ( TXI , TXP) ] )Nous utiliserons aussi une fonction de manipulation mkF qui crée un fragment à partir de ses composanteset dont la définition exacte est présentée en Annexe B, page 202.4.5.1.7 Types pour le framebufferLe framebuffer est une structure dans laquelle le pipeline graphique écrit les pixels à la fin du traitement,nous pouvons dire que c’est une mémoire de sortie. De nos jours, les possibilités de programmation79