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 条
  • [1] Abstract Interpretation under Speculative Execution
    Wu, Meng
    Wang, Chao
    PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 802 - 815
  • [2] Detailed Analysis of the AES CTR Mode Parallel Execution Using OpenMP
    Ketata, Rim
    Kriaa, Lobna
    Saidane, Leila Azzouz
    Chalhoub, Gerard
    5TH IFIP INTERNATIONAL CONFERENCE ON PERFORMANCE EVALUATION AND MODELING IN WIRED AND WIRELESS NETWORKS PEMWN 16, 2016,
  • [3] EFFICIENT BOTTOM-UP EXECUTION OF LOGIC PROGRAMS USING ABSTRACT INTERPRETATION
    CHANG, BM
    CHOE, KM
    HAN, T
    INFORMATION PROCESSING LETTERS, 1993, 47 (03) : 149 - 157
  • [4] Adaptive, Efficient, Parallel Execution of Parallel Programs
    Sridharan, Srinath
    Gupta, Gagan
    Sohi, Gurindar S.
    ACM SIGPLAN NOTICES, 2014, 49 (06) : 169 - 180
  • [5] Software Timing Analysis for Complex Hardware with Survivability and Risk Analysis
    Vilardell, Sergi
    Serra, Isabel
    Abella, Jaume
    Del Castillo, Joan
    Cazorla, Francisco J.
    2019 IEEE 37TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2019), 2019, : 227 - 236
  • [6] LART: Compiled Abstract Execution (Competition Contribution)
    Lauko, Henrich
    Rockai, Petr
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II, 2022, 13244 : 457 - 461
  • [7] Code-Level Timing Analysis of Embedded Software
    Falk, Heiko
    Hammond, Kevin
    Larsen, Kim G.
    Lisper, Bjorn
    Petters, Stefan M.
    EMSOFT '12: PROCEEDINGS OF THE TENTH AMC INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2012, 2012, : 163 - 164
  • [8] Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution
    Alatawi, Eman
    Sondergaard, Harald
    Miller, Tim
    PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 619 - 624
  • [9] Static Partitioning of Spreadsheets for Parallel Execution
    Bock, Alexander Asp
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2019), 2019, 11372 : 221 - 237
  • [10] Empirical Analysis on Parallel Tasks in Crowdsourcing Software Development
    Saremi, Razieh Lotfalian
    Yang, Ye
    2015 30th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2015, : 28 - 34
12345