I wonder if using a zset with the expiration timestamps as score and user id wouldn't work for this scenario?