read_rnd_bufferはEXPLAINしたときにALLのときにしか使われないので、大きめに取るのは無駄。 ウェブのバックエンドとして使うときなどは大きな表に全表探索が走っている時点で負けなので、大きくても1MB程度でいいのではないだろうか。