Path Sensitive Cache Analysis Using Cache Miss Paths

Nagar, Kartik and Srikant, YN (2015) Path Sensitive Cache Analysis Using Cache Miss Paths. In: 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), JAN 12-14, 2015, Mumbai, INDIA, pp. 43-60.

PDF VMCAI_8931_43_2015.pdf - Published Version Restricted to Registered users only Download (212kB) | Request a copy

Abstract

Cache analysis plays a very important role in obtaining precise Worst Case Execution Time (WCET) estimates of programs for real-time systems. While Abstract Interpretation based approaches are almost universally used for cache analysis, they fail to take advantage of its unique requirement: it is not necessary to find the guaranteed cache behavior that holds across all executions of a program. We only need the cache behavior along one particular program path, which is the path with the maximum execution time. In this work, we introduce the concept of cache miss paths, which allows us to use the worst-case path information to improve the precision of AI-based cache analysis. We use Abstract Interpretation to determine the cache miss paths, and then integrate them in the IPET formulation. An added advantage is that this further allows us to use infeasible path information for cache analysis. Experimentally, our approach gives more precise WCETs as compared to AI-based cache analysis, and we also provide techniques to trade-off analysis time with precision to provide scalability.

Item Type:	Conference Proceedings
Series.:	Lecture Notes in Computer Science
Publisher:	SPRINGER-VERLAG BERLIN
Additional Information:	Copy right for this article belongs to the SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	22 Jun 2015 07:09
Last Modified:	22 Jun 2015 07:09
URI:	http://eprints.iisc.ac.in/id/eprint/51747

Actions (login required)

View Item