On 12/31/2011 6:50 AM, M.M. wrote:
> Temat stary jak swiat. Czesto podczas programowania, gdy chce
> sie uzyskac super wydajna implementacje, programista zdaje
> sobie sprawe ze ciag instrukcji w jezyku wysokopoziomowym
> bedzie zbyt trudny dla kompilatora aby wygenerowal z tego
> optymalny kod maszynowy. Co wiecej, kompilator bez informacji o
> statystycznym rozkladzie danych, nie moze wygenerowac optymalnego
> kodu - dla kazego rozkladu inny kod bedzie optymalny. Kwestia jest
> chyba nadal otwarta: czy np. wprowadzic jakas pragme, typu
>
> #pragma a = {0..0=>60%,1..3=>20%,3..inf=>20%}
> instrukcje( a );
>
> Kompilator wiedzac ze a nigdy nie przyjmuje wartosci ujemnych i
> jest az 60% szans na to ze a jest rowne zero, moze wygenerowac
> lepszy kod.

W GCC jest cos w tym stylu, __builtin_expect
http://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.htm
l

Dosc czesto uzywane w kernelu Linuxa, takze przydatne sa (oparte na
powyzszym) makra "likely" i "unlikely":
#define likely(x) __builtin_expect(!!(x), 1)
#define unlikely(x) __builtin_expect((x), 0)
http://kerneltrap.org/node/4705
http://www.ginac.de/pipermail/ginac-devel/2001-Septe
mber/000329.html

Patrz tez:
http://stackoverflow.com/questions/3702903/portable-
branch-prediction-hints
http://stackoverflow.com/questions/1851299/is-it-pos
sible-to-tell-the-branch-predictor-how-likely-it-is-
to-follow-the-branc

Pozdrawiam,

Matt