The LRU-K page replacement algorithm for database disk buffering | Synapse