XCHAOS: No shodou okolnosti se vyvojem virtualnich stroju pro vyssi programovaci jazyky jiz nejakou dobu zabyvam (v zasade je to zdroj me obzivy)
a muzu Ti rici, ze bez zakladnich znalosti procesoru a ASM to nejde. A to C ktere se pouziva je take o dost jine nez kdyz pises "normalni" programy (napriklad if je zabijak vykonu, pouzivat goto a podobne perly).

Premyslet jak jsou napsane nema smysl, muzes se na to podivat. Pokud chces pochopit, jak to funguje, pak 1) nejakou VM si napis a __pouzivej__ a 2) podivaj se, jak to delaji jini. Pro zacatek doporucuji kurz a knihu "Structure and Interpretation of Computer Programs".
Cokoliv jineho je ztrata casu/mentalni rozcvicka, nic vic. Ver mi, tohle uz mam za sebou :-)

Opet ciste nahodou jsem delal/delam na prekladaci Ruby a ted delam na vlastni implementaci JVM a muzu Ti rici, ze ja osobne to povazuji za velmi, velmi ambiciozni
(i kdyz...mozna si jen fandim, mozna je to trivka kdyz se to dari i diletantum jako jsem ja a mi kolegove :-) Udelat rychlou VM je celkem umeni...

DAVIDOWITCH: To me minulo. Ach jo, tak to pridam na seznam neprectenych veci, poradove cislo 332432 :-(

JANFROG: Tohle uz tu prolitlo, ale kdyby te to nahodou minulo:
www.akkadia.org/drepper/cpumemory.pdf

XCHAOS:

REDGUY: sám si vyjmenoval, že pokud vezmeme v úvahu všechny kombinace, tak šlo o vzorek minimálně osmi ovcí.

XCHAOS: 8)))) No tak jo. V jednom konkretnim programu u ne vice nez dvou ruznych verzi prekladace se branch predictor na 32bitu neprojevil. Tudiz... ach jo. Jako obvykle. (btw, v kontextu tveho rozpraveni o "vzorku o jedne ovci" v jinem foru je tahle tvoje zprava extre legracni).

XCHAOS: To je problem 32b verze prekladace, ne chybejici branch prediction jednotky. Don't jump to conclusions.

A je sikovny vedet co se deje pod a nad tim kde travis vetsinu casu. Treba ze existujou branch predictory, nebo jak cca funguje virtualni pamet. Pak te min prekvapej threading hnusy. (pochopitelne, se svym volnym casem si delej co chces, ja toho vyuzil a rovnou koupil tu Computer Architecture, Fifth Ed., at mam co cist v autobuse)

REDGUY: dobře, ale u 32bit kódu se to dnes min. dvěma lidem prostě neprojevilo....

njn, hezké, ale na mě moc lowlevel. já jsem spíš middle-level orientovaný :-) nižší level, než psát ve skriptovacích jazycích, vyšší level, než ASM...

A, abych si prihral polivcicku, tohle se uci na APSkach na bakalari a pak pripadne na PAPech na magistru, CVUT FEL a ted CVUT FIT.. a prestoze se tem predmetum spousta lidi vyhejba bo jsou tezky (a magisterskej teda asi moc HW zamerenej), tak delaj chybu, jsou tam zajimavy veci.

XCHAOS: Ne. Branch predict ma kdeco, mmj. uz obyc Pentia. Sice ne zazracnej, ale nejakej. On i pitomej "statickej" branch predict stylem "vzdycky skoci" (namisto bezneho "nikdy neskoci") ma prekvapive vysokou uspesnost.
Moderni branch predicty maj vysoce pres 90%.

Muzu doporucit napriklad:
Amazon.com: Computer Architecture, Fifth Edition: A Quantitative Approach (The Morgan Kaufmann Series in Computer Architecture and Design) (9780123838728): John L. Hennessy, David A. Patterson: Books
http://www.amazon.com/Computer-Architecture-Fifth-Edition-Quantitative/dp/012383872X/ref=dp_ob_title_bk
http://www.amazon.com/MODERN-PROCESSOR-DESIGN-Fundamentals-Superscalar/dp/0072829680 (tohle byla literatura k nasemu predmetu o procesorech)

Je tam spousta fakt zajimavejch veci o tom jak se co dela.

Ten rozdil neni v tom jestli se pouzije nebo nepouzije branch predictor, ale v tom jestli se pouzije branch nebo conditional move (kterej nepotrebuje branch predict, protoze nedela pipeline stall, protoze nema dependence, protoze RAW hazard kterej to umi zpusobit se udela pres premapovavani registru).

XCHAOS: já dopoňuju jen to, že je to zřejmě vlastnost 64bit procesorů - ne, neni. Branch predictor meli uz stary Pentia. Jestli se to tady projevuje nebo ne je jina vec.

mě to zajímá jen okrajově - coz od cloveka kterej porad rika jak mu hrozne zalezi rychlosti je vcelku bizarni. Ale aspon se potvrdilo co jsem psal na zacatku, totiz ze si z toho vezmes spatne ponauceni. Sice jinak spatne nez jsem cekal, ale aspon neco 8)

REDGUY: ano, já dopoňuju jen to, že je to zřejmě vlastnost 64bit procesorů (u 32bitových to bylo prostě stejně pomalé oboje).

mě to zajímá jen okrajově - je to zajímavé, přeložil jsem to, vyzkoušel jsem to, zabil jsem tím spoustu času, a za sebe tím debatu končím.

XCHAOS: podle manuálové stránky je branch-predict pouze mezi MMIX Options - hele, vis co je MMIX? Divals ses co to je? To je _teoreticka_ RISCova architektura, ke ktery podle wikipedie neexistuje krome nejakyho FPGA neexistuje zadnej kremik. Cili neco, co _vubec_ nesouvisi s tim, co tady resime, tj. tim jak se ten kod chova na x86 nebo x64.

A vysvetleni co je to branch prediction (na urovni procesoru, ne prekladace) samozrejme mas (i s obrazkem) v tom linku. S cimz souvisi nasledujici...

třeba jen hledání ve spojovém seznamu s a bez branch prediction ...ach jo, ach jo, ach jo. Branch prediction je vlastnost _procesoru_, ktera proste funguje _porad_. Cili nejake "hledani bez branch prediction" je nesmysl, na rozdil od "hledani, ktere minimalizuje selhani branch prediction a nevede k patologickym prikladum, jako je ten co ukazal redguy".

REDGUY: dobře, bylo to o branch prediction... co mě ale mate, je že podle manuálové stránky je branch-predict pouze mezi MMIX Options - a není tam zmínka, že by tam byl rozdíl mezi tím O2 a O3

já se spokojím s přiznáním, že úplně přesně co se tam děje, nechápu. ale beru na vědomí, že podobné věci musím ve svých úvahách brát na vědomí - třeba jen hledání ve spojovém seznamu s a bez branch prediction, a navíc setříděném-nesetříděném - jo, to je něco, co by zase zajímalo mě, jak dopadne...

XCHAOS: no, nečetl. chjo. Co dodat. Dokonce i kdyz ve zprave primo tobe urcene napisu link na podrobne a srozumitelne vysvetleni nejakeho jevu, tak se ani neobtezujes si ho precist a misto toho spradas vlastni, samozrejme mylne teorie.

Do prdele prace, jeste se mi nekdo divi ze jsem na XChaose hnusnej?