Compte tenu de la prédiction de branche et de l'effet des optimisations du compilateur, quel code a tendance à offrir des performances supérieures?
Notez que bRareExceptionPresent représente une condition inhabituelle. Ce n'est pas le chemin normal de la logique.
/* 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
Je vais sortir sur un membre ici et dire qu'il n'y a aucune différence que ce soit.
—
Robert Harvey
Cela dépend probablement du CPU spécifique pour lequel vous compilez, car ils ont différentes architectures de pipeline (slots à retard vs aucun slot à retard). Le temps que vous avez passé à y penser est probablement bien plus que le temps gagné lors de l'exécution - profilez d'abord, puis optimisez.
C'est presque certainement une micro-optimisation prématurée.
—
Robert Harvey
@MichaelT Oui, le profilage est en effet le seul moyen fiable de savoir ce qui se passe réellement avec les performances du code sur la plate-forme cible, dans son contexte. Cependant, j'étais curieux de savoir si l'un était généralement préféré.
—
dyasta
@RobertHarvey: Il s'agit d'une micro-optimisation prématurée, sauf dans les cas où les deux conditions sont remplies: (1) la boucle est appelée des milliards (et non des millions) de fois; et (2) ironiquement, lorsque le corps de la boucle est minuscule en termes de code machine. La condition n ° 2 signifie que la fraction du temps consacré aux frais généraux n'est pas négligeable par rapport au temps consacré à un travail utile. La bonne nouvelle est qu'en général, dans de telles situations où les deux conditions sont remplies, SIMD (vectorisation), qui est par nature sans branche, résoudra tous les problèmes de performances.
—
rwong