Riferimenti per il file _performances.timers.php

in questo file vengono definite le funzioni di gestione dei timers Continua...

Funzioni
	startTimer ($t)
	questa funzione avvia un timer
	timerIsRunning ($t)
	questa funzione verifica se un timer e' attivo o meno
	checkTimer ($t)
	questa funzione calcola il valore di corsa di un timer
	checkPartialTimer ($t, $i)
	questa funzione segna un intertempo
	stopTimer ($t)
	questa funzione ferma un timer
	stopAllTimers ()
	questa funzione ferma tutti i timer
	writeTimer ($t)
	questa funzione scrive il valore corrente di corsa di un timer
	sumElapsedTimes ($t)

Descrizione dettagliata

in questo file vengono definite le funzioni di gestione dei timers

la gestione dei cronometri e' fondamentale per il monitoraggio delle prestazioni della piattaforma; tutti i timers sono registrati sotto $cf['performances']['timers'] e sono identificati da un'etichetta; ogni timer ha un tempo di avvio ['started'] uno di fine lavoro ['stopped'] e il tempo totale di corsa ['elapsed'] nonche' gli intertempi ['checkPoints'] salvati come differenza rispetto al tempo di avvio

Da fare:

bisogna ricordarsi di fermare tutti i timers eventualmente ancora attivi alla fine dell'esecuzione dello script