Timing Analysis of Parallel Software Using Abstract Execution

被引：0
|
作者：
Gustavsson, Andreas [1 ]
Gustafsson, Jan [1 ]
Lisper, Bjoern [1 ]
机构：
[1] Malardalen Univ, Vasteras, Sweden
来源：
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014) | 2014年 / 8318卷
关键词：
WCET; Parallelism; Multi-core; Abstract interpretation; Abstract execution;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A major trend in computer architecture is multi-core processors. To fully exploit this type of parallel processor chip, programs running on it will have to be parallel as well. This means that even hard real-time embedded systems will be parallel. Therefore, it is of utmost importance that methods to analyze the timing properties of parallel real-time systems are developed. This paper presents an algorithm that is founded on abstract interpretation and derives safe approximations of the execution times of parallel programs. The algorithm is formulated and proven correct for a simple parallel language with parallel threads, shared memory and synchronization via locks.
引用
收藏
页码：59 / 77
页数：19
相关论文
共 50 条
  • [31] Composing Parallel Software Efficiently with Lithe
    Pan, Heidi
    Hindman, Benjamin
    Asanovic, Krste
    PLDI '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2010, : 376 - 387
  • [32] Exploring Concurrency Using The Parallel Analysis Tool
    Rague, Brian
    SIGCSE 12: PROCEEDINGS OF THE 43RD ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2011, : 511 - 516
  • [33] A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
    Schnakenbeck, Aron
    Mross, Robin
    Voelker, Marcus
    Kowalewski, Stefan
    Fay, Alexander
    2023 IEEE 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, INDIN, 2023,
  • [34] Lifted Static Analysis using a Binary Decision Diagram Abstract Domain
    Dimovski, Aleksandar S.
    PROCEEDINGS OF THE 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES (GPCE '19), 2019, : 102 - 114
  • [35] Quantitative static analysis of communication protocols using abstract Markov chains
    Abdelraouf Ouadjaout
    Antoine Miné
    Formal Methods in System Design, 2019, 54 : 64 - 109
  • [36] Quantitative static analysis of communication protocols using abstract Markov chains
    Ouadjaout, Abdelraouf
    Mine, Antoine
    FORMAL METHODS IN SYSTEM DESIGN, 2019, 54 (01) : 64 - 109
  • [37] Abstract Debuggers Exploring Program Behaviors using Static Analysis Results
    Holter, Karoliine
    Hennoste, Oskar
    Lam, Patrick
    Saan, Simmo
    Vojdani, Vesal
    PROCEEDINGS OF THE 2024 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE, ONWARD! 2024, 2024, : 130 - 146
  • [38] Abstract interpretation-based semantic framework for software birthmark
    Zeng, Ying
    Liu, FenLin
    Luo, XiangYang
    Lian, ShiGuo
    COMPUTERS & SECURITY, 2012, 31 (04) : 377 - 390
  • [39] Optimization Technique for Interprocedual Analysis Using Function Inlining in Abstract Interpretation
    Chen T.-Q.
    Fan G.-S.
    Yin B.-H.
    Chen L.-Q.
    Wang J.
    Ruan Jian Xue Bao/Journal of Software, 2022, 33 (08): : 2964 - 2979
  • [40] Comparative parallel execution of SWAT hydrological model on multicore and grid architectures
    Rodila, Denisa
    Bacu, Victor
    Gorgan, Dorian
    INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES, 2012, 8 (03) : 304 - 320
12345