cat /proc/interrupts | grep timer ; sleep 1 ; cat /proc/interrupts | grep timer
et si tu es à 1000Hz, tu aurras 1000 d'ecart entre les deux reponses.
Perso, je suis à 250Hz, et j'ai
[ja ~]$ cat /proc/interrupts | grep timer ; sleep 1 ; cat /proc/interrupts | grep timer
0: 156086 IO-APIC-edge timer
0: 156337 IO-APIC-edge timer
=> 156337 - 156086 = 251
Je t'invite à lire ce thread
http://kerneltrap.org/node/6750
qui est une approche assez differente! (si tu cherche qqles choses
de precis au niveau noyau sans avoir l'overhead du 1000Hz)