Towards code metrics for benchmarking timing analysis
Towards code metrics for benchmarking timing analysis
复制标题
用于基准时序分析的代码度量
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Wolfgang Schröder
中科院分区：
文献类型：
--
作者：
Peter Wägemann;T. Distler;Phillip Raffeck;Wolfgang Schröder
最坏情况执行时间（WCET）分析器的有效性的全面评估需要选择的基准，这些工具构成了挑战。在本文中，我们确定了与基于复杂性度量（例如，程序中包含的循环的数量），这部分是由于复杂性度量在面对编译器优化时不一定稳定的事实引起的。为了解决这些问题，我们正在开发一种工具，通过跟踪不同优化级别的复杂性度量，自动评估基准测试对编译器优化的弹性。结合控制流的数据依赖性信息，这也是由我们的工具提供的，这使得用户可以找到和丢弃的基准，出现在源代码级的WCET分析器的挑战，但实际上是微不足道的机器代码级的实际分析执行。
Comprehensive evaluations of the effectiveness of worst-case execution time (WCET) analyzers require a selection of benchmarks that pose a challenge to these tools. In this paper, we identify pitfalls that are associated with selecting such benchmarks based on complexity metrics (e.g., the number of loops contained in a program), which in part are caused by the fact that complexity measures are not necessarily stable in the face of compiler optimizations. To address these problems, we are developing a tool that automatically assesses the resilience of a benchmark against compiler optimizations by tracking complexity measures across different optimization levels. In combination with information on the data dependency of control flows, which is also provided by our tool, this allows users to find and discard benchmarks that appear challenging for WCET analyzers at the source-code level, but in fact are trivial at the machine-code level where the actual analysis is performed.