Assembly Code Analysis Using Stochastic Process Algebra

  • Authors:
  • Lamia Djoudi;Leïla Kloul

  • Affiliations:
  • PRiSM, Université de Versailles, Versailles, 78000;PRiSM, Université de Versailles, Versailles, 78000

  • Venue:
  • EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
  • Year:
  • 2008
  • Passage-End Analysis

    EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering

Quantified Score

Hi-index 0.00

Visualization

Abstract

Currently compilers contain a large number of optimisations which are based on a set of heuristics that are not guaranteed to be effective to improve the performance metrics. In this paper, we propose a strategy which allows us the analysis and the choice of the best optimisation, by focusing on the hot part of an assembly code. In our approach, for each optimisation applied, the code of the hot loop is extracted and its dependency graph generated. Finally, and in order to select the best optimisation, the generated graphs are analytically analysed using stochastic process algebra.