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

Algorithmes de la morphologie mathématique pour les architectures orientées fluxJaromír BRAMBORFonction mkV de création d’un vertexLa fonction mkV crée un vertex à partir de ses composantes. La fonction (, , ) prend trois paramètres etcrée un triplet.mkV :: P → [ ( CI , C ) ] → [ ( TXI , TXP) ] → VmkV p cs xps = ( ,, ) p cs xpsFonction mkF de création d’un fragmentLa fonction mkF crée un fragment à partir de ses composantes. La fonction (, , , ) prend quatre paramètreset crée un quadruplet.mkF :: P → Dpth → [ ( CI , C ) ] → [ ( TXI , TXP) ] → FmkF p d cs xps = ( ,,, ) p d cs xpsFonction mkEnv de création de l’environnement du pipeline graphiqueLa fonction mkEnv crée, à partir d’un framebuffer FB et d’une liste des textures TX , l’environnementdu travail Env du GPU :mkEnv :: FB → [ TX ] → EnvmkEnv fb txs = ( , ) fb txsFonctions getTXs, getFB de manipulation de l’environnementLa fonction getTXs retourne la liste des textures [TX] à partir de l’environnement Env du pipeline graphique:getTXs :: Env → [ TX ]getTXs (_, txs) = txsLa fonction getFB retourne le framebuffer FB à partir de l’environnement Env :getFB :: Env → FBgetFB ( fb , _) = fbDimension des arrays, fonctions dimsAr1D et dimsAr2DLa fonction dimsAr1D retourne la taille d’un vecteur PVec ou d’un array 1D :dimsAr1D :: Ar I α → IdimsAr1D ar = q−p+1where (p,q) = bounds $ ar ;La fonction dimsAr2D retourne un tuple correspondant aux dimensions d’un array 2D dans la premièreet deuxième coordonnée, respectivement :dimsAr2D :: Ar ( I , I ) α → ( I , I )dimsAr2D ar = (r−p+1, s−q+1)where ( (p,q), (r ,s) ) = bounds $ ar ;Tests SIMD et déplacement conditionnel SIMDPour pouvoir assurer l’évaluation des expressions conditionnelles en SIMD, nous définissons la fonctionde test testSIMD qui applique la fonction cnd du test logique entre chaque élément des deux vecteurspaquetés pv 1 et pv 2 . Le résultat de cette fonction est un masque représenté par un vecteur paquetédont les éléments sont les valeurs booléennes et qui contiennent soit la valeur True, soit la valeur Falsedans le cas où le test a réussi ou échoué, respectivement.202