KOJA: Myslim ze ano. Je to videt vsude kolem (me :-) To si ale nutne neprotireci s tim
<i>ze na hromadu problemu staci rozumny navrh na urovni architektury a (pardon) "mikrooptimalizace" nejsou potreba</i>. Samozrejme, pokud mas O(n^3) algoritmus a existuje O(nlogn), pak nema cenu "mikrooptimalizovat" ten n^3. O tom zadna.

Zalezi na tom co delas. Pokud delas nejakou aplikaci, rekneme nejaky IS nebo tak, pak asi opravdu jedine, co ma smysl je pouziti dobrych algoritmu a rozumne cacheovani.
Pokud ale delas vis low-level - zakladni knihovny, runtime, prekladace - pak je dost citit jestli neco udelas na ~1 cachemiss nebo na ~10 cachemiss, prestoze slozitost obou je O(1), rekneme. Nebo je dost rozdil, jestli
napises

if (error) {
handle_error();
return;
} else {
...
}

nebo

if (!error) {
....
return;
} else {
handle_error();
}

pripadne

if (error) goto handle_error;
fixed: ...
return
fix_error();
goto fixed;


pokud je to low-level kod, provadi se opravdu casto a muze to bolet (vlastni zkusenost :-)

On i ten REDGUYem vysmivany benchmark ukaze zajimave veci - ono to neni tak ze <i>podstate testuje jednu jedinou funkci v dost trivialnich podminkach<i>. On spis testuje, jak dobry je optimalizator a jak se chova - obzvlaste na jit systemech se spekulativnim inlinovanim (dokaze tu funkci nainlinovat? Kdy to udela? Od kdy se vyplati zpomaleni zpusobene rekompilaci, OSR, a naslednym restartem? Kdy deoptimalizuje?). Kdyby tyhle veci nemeli velky vyznam, nedelalo by se to - je to _dost_ prace to odladit :-)

JANFROG: tak tím switchem to nebude:
xchaos@hyperion:~$ gcc pokus-compare.c -o pokus-compare -ggdb3 -O0
xchaos@hyperion:~$ ./pokus-compare
===
long a = -1;
unsigned int b = 1;
a == b // -> false
a < b // -> true
a > b // -> false
===
unsigned int a = 1;
long b = 1;
a == b // -> true
a < b // -> false
a > b // -> false

pořád si neuvedl, na jakou cílovou platformu to kompiluješ... ale oceňuju, že tenhle klub _konečně_ začíná zvolna fungovat k tomu, k čemu byl založen :-)

(jo a dík, že si mi nasměřoval na to #makro (evidentně vložení tokenu do úvozovek, jako stringový literál) - konkrétně tohle využití preprocesoru jsem neznal, a napadá mi okamžitě spousta ďábelských věcí, jak to využít - hlavně třeba v konstruktorech objektů, resp. ještě spíš jejich interfejsů, které se alokují typicky v jediné instanci za celou dobu běhu programu - objekt za běhu takhle může například jednoduše vědět, jak se jmenuje jeho interface ... což je zhruba stejné, jako vědět, do jaké patří třídy...)

XCHAOS:
XCHAOS: Se svetem to jde z kopce, ale z jinych duvodu :-)
Tohle neni dukaz zkazenosti sveta, to je jen ta nejjednodussi demonstrace toho, ze myslet si ze o programu v C vis co se deje uvnitr je - rekneme - velmi naivni. Pro uplnost, prekladano s -ggdb3 -O0

A ne, neni to tim ze by veci byli v roce 2014 a 2016 jinak. Pokud pouziji 4.9.x dopadne to stejne...

XCHAOS: No vidis, me to pise zase tohle:

===
long a = -1;
unsigned int b = 1;
   a == b // -> false
   a < b  // -> false
   a > b  // -> true
...

jv@sao:~/Projects/jv-knowledgebase/C$ gcc --version
gcc (Debian 6.1.1-11) 6.1.1 20160802
Copyright (C) 2016 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Jak je to jen mozne v tak transparentnim jazyku, kde je videt co se vevnitr deje :-)
(omlouvam se za trochu sarkasmu, nekdy si nemuzu pomoci...)

JANFROG: jako v podstatě ano - přirovnání ke koloběžkám, skateboardům, apod. uznávám. speciálně se mi líbí tahle verze
Onewheel: The World is Your Playground
https://www.youtube.com/watch?v=XNqOU4jx62I

...sežere fakt málo benzínu :-)

XCHAOS: existuje samozřejmě obecné povědomí, že Java je pomalé monstrum, ale takovéhle srovnání a tedy i míra toho, jak je to v té Javě asi udělané špatně, stejně zovu překvapí...
To "povedomi" je dane spise po generace tradujici se famou nez ze by bylo zalozene na pravde. Fakt je, ze dneska je malo co, jestli neco, rychlejsi nez Java (bavime se o Hostpot VM ve srovnani s jinymi systemy sh s garbage collectorem a podporou nativnich threadu - srovnavat to s C je nesmysl. To je jako rici ze kolobezka je lepsi, protoze sezere min benzinu nez skodovka a otoci se na place)

XCHAOS: Každý string tam určitá vzniká nejspíš jako další obecně rozšířitelný meta-objekt...což musí nutně mít nějakou reži
To jiste ma rezii, jako vsechno. Ta rezie je ale dost presne stejna jako v pripade tridnich systemu. Typicky se jedna o pointer bump + vyplneni hlavicky (obvykle 1/2 slova). Dopocujuji precist klasicky paper

Craig Chambers, David Ungar, and Elgin Lee: An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes.

u které vím, co se uvnitř ní děje
Domnivam se, ze C toto nesplnuje. Jednoduchy priklad. Mejme nasledujici kod:

#include <stdio.h>
#define BOOLVAL(x) ((x) ? "true" : "false")
#define COMPARE(type1, value1, type2, value2)           \
    {                                                   \
        type1 a = value1;                               \
        type2 b = value2;                               \
        printf("===\n"                                  \
               "%s a = %s;\n"                           \
               "%s b = %s;\n",                          \
               #type1, #value1, #type2, #value2);       \
	printf("   a == b // -> %s\n"                   \
               "   a < b  // -> %s\n"                   \
               "   a > b  // -> %s\n",                  \
               BOOLVAL(a == b),                         \
               BOOLVAL(a < b),                          \
               BOOLVAL(a > b));                         \
    }
int main() {
    COMPARE(long, -1, unsigned int, 1);
    COMPARE(unsigned int, 1, long,  1);
}

Co vypise?