Program performance spectrum
Program performance spectrum
复制标题
程序性能范围
DOI：
10.1145/2465554.2465566
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Abhik Roychoudhury
中科院分区：
文献类型：
--
作者：
Sudipta Chattopadhyay;Lee Kee Chong;Abhik Roychoudhury
实时和嵌入式应用程序通常需要满足一些非功能属性，如时序。因此，性能验证是部署实时和嵌入式软件之前的一个关键阶段。高速缓冲存储器通常用于弥合处理器和存储器子系统之间的性能差距。因此，高速缓存的分析在实时嵌入式软件的性能验证中起着关键作用。在本文中，我们提出了一种新的方法来计算整个程序的该高速缓存性能签名。我们的技术是基于探索输入域通过不同的路径程序。如果两条路径遵循同一组控制流边，但在遇到的循环迭代中可能会有所不同，则它们属于同一路径程序。我们的实验与几个主题程序表明，不同的路径分组到一个路径程序有非常相似的，往往是完全相同的缓存性能。
我们的路径程序探索可以被看作是划分程序的输入域。每个分区与其缓存性能和捕获构成分区的程序输入集的符号公式相关联。我们表明，这样的分区技术具有广泛的用途，在性能预测，测试，调试和设计空间探索。
Real-time and embedded applications often need to satisfy several non-functional properties such as timing. Consequently, performance validation is a crucial stage before the deployment of real-time and embedded software. Cache memories are often used to bridge the performance gap between a processor and memory subsystems. As a result, the analysis of caches plays a key role in the performance validation of real-time, embedded software. In this paper, we propose a novel approach to compute the cache performance signature of an entire program. Our technique is based on exploring the input domain through different path programs. Two paths belong to the same path program if they follow the same set of control flow edges but may vary in the iterations of loops encountered. Our experiments with several subject programs show that the different paths grouped into a path program have very similar and often exactly same cache performance.
Our path program exploration can be viewed as partitioning the input domain of the program. Each partition is associated with its cache performance and a symbolic formula capturing the set of program inputs which constitutes the partition. We show that such a partitioning technique has wide spread usages in performance prediction, testing, debugging and design space exploration.