Tempo de carregamento

Olá.

Estou fazendo um projeto e precisaria calcular o tempo de processamento de determinadas funções. Pesquisando, encontrei o seguinte código:

<?php
 for ($i=0; $i<100000000; $i++)
 continue;

 $tempo_carregamento = mktime() - $_SERVER['REQUEST_TIME'];

 print "A página demorou {$tempo_carregamento} segundos para carregar.";
?>

Entretanto, não satisfaz minhas necessidades, pois preciso calcular o tempo com a precisão de milisegundos. É possível fazer isso utilizando php? Se sim, alguém saberia me ajudar com isso?

Obrigado.