Acá una alternativa para "cronometrar" el tiempo de ejecución:
Código PHP:
function microtime_diff($a, $b) {
list($a_dec, $a_sec) = explode(" ", $a);
list($b_dec, $b_sec) = explode(" ", $b);
return $b_sec - $a_sec + $b_dec - $a_dec;
}
Use as follows:
$start_time = microtime();
/*
... Acá los procesos que queremos "cronometrar" ...
*/
$duration = microtime_diff($start_time, microtime());
$duration = sprintf("%0.3f", $duration);
echo ("Processing took $duration seconds");
(copiado del comentario de
gordon at kanazawa-gu dot ac dot jp
en el manual
http://www.php.net/manual/es/function.microtime.php)...
Saludos