Thanks for the comments. I've just scrapped the first implementation, because recording every "push" in a separate cache key quickly becomes too slow as the number of "push"es/keys range in the thousands.