TY - GEN
T1 - Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper)
AU - Becker, Martin
AU - Chakraborty, Samarjit
AU - Metta, Ravindra
AU - Venkatesh, R.
N1 - Publisher Copyright:
© 2019 Association for Computing Machinery.
PY - 2019/6/23
Y1 - 2019/6/23
N2 - One of the main difficulties in estimating the Worst Case Execution Time (WCET) at the binary level is that machine instructions do not allow inferring call contexts as precisely as source code, since compiler optimizations obfuscate control flow and type information. On the other hand, WCET estimation at source code level can be precise in tracking call contexts, but it is pessimistic for functions that are not available as source code. In this paper we propose approaches to join binary-level and source-level analyses, to get the best out of both. We present the arising problems in detail, evaluate the approaches qualitatively, and highlight their trade-offs.
AB - One of the main difficulties in estimating the Worst Case Execution Time (WCET) at the binary level is that machine instructions do not allow inferring call contexts as precisely as source code, since compiler optimizations obfuscate control flow and type information. On the other hand, WCET estimation at source code level can be precise in tracking call contexts, but it is pessimistic for functions that are not available as source code. In this paper we propose approaches to join binary-level and source-level analyses, to get the best out of both. We present the arising problems in detail, evaluate the approaches qualitatively, and highlight their trade-offs.
KW - Timing analysis
KW - WCET
UR - http://www.scopus.com/inward/record.url?scp=85066033131&partnerID=8YFLogxK
U2 - 10.1145/3316482.3326353
DO - 10.1145/3316482.3326353
M3 - Conference contribution
AN - SCOPUS:85066033131
T3 - Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)
SP - 208
EP - 212
BT - LCTES 2019 - Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, co-located with PLDI 2019
A2 - Chen, Jian-Jia
A2 - Shrivastava, Aviral
PB - Association for Computing Machinery
T2 - 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2019, co-located with PLDI 2019
Y2 - 23 June 2019
ER -