Under the hood: disk caching