On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs.