On Dec 16, 1:37 am, Mariusz Marszałkowski <m...@g...com> wrote:
> On 16 Gru, 02:02, Andrzej Jarzabek <a...@g...com> wrote:> Można
zacząć od przykładu banalnie prostego. Mamy coś, co powiedzmy
> > można zapisać tak:
> > a = A()
> > b = B()
> > c = C(a,b)
>
> > Clou jest takie, że A i B są niezależne i można by je wykonać
> > równolegle. Oczywiście rozwiązanie tego na wątkach jeest banalne, ale
> > jeśli w całym programie są dziesiątki tysięcy takich scenariuszy, gdzie
> > za A i B można podstawić różne możliwe obliczenia, poczynając od
> > podstawienia stałej znanej w czasie kompilacji, a kończąc na jakiejś
> > skomplikowanej i czasochłonnej operacji, to lądujemy z tysiącami pytań
> > czy lepiej A i B obliczać w wątkach i synchronizować, czy epiej wykonać
> > po kolei w jednym wątku. Odpowiedź zależy od kosztów operacji A i B,
> > oraz kosztów tworzenia wątku, synchronizacji itd.
>
> Racja.
>
> > We współczesnych
> > archotekturach i systemach operacyjnych ciężko, żeby programista mógł
> > samodzielnie określić tę granicę, kompilator zaś może mieć zakodowaną
> > wiedzą o czasowych charakterystykach procesora i systemu operacyjnego,
> > dane z profilera na temat czasu trwania operacji zależnych od danych, a
> > nawet korzystać z dobrodziejstw technik typu JIT, żeby podejmować te
> > decyzje na bieżąco w trakcie działania programu.
>
> To chyba jest niemozliwe, zaden kompilator ani JIT nie moze
> przewidziec
> kosztow wykonania bardziej skomplikowanych kawalkow kodu - inne dane
> to inny czas.

Teoretycznie to prawda, ale w praktyce jednak dla wielu programów za
czasem wyłaniają się statystyczne prawidłowości, których można z
powodzeniem używać do predykcji.

> Poza tym jak bylby narzut czasu na pomiary i
> przeprowadzanie
> takiej statysytki?

Jakiś tam by był, ale też zauważ, że JIT może zauwazyć, że jakiś
licznik zlicza się zbyt często i w związku z tym należy go usunąć. W
ogóle narzut chyba nie musi być szczególnie duży, jeśli każdy wątek
sporządza swój pomiar, to nie ma dzielenia cache i synchronizacji poza
momentami zbierania tych statystyk (które z kolei dokładnie mozna
kontrolować, jak często jest wykonywane).