Bei 9000 U/min ist das mit einen Reedschalter schon nicht mehr ganz so einfach. Pro Umdrehung sind das nur etwa 6 ms. Die Ansprechzeit und das Prellen werden auch im Bereich einiger ms liegen. Ein Hallgeber wäre da schon besser und würde das Programm auch vereinfachen.

Die Messung könnte wie folgt aussehen:
1) Warten auf ein steigende Flanke
2) Timer auf Null setzen und starten
3) etwas Warten wegen Prellen (z.B. 3 ms)
4) Warten auf nächste steigende Flanke
5) Timer Auslesen, Drehzahl berechnen.