Skip to Main content Skip to Navigation
Theses

Runtime Optimization of Binary Through Vectorization Transformations

Nabil Hallou 1
1 PACAP - Pushing Architecture and Compilation for Application Performance
Inria Rennes – Bretagne Atlantique , IRISA-D3 - ARCHITECTURE
Résumé : Dans plusieurs cas, les applications ne sont pas optimisées pour le matériel sur lequel elles s’exécutent. De nombreuses raisons contribuent à cette situation insatisfaisante, comme les logiciels hérités, ou code commercial distribué sous forme binaire, ou le déploiement des prgrammes dans des fermes de calcul. On se concentre sur la maximisation de l’efficacité du processeur pour les extensions SIMD. Dans la première contribution, nous montrons que de nombreuses boucles compilées pour x86 SSE peuvent être converties dynamiquement en versions AVX plus récentes et plus puissantes; Ainsi que la façon dont l’exactitude est maintenue en ce qui concerne les défis tels que les dépendances de données et les réductions. Nous obtenons des accélérations conformes à celles d’un compilateur natif ciblant AVX. La deuxième contribution est la vectorisation en temps réel des boucles scalaires. Nous avons intégrés logiciels libres pour (1) soulever dynamiquement le binaire x86 vers la forme de représentation intermédiaire du compilateur LLVM, (2) abstraire les boucles fréquemment exécutées dans le modèle polyédrique, (3) utiliser la puissance de ce model mathématique pour les vectoriser, et (4) enfin les compiler en utilisant le compilateur Just-In-Time de LLVM. Les accélérations obtenues sont proches du nombre d’éléments pouvant être traités simultanément par l’unité SIMD. Notre plate-forme d’optimisation est dynamique; elle ne nécessite aucune réécriture des binaires et fonctionne pendant l’exécution du programme.
Document type :
Theses
Complete list of metadatas

Cited literature [71 references]  Display  Hide  Download

https://hal.inria.fr/tel-01672263
Contributor : Erven Rohou <>
Submitted on : Saturday, December 23, 2017 - 5:51:43 PM
Last modification on : Saturday, July 11, 2020 - 3:15:01 AM

File

RuntimeOptimizationOfBinaryThr...
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01672263, version 1

Citation

Nabil Hallou. Runtime Optimization of Binary Through Vectorization Transformations. Other [cs.OH]. Université de Rennes 1 [UR1], 2017. English. ⟨tel-01672263⟩

Share

Metrics

Record views

295

Files downloads

372