ma come fai a dire che e' proprio quel pezzo di codice a causare l' overload della CPU ?
Comunque piu' ottimizzato di cosi', non saprei ...
codice:
if ( !isSet( $__url2id[$url] ) ) {
$__url2id[$url] = count( $__url2id ) + 1;
array_push( $__urltodo, $url );
}
dando per scontato che la variabile $url esista sempre, per ogni if ...
quindi per maggior sicurezza farei:
codice:
if ( isSet($url) && !isSet( $__url2id[$url] ) ) {
$__url2id[$url] = count( $__url2id ) + 1;
array_push( $__urltodo, $url );
}
.... e qui do per sontato che $__url2id e $__urltodo siano array preassegnati .... prova quest' ultimo codice e facci sapere