Interdependent cache analyses for better precision and safety


Autoria(s): Nagar, Kartik; Srikant, YN
Data(s)

2012

Resumo

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.

Formato

application/pdf

Identificador

http://eprints.iisc.ernet.in/47720/1/For_Meth_Mode_Code_1_2012.pdf

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.

Publicador

IEEE

Relação

http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20627&copyownerid=7697

http://eprints.iisc.ernet.in/47720/

Palavras-Chave #Computer Science & Automation (Formerly, School of Automation)
Tipo

Conference Paper

PeerReviewed