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] Toward static timing analysis of parallel software
    Gustavsson, Andreas
    Gustafsson, Jan
    Lisper, Björn
    [J]. OpenAccess Series in Informatics, 2012, 23 : 38 - 47
  • [2] Evolutionary Testing for Timing Analysis of Parallel Embedded Software
    Aziz, Muhammad Waqar
    Shah, Syed Abdul Baqi
    [J]. INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2019, 16 (03) : 415 - 423
  • [3] Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software
    Lv, Mingsong
    Yi, Wang
    Guan, Nan
    Yu, Ge
    [J]. 31ST IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2010), 2010, : 339 - 349
  • [4] Definition of a parallel execution model with abstract state machines
    Németh, Zsolt
    [J]. 2002, University of Szeged (15):
  • [5] Definition of a parallel execution model with abstract state machines
    Németh, Zsolt
    [J]. Acta Cybernetica, 2002, 15 (03): : 417 - 455
  • [6] Handling Cyclic Execution Paths in Timing Analysis of Component-based Software
    Lednicki, Luka
    Carlson, Jan
    [J]. 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 178 - 182
  • [7] Dynamic Analysis of Embedded Software using Execution Replay
    Song, Young Wn
    Lee, Yann-Hang
    [J]. 2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2014, : 166 - 173
  • [8] THE AND OR PARALLEL PROLOG MACHINE APIM - EXECUTION MODEL AND ABSTRACT DESIGN
    VLAHAVAS, I
    KEFALAS, P
    [J]. JOURNAL OF PROGRAMMING LANGUAGES, 1993, 1 (04): : 245 - 261
  • [9] AN ABSTRACT MACHINE FOR RESTRICTED AND-PARALLEL EXECUTION OF LOGIC PROGRAMS
    HERMENEGILDO, MV
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 25 - 39
  • [10] Exploiting Execution Dynamics in Timing Analysis Using Job Sequences
    Ahrendts, Leonie
    Ernst, Rolf
    Quinton, Sophie
    [J]. IEEE DESIGN & TEST, 2018, 35 (04) : 16 - 22
12345