Non-deterministic caching