ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Interdependent cache analyses for better precision and safety

Nagar, Kartik and Srikant, YN (2012) Interdependent cache analyses for better precision and safety. In: MEMOCODE 2012 : ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign, July 16-18, 2012, Arlington, Virginia.

[img] PDF
For_Meth_Mode_Code_1_2012.pdf - Published Version
Restricted to Registered users only

Download (221kB) | Request a copy
Official URL: http://www.wikicfp.com/cfp/servlet/event.showcfp?e...

Abstract

One of the challenges for accurately estimating Worst Case Execu-tion Time(WCET) of executables is to accurately predict their cache behaviour. Various techniques have been developed to predict the cache contents at different program points to estimate the execution time of memory-accessing instructions. One of the most widely used techniques is Abstract Interpretation based Must Analysis, which de-termines the cache blocks guaranteed to be present in the cache, and hence provides safe estimation of cache hits and misses. However,Must Analysis is highly imprecise, and platforms using Must Analysis have been known to produce blown-up WCET estimates. In our work, we propose to use May Analysis to assist the Must Analysis cache up-date and make it more precise. We prove the safety of our approach as well as provide examples where our Improved Must Analysis provides better precision. Further, we also detect a serious flaw in the original Persistence Analysis, and use Must and May Analysis to assist the Persistence Analysis cache update, to make it safe and more precise than the known solutions to the problem.

Item Type: Conference Paper
Additional Information: Copyright of this article belongs to IEEE.
Department/Centre: Division of Electrical Sciences > Computer Science & Automation
Depositing User: Francis Jayakanth
Date Deposited: 08 Nov 2013 05:13
Last Modified: 08 Nov 2013 05:13
URI: http://eprints.iisc.ac.in/id/eprint/47720

Actions (login required)

View Item View Item