Odpověď na názor
Odpovídáte na názor k článku Pohled pod kapotu formátu WebAssembly: instrukce pro řízení toku dat. Názory mohou přidávat pouze registrovaní uživatelé. Nově přidané názory se na webu objeví až po schválení redakcí.
-
Právě. Zajímavé je, že tady se sám tváří trošku vysokoúrovňověji než JVM, kde skoky jsou. Ale musí se řešit právě tyto lahůdky jako skok doprostřed instrukce (JVM IIRC zakazuje) a viditelnost proměnných. JVM má celkem komplexní algoritmus verifikace, který řeší tyto srandy, a kterému se asi chtěli autoři wasm vyhnout. A k tomu už i pre-verifikaci, což stručně řečeno znamená, že v class souboru jsou navíc i informace, které je výpočetně jednodušší ověřit než odvodit. Původně pre-verifikace vznikla (zřejmě kvůli výkonu) pro J2ME, v jiné podobě (a možná ne pod tímto názvem) se objevila následně pro Javu SE (snad v 7 to ještě šlo vypnout a 8 to vyžaduje, pokud nemáme starou major verzi).
Pravda, wasm asi část věcí nemusí řešit (IIUC to má jednodušší s typy), ale i tak by stejný postup přinesl část painu.
ČLÁNKY DO MAILU