Vlákno názorů k článku Pohled pod kapotu JVM – překlad programových smyček do bajtkódů JVM, Lua VM a Python VM od Tomas Z - Díky za článek. <q>... skok lze totiž provést pouze...

3. 6. 2014 8:50

Tomas Z (neregistrovaný)

Díky za článek.

<q>... skok lze totiž provést pouze v rámci těla jedné metody, není tedy možné skočit na libovolné místo v bajtkódu, což ostatně platí i pro všechny další VM.</q>

Takže všechny tyhle VM dobrovolně rezignují na optimalizaci tail callů jinam, nebo mi něco uniká? Nebo to optimalizuje až JIT podle známě sekvence?

Co mně dál zaujalo je že z bajtkódu clispu si vybavuju instrukci pro table-driven skok podle hodnoty; to (nebo něco podobného) tu není, nebo to jen není zmíněno?
- Skok na další nový názor. K navigaci lze použít i klávesy N pro následující a P pro předchozí nový názor
3. 6. 2014 19:40

Pavel Tišnovský

Zlatý podporovatel

Nejenom na optimalizaci tail callů mimo vlastní funkci/metodu, ale třeba JVM nedokáže optimalizovat ani na tail call v rámci jedné metody, tj. překlad do normální smyčky bez použití zásobníku. Pro samotnou Javu to až takový problém není, ta je FP na hony vzdálena :-) ale pro jazyky postavené nad JVM se už vymýšlí různé vychytávky, jak to obejít (přes GOTO).

Vlákno názorů k článku Pohled pod kapotu JVM – překlad programových smyček do bajtkódů JVM, Lua VM a Python VM od Tomas Z - Díky za článek. &lt;q&gt;... skok lze totiž provést pouze...