A cache manager using files