https://123dok.net/document/y8gen0rz-maximum-queue-size-and-hashing-with-lazy-deletion.html