Static Probabilistic Timing Analysis for Multi-path Programs

This paper introduces an effective Static Probabilistic Timing Analysis (SPTA) for multi-path programs. The analysis estimates the temporal contribution of an evict-on-miss, random replacement cache to the probabilistic Worst-Case Execution Time (pWCET) distribution of multi-path programs. The analysis uses a conservative join function that provides a proper overapproximation of the possible cache contents and the pWCET distribution on path convergence, irrespective of the actual path followed during execution. Simple program transformations are introduced that reduce the impact of path indeterminism while ensuring sound pWCET estimates. Evaluation shows that the proposed method is efficient at capturing locality in the cache, and substantially outperforms the only prior approach to SPTA for multi-path programs based on path merging. The evaluation results show incomparability with analysis for an equivalent deterministic system using an LRU cache.

[1]  Francisco J. Cazorla,et al.  A cache design for probabilistically analysable real-time systems , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[2]  Liliana Cucu-Grosjean,et al.  PROARTIS: Probabilistically Analysable Real-Time Systems , 2012 .

[3]  Yun Liang,et al.  Cache modeling in probabilistic execution time analysis , 2008, 2008 45th ACM/IEEE Design Automation Conference.

[4]  Henrik Theiling,et al.  Fast and Precise WCET Prediction by Separated Cache and Path Analyses , 2000, Real-Time Systems.

[5]  Benoît Dupont de Dinechin,et al.  Time-critical computing on a single-chip massively parallel processor , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[6]  Pascal Sainrat,et al.  Accurate analysis of memory latencies for WCET estimation , 2008 .

[7]  Liliana Cucu-Grosjean,et al.  Independence - a misunderstood property of and for probabilistic real-­‐time systems , 2013 .

[8]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[9]  Bernd Becker,et al.  A Definition and Classification of Timing Anomalies , 2006, WCET.

[10]  Liliana Cucu-Grosjean,et al.  Static probabilistic timing analysis for real-time systems using random replacement caches , 2014, Real-Time Systems.

[11]  Francisco J. Cazorla,et al.  Using Randomized Caches in Probabilistic Real-Time Systems , 2009, 2009 21st Euromicro Conference on Real-Time Systems.

[12]  Liliana Cucu-Grosjean,et al.  PROARTIS: Probabilistically Analyzable Real-Time Systems , 2013, TECS.

[13]  Liliana Cucu-Grosjean,et al.  Measurement-Based Probabilistic Timing Analysis for Multi-path Programs , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[14]  Abhik Roychoudhury,et al.  Scope-Aware Data Cache Analysis for WCET Estimation , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[15]  Simon Wegener.  Computing Same Block Relations for Relational Cache Analysis , 2012, WCET.

[16]  Isabelle Puaut,et al.  Static determination of probabilistic execution times , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

[17]  Guillem Bernat,et al.  WCET analysis of probabilistic hard real-time systems , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[18]  Joaquín Entrialgo,et al.  Stochastic analysis of real-time systems under preemptive priority-driven scheduling , 2008, Real-Time Systems.

[19]  Frank Mueller,et al.  Making DRAM Refresh Predictable , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

[20]  Robert I. Davis,et al.  On the correctness, optimality and precision of Static Probabilistic Timing Analysis , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[21]  Isabelle Puaut,et al.  A modular and retargetable framework for tree-based WCET analysis , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[22]  Liliana Cucu-Grosjean,et al.  Analysis of Probabilistic Cache Related Pre-emption Delays , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[23]  Jan Reineke,et al.  Randomized Caches Considered Harmful in Hard Real-Time Systems , 2014, Leibniz Trans. Embed. Syst..

[24]  LópezJosé María,et al.  Stochastic analysis of real-time systems under preemptive priority-driven scheduling , 2008 .

[25]  Liliana Cucu-Grosjean,et al.  Re-sampling for statistical timing analysis of real-time systems , 2012, RTNS '12.

[26]  Srinivas Devadas,et al.  Dynamic Cache Partitioning via Columnization , 2000, DAC 2000.

[27]  Alan Burns,et al.  Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression , 2014, RTNS '14.

[28]  Steven S. Muchnick,et al.  Advanced Compiler Design and Implementation , 1997 .