Bonjour tout le monde,
 
J'aurais besoin pour une application d'obtenir une mesure du temps plus précise que celle fourni par Sys.time qui me semble limitée au centième de seconde lorsque j'affiche le résultat.
 
J'aimerais savoir si il existe une autre fonction qui me permettrait d'obtenir une meilleure précision. Je pensais m'appuyer sur les "ticks" du processeur, mais je n'ai rien trouvé
 
Si qqun à une idée !
 
Merci, @+

Ca doit dépendre de l'OS et de la machine.

Je travaille sous Linux sur un processeur x86. Je vais continuer de  chercher. Merci pour ta réponse !

Y a des packages (dl, dl-runtime) qui permettent de charger des fonctions C de librairies dynamiques.

C'est la solution vers laquelle je me suis orienté =)  
J'ai aussi pensé aux fonctions de timers de SDL qui existe pour ocaml, il existe une fonction qui permet de travailler sur les ticks d'horloge. Je vais aussi voir ca
 
Merci encore à toi,
 
@+

laisse beton, sous linux c'est 10ms la résolution.
 
Tiens, c'est marrant, il n'y a rien quasiment pour ca dans le module unix.

Merci pour ta réponse !
 
Il n'y a pas moyen d'exploiter les ticks d'horloge ? Je n'ai pas besoin d'un temps en secondes, mais juste d'une mesure du temps relative.
 
Merci à toi