Please use this identifier to cite or link to this item:
Title: Program performance spectrum
Authors: Chattopadhyay, S.
Chong, L.K.
Roychoudhury, A. 
Keywords: Cache memories
Path exploration
Performance testing
Symbolic execution
Issue Date: 2013
Source: Chattopadhyay, S.,Chong, L.K.,Roychoudhury, A. (2013). Program performance spectrum. Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) : 65-75. ScholarBank@NUS Repository.
Abstract: 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. Copyright © 2013 ACM.
Source Title: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)
ISBN: 9781450320856
DOI: 10.1145/2465554.2465566
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Feb 21, 2018

Page view(s)

checked on Feb 17, 2018

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.