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

Algorithmes de la morphologie mathématique pour les architectures orientées fluxJaromír BRAMBORdécrit par un programme VProg qui est exécuté sur chaque vertex du stream d’entrée. Ce programmepeut obtenir certains paramètres globaux à partir de l’environnement de travail Env ou il peut obtenir desdonnées à partir des textures (stockées dans l’environement Env).vprocessor :: Env → VProg → [ V ] → [ V ]vprocessor e vp vs = map (vp $ e) vsLe vertex programme lui-même est défini comme une fonction du type VProg qui est connectéeà l’environnement Env et qui effectue une opération sur un vertex V. Le type V du vertex constitueégalement le type de sa valeur de sortie. Nous ne donnons ici que la signature de type VProg du vertexprogramme car c’est ce programme qui exprime la capacité de programmation des GPU et nous allonsle définir spécifiquement pour chacun de nos algorithmes.type VProg = ( Env → V → V )Comme un exemple trivial d’un vertex programme, nous présentons la fonction vpid d’identité quine modifie pas le vertex d’entrée et le retourne aussitôt :vpid :: Env → V → Vvpid e v = v4.5.2.3 Rastérisation des primitives géométriquesUn autre bloc fonctionnel dans le pipeline graphique est le rastériseur. Il s’agit de l’unité qui créeles fragments à partir des données décrivant une forme géométrique. Nous le définissons formellementcomme fonction du type Rasterizer qui est connectée à l’environnement Env et qui prend comme argumentun tuple composé du flux des valeurs de la forme géométrique et du flux de vertex, ([Shape], [V]).Les fonctions de ce type extraient, selon les valeurs concrètes décrivant la forme, un nombre défini devertex [V]. La sortie de ce bloc est, bien sûr, le flux des fragments [F] dérivés de cette forme.type Rasterizer = ( Env → ( [ Shape ] , [ V ] ) → [ F ] )Nous ne donnons à cette place que la signature de type Rasterizer d’un rastériseur. C’est dû au fait que lerastériseur est également une unité configurable. Par conséquent, les fonctions de ce type seront définiesdans nos algorithmes et elles vont correspondre à la configuration particulière de cette unité.4.5.2.4 Traitement des fragmentsL’unité de traitement des fragments, appelée processeur des fragments, est définie d’une façon similaireau processeur des vertex (dans 4.5.2.2, page 81). Le processeur des fragments est modelé par lafonction fprocessor qui exécute un fragment programme FProg sur un flux d’entrée des fragments [F].Ce processeur peut obtenir des données supplémentaires à partir de l’environnement de travail Env ce quise présente comme la capacité d’échantillonner les textures. Le processeur de traitement des fragments apour résultat également un flux des fragments [F].fprocessor :: Env → FProg → [ F ] → [ F ]fprocessor e fp fs = map ( fp $ e) fsLe fragment programme est une fonction du type FProg :type FProg = ( Env → F → F )Nous ne présentons que la signature de type pour les fragment programmes. Les fonctions seront définiesspécifiquement pour chaque algorithmes en assurant la fonctionnalité convenable à notre cas d’utilisation.Le programme trivial d’un fragment programme est le programme d’identité fpid qui ne modifierien sur le fragment d’entrée et le retourne inchangé aussitôt.fpid :: Env → F → Ffpid e f = f82