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

V práci na počítači , skok závitů je optimalizace kompilátoru jednoho skoku přímo do druhého skoku. Pokud je druhá podmínka podmnožinou nebo inverzní k první podmínce, lze ji vyloučit nebo protáhnout prvním skokem. 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í pseudokó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 článek o informatice je útržek . Wikipedii můžete pomoci rozšířením .

• proti
• t
• E

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

Tento článek týkající se teorie programovacího jazyka nebo teorie typů je útržek . Wikipedii můžete pomoci rozšířením .

• proti
• t
• E