Přejít na vlákno - Jump threading

tento článek potřebuje další citace pro ověření. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „Přejít na vlákno“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Prosince 2009) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

v výpočetní, skočit na vlákno je optimalizace kompilátoru jednoho skoku přímo na druhý skok. Pokud je druhá podmínka podmnožinou nebo inverzní k první podmínce, lze ji vyloučit nebo protáhnout prvním skokem.^[1] To lze snadno provést v jednom průchodu programem, po acyklických řetězových skokech, dokud kompilátor nedorazí na pevný bod.

Příklad

Následující pseudo kód ukazuje, kdy může být skok vlákno.

   10. a = SomeNumber (); 20. IF a> 10 GOTO 50 ... 50. IF a> 0 GOTO 100 ...

Skok na řádku 50 bude proveden vždy, pokud je proveden skok na řádku 20. Proto může být skok na řádku 20 bezpečně upraven tak, aby skočil přímo na řádek 100.

Reference

Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

${ displaystyle Gamma vdash x: { text {Int}}}$

Tento teorie programovacího jazyka nebo teorie typů související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.