Data la previsione del ramo e anche l'effetto delle ottimizzazioni del compilatore, quale codice tende a offrire prestazioni superiori?
Si noti che bRareExceptionPresent rappresenta una condizione non comune. Non è il normale percorso della logica.
/* MOST COMMON path must branch around IF clause */
bool SomeFunction(bool bRareExceptionPresent)
{
// abort before function
if(bRareExceptionPresent)
{
return false;
}
.. function primary body ..
return true;
}
/* MOST COMMON path does NOT branch */
bool SomeFunction(bool bRareExceptionPresent)
{
if(!bRareExceptionPresent)
{
.. function primary body ..
}
else
{
return false;
}
return true;
}
9
Ho intenzione di uscire su un arto qui e dire che non c'è alcuna differenza.
—
Robert Harvey,
Questo probabilmente dipende dalla CPU specifica per la quale stai compilando, poiché hanno architetture di pipelining diverse (slot di ritardo vs slot di ritardo). Il tempo che hai trascorso a pensarci è probabilmente molto più del tempo risparmiato durante l'esecuzione: prima il profilo, quindi l'ottimizzazione.
È quasi certamente una micro-ottimizzazione prematura.
—
Robert Harvey,
@MichaelT Sì, la profilazione è davvero l'unico modo affidabile per sapere cosa sta realmente succedendo con le prestazioni del codice sul target, sulla piattaforma, nel suo contesto. Tuttavia, ero curioso di sapere se uno era generalmente preferito.
—
dyasta,
@RobertHarvey: è una micro-ottimizzazione prematura, tranne nei casi in cui entrambe le condizioni sono soddisfatte: (1) il ciclo è chiamato miliardi (non milioni) di volte; e (2) ironicamente, quando il corpo del loop è minuscolo in termini di codice macchina. Condizione n. 2 significa che la frazione di tempo speso in spese generali non è insignificante rispetto al tempo speso in lavori utili. La buona notizia è che di solito, in tali situazioni in cui entrambe le condizioni sono soddisfatte, il SIMD (vettorializzazione), che è per sua natura senza rami, risolverà tutti i problemi di prestazione.
—
rwong