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

Jaromír BRAMBOR4.5. MODÈLE FORMEL DU TRAITEMENT EN PIPELINE GRAPHIQUE4.5.2.5 Opération du framebufferLes opérations du pipeline graphique qui sont regroupées dans notre diagramme de blocs, fig. 3.18,page 52, sous le nom Raster opérations constitue, en effet, un bloc fonctionnel tout entier qui traiteles fragments, les convertit en pixels et se charge de leur fusion avec le contenu déjà présent dans leframebuffer.La manière dont l’information d’un fragment est fusionnée avec les données du framebuffer peut êtreconfigurée par l’utilisateur et nous pouvons, si notre matériel dispose de telles capacités, avoir égalementles fonctionnalités de post-traitement des pixels plus ou moins complexes.Nous avons regroupé toutes ces opérations dans un bloc que nous avons nommé raster processormais qui ne correspond pas sur les GPU à un vrai processeur mais plutôt à un certain nombre des blocsfonctionnels qui sont enchaînés dans un pipeline et dont la fonction peut être activée par l’utilisateur.Pour suivre la même logique que pour le vertex processeur et le fragment processeur, nous définissonsle raster processeur par la fonction rprocessor. Elle prend un programme RProg comme paramètreet englobe tous les blocs de post-traitement travaillant avec les informations du framebuffer dans uneseule fonction du Haskell :rprocessor :: Env → RProg→ FB → [ F ] → FBrprocessor e rp fb fs = foldl (rp$e) fb fsCe processeur peut obtenir des paramètres de configuration de l’environnement Env et applique le programmeRProg sur tous les fragments du stream d’entrée [F] en utilisant les données du framebuffer FB.Le raster programme se charge également de l’écriture d’un nouveau pixel issu de ces opérations dansle framebuffer. La fonction du Haskell foldl qui est utilisée ici est parfaitement convenable pour notretravail. Elle correspond à la réduction du stream par une fonction dont les arguments sont de deux typesdifférents et qui est parfaitement convenable pour notre travail.Nous présentons ici la signature de type RProg du raster programme, la définition précise sera spécifiéeultérieurement selon les besoins particuliers de nos algorithmes.type RProg :: ( Env → FB → F → FB)4.5.3 Modèle du pipeline graphique des GPUNous assemblons un modèle mathématique du pipeline graphique à partir des primitives du calculque l’on vient de présenter. Ainsi, le pipeline graphique est défini comme fonction pipeGPU qui enchaînedans une séquence de traitement le vertex processeur vprocessor, rastériseur ras, fragment processeurfprocessor, et les opérations du framebuffer exprimées par un processeur abstrait rprocessor. Un nouveauframebuffer issu de notre calcul est incorporé dans l’environnement de sortie de ce pipeline par lafonction refreshFB.pipeGPU :: VProg → Rasterizer → FProg → RProg→ Commands → Env → EnvpipeGPU vp ras fp rp (ss, vs ) e =(refreshFB e)◦ (rprocessor e rp (getFB e))◦ (fprocessor e fp )◦ (ras e)$ (ss, (vprocessor e vp) vs )Le comportement de ce pipeline est modifiable par les fonctions passées comme arguments de ce pipeline.VProg définit le programme du vertex processeur, ras définit la manière exacte de rastérisation desformes géométriques, FProg définit le programme du fragment processeur, RProg définit le fonctionnementdes opérations sur le framebuffer et la manière dont les fragments sont transformés en pixels etdont les pixels sont fusionnés avec les données dans le framebuffer.83