Pessoal, existe alguma função PHP que me retorne o tempo total de execução de uma função?

Ex.: Eu tenho uma tabela com 1000 registros cadastrados, quando eu efetuar um ( WHILE ) de cada um, vai demorar o tempo da execução, teria alguma forma de saber quanto tempo TOTAL será toda essa execução completa até acabar o ( WHILE ) dos 1000 registros ?

* Meu código

<?php

$sql=mysql_query("select * from tabela order by nome desc") or die ("problema->> ".$sql);

while($linha=mysql_fetch_array($sql)) { // possuo 1000 registros ao qual irá fazer um ( WHILE ) aqui

echo $nome=$linha['nome']."<br>";

}

echo"Dadaos enviados com sucesso!";
exit;

?>

Teria como retornar isso de forma dinâmica o TEMPO total que irá levar até concluir e chegar na mensagem final ( Dados enviados com sucesso! ) ??

Se tem como retornar algo como

*Hora
*Minuto
*Segundo

echo $h=date("H");
echo $m=date("m");
echo $s=date("s");

Isso seria possível, retornar realmente o TEMPO total de execução desse arquivo ?

aguardo :D