NOTICE: A Framework for Non-functional Testing of Compilers

Mohamed Boussaa 1 Olivier Barais 1 Benoit Baudry 1 Gerson Sunyé 2
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 AtlanModels - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : —Generally, compiler users apply different optimizations to generate efficient code with respect to non-functional properties such as energy consumption, execution time, etc. However, due to the huge number of optimizations provided by modern compilers, finding the best optimization sequence for a specific objective and a given program is more and more challenging. This paper proposes NOTICE, a component-based framework for non-functional testing of compilers through the monitoring of generated code in a controlled sand-boxing environment. We evaluate the effectiveness of our approach by verifying the optimizations performed by the GCC compiler. Our experimental results show that our approach is able to auto-tune compilers according to user requirements and construct optimizations that yield to better performance results than standard optimization levels. We also demonstrate that NOTICE can be used to automatically construct optimization levels that represent optimal trade-offs between multiple non-functional properties such as execution time and resource usage requirements.
Type de document :
Communication dans un congrès
2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016), Aug 2016, Vienna, Austria. IEEE Computer Society Conference Publishing Services (CPS)
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01344835
Contributeur : Mohamed Boussaa <>
Soumis le : mardi 12 juillet 2016 - 16:29:37
Dernière modification le : mercredi 2 août 2017 - 10:06:57

Fichier

QRS2016.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01344835, version 1

Citation

Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé. NOTICE: A Framework for Non-functional Testing of Compilers. 2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016), Aug 2016, Vienna, Austria. IEEE Computer Society Conference Publishing Services (CPS). 〈hal-01344835〉

Partager

Métriques

Consultations de
la notice

696

Téléchargements du document

175