Assembly Code Analysis Using Stochastic Process Algebra

被引：0
|
作者：
Djoudi, Lamia [1 ]
Kloul, Leila [1 ]
机构：
[1] Univ Versailles, PRiSM, F-78000 Versailles, France
来源：
COMPUTER PERFORMANCE ENGINEERING, PROCEEDINGS | 2008年 / 5261卷
关键词：
Assembly code; Code optimisation; Data dependencies graph; Stochastic process algebra; Performance analysis;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：95 / 109
页数：15
相关论文
共 50 条
  • [1] Analysis of a multimedia stream using stochastic process algebra
    Bowman, H
    Bryans, JW
    Derrick, J
    [J]. COMPUTER JOURNAL, 2001, 44 (04): : 230 - 245
  • [2] Modeling and Analysis for Supply Chain Using Stochastic Process Algebra
    Yong-Tao Huang
    Min Lv
    Gang Wang
    Bing-Yin Ren
    Hao-Yun Zhang
    [J]. Journal of Harbin Institute of Technology(New series), 2014, (06) : 74 - 80
  • [3] Modeling and Analysis for Supply Chain Using Stochastic Process Algebra
    YongTao Huang
    Min Lv
    Gang Wang
    BingYin Ren
    HaoYun Zhang
    [J]. Journal of Harbin Institute of Technology., 2014, 21 (06) - 80
  • [4] Structural Analysis for Stochastic Process Algebra Models
    Ding, Jie
    Hillston, Jane
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 2011, 6486 : 1 - +
  • [5] Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA
    Xian Yang
    Rui Han
    Yike Guo
    Jeremy Bradley
    Benita Cox
    Robert Dickinson
    Richard Kitney
    [J]. BMC Bioinformatics, 13
  • [6] Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA
    Yang, Xian
    Han, Rui
    Guo, Yike
    Bradley, Jeremy
    Cox, Benita
    Dickinson, Robert
    Kitney, Richard
    [J]. BMC BIOINFORMATICS, 2012, 13
  • [7] Stochastic Process Algebra and Stability Analysis of Collective Systems
    Bortolussi, Luca
    Latella, Diego
    Massink, Mieke
    [J]. COORDINATION MODELS AND LANGUAGES, COORDINATION 2013, 2013, 7890 : 1 - 15
  • [8] Higher Moment Analysis of a Spatial Stochastic Process Algebra
    Guenther, Marcel C.
    Bradley, Jeremy T.
    [J]. COMPUTER PERFORMANCE ENGINEERING, 2011, 6977 : 87 - 101
  • [9] An example of performance evaluation by using the stochastic process algebra: ROSA
    Pelayo, FL
    Cuartero, F
    Valero, V
    Cazorla, D
    [J]. SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 271 - 278
  • [10] Integrated Analysis from Abstract Stochastic Process Algebra Models
    Hillston, Jane
    Ciocchetta, Federica
    Duguid, Adam
    Gilmore, Stephen
    [J]. COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS, 2008, 5307 : 2 - 4
12345