[ php ]
In questo piccolo tip parleremo del famoso calcolo del tempo di esecuzione di uno script o della generazione di una pagina.
Ci serviremo della funzione microtime(), creando una piccola funzione:
function get_microtime(){
list($msec,$sec)=explode(" ",microtime());
return ((float)$msec+(float)$sec);
}
Tale funzione restituisce un numero di tipo float che rappresenta il numero di secondi e microsecondi trascorsi, al momento della chiamata della funzione, dalla Unix Epoch (01/01/1970).
Evocando questa funzione all'inizio del nostro script o della nostra pagina, assegnando il valore restituito ad una variabile, e facendo lo stesso alla fine dello script o pagina, possiamo calcolarne la differenza e, quindi, trovare ciò che stavamo cercando.
Scritp completo:
function get_microtime(){
list($msec,$sec)=explode(" ",microtime());
return ((float)$msec+(float)$sec);
}
$start=get_microtime();
/* tutto lo script o la pagina web */
$end=get_microtime();
$tempo_impiegato=round($end-$start,3);
echo "pagina generata in $tempo_impiegato secondi";
« torna ai tips