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 条
  • [41] An adaptive parallel execution strategy for cloud-based scientific workflows
    de Oliveira, Daniel
    Ogasawara, Eduardo
    Ocana, Kary
    Baiao, Fernanda
    Mattoso, Marta
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2012, 24 (13) : 1531 - 1550
  • [42] SIMD stealing: Architectural support for efficient data parallel execution on multicores
    Huang, Libo
    Lu, Yashuai
    Ma, Sheng
    Xiao, Nong
    Wang, Zhiying
    MICROPROCESSORS AND MICROSYSTEMS, 2019, 65 : 136 - 147
  • [43] Machine learning approach for software defect prediction using multi-core parallel computing
    Anshu Parashar
    Raman Kumar Goyal
    Sakshi Kaushal
    Sudip Kumar Sahana
    Automated Software Engineering, 2022, 29
  • [44] Machine learning approach for software defect prediction using multi-core parallel computing
    Parashar, Anshu
    Kumar Goyal, Raman
    Kaushal, Sakshi
    Kumar Sahana, Sudip
    AUTOMATED SOFTWARE ENGINEERING, 2022, 29 (02)
  • [45] Abstract compilation for sharing analysis
    Amato, G
    Spoto, F
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 311 - 325
  • [46] Responsibility Analysis by Abstract Interpretation
    Deng, Chaoqiang
    Cousot, Patrick
    STATIC ANALYSIS (SAS 2019), 2019, 11822 : 368 - 388
  • [47] A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation
    Jiang, Qingyu
    Liu, Jing
    Hu, Haodong
    2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018), 2018, : 119 - 128
  • [48] Impact of software architecture on execution time: a power window TACLeBench case study
    Li, Haoxuan
    De Meulenaere, Paul
    Mercelis, Siegfried
    Hellinckx, Peter
    INTERNATIONAL JOURNAL OF GRID AND UTILITY COMPUTING, 2019, 10 (02) : 132 - 140
  • [49] Parallel Testing Techniques for Optimizing Test Program Execution and Reducing Test Time
    Delgado, Santiago
    2008 IEEE AUTOTESTCON, VOLS 1 AND 2, 2008, : 238 - 240
  • [50] Short-circuit Analysis using a Parallel QBF Solver
    Santos, Rafael
    Afonso, Joao
    Monteiro, Jose
    2020 XXXV CONFERENCE ON DESIGN OF CIRCUITS AND INTEGRATED SYSTEMS (DCIS), 2020,
12345