Alat opensource untuk membantu dalam menambang arus skor papan pemimpin

Pertimbangkan aliran berisi tupel yang (user, new_score) mewakili skor pengguna dalam game online. Aliran bisa memiliki 100-1.000 elemen baru per detik. Permainan ini memiliki 200 ribu hingga 300 ribu pemain unik. Saya ingin memiliki beberapa pertanyaan berdiri seperti: Pemain mana yang...