A probabilistic model of memory acceses for efficient CPU caching