Názory k článku Pohled pod kapotu formátu WebAssembly: základní instrukční sada

Jen jsem si říkal, jestli interpret wasm byte code není implementován pro jiné jazyky než javascript, třeba že bych tím umožnil skriptování ve své aplikaci (v C++). Šlo třeba o psaní strategií pro trading bota, kde by se rychlost hodila a přitom stále nenutit tvůrce psát přímo v C++.

Jestli to někde je zmíněno, tak se omlouvám, článek jsem ještě nedočetl.

Interpret pre WASM je extremne jednoduche napisat, je dostupny hadam vo vsetkych jazykoch.

https://github.com/mbasso/awesome-wasm?tab=readme-ov-file#non-web-embeddings

Ak chcete embeded sriptovanie, co je richle, co takto Lua? Je to zaujimavy jazyk urceny presne na embedovanie do C/C++ kodu.

ted se koukam, ze vsechny hodnoty jsou ulozene v zasobniku a jedine pametove operace jsou load a store na zasobnik.
tak to bych primo mohl psat v assembleru wasm podobne jako jsem kdysi programoval rucne v postscriptu, tehdy jsem si udelal sestiuhelnikovy papir po vzoru ctvereckovaneho papiru :-)

ja si rikam, proc vsechny virtualni masiny musi chroustat binarni kod?
proc nemaji virtualni masinu, ktera by primo brala funkcionalni jazyk apod.

Chtějí se zbavit parsingu a věcí okolo něho; navíc bajtkód může být dobře zpětně kompatibilní. Ten bajtkód se strašně jednoduše (a asi i rychle) interpretuje, atd. Možná by dával smysl mezijazyk ve stylu, jaký má LLVM.

Mezijazyk ve stylu LLVM už zkoušel ChromeOS (NaCl pluginy) a časem to byl jen bolehlav. Museli by patchovat vlastní fork LLVM, jak by se rozjížděl vývoj.

Protože ti pak stačí jedna virtuální mašina na spoustu jazyků. Který funkcionální jazyk by měl WASM brát?

Cílem WASM je mít "něco jako assembler" se sandboxem v prohlížeči, aby z browserů mohl postupně vymřít Javascript (bohužel se mezitím stihnul rozšířit jako mor i jinam, tak to možná nakonec nedopadne)

spis to melo nahradit / nahrazuje ActiveX, ktere melo az prilis mnoho prav (resp. tenkrat ani srnky netusili, co to sandbox je). Binarni format mel i Flash, ale tam to bylo nebezpecny i uzavreny zaroven. A pote co jsme se techto zrudnosti zbavili pres dvere.. se nam to vraci oknem :D

no ono se to vrací v jiné podobě. Zatímco ActiveX nebo JRE (applety) si tahaly obrovskej runtime (JRE mělo aspoň dobrej sandboxing), tak dnešní WebAssembly je naopak zcela minimalistické VM. Dokonce ani nemá implementaci print() :-) nemluvě o GC apod. Navíc WebAssembly už je přímo v prohlížečích, takže nehrozí problémy s JRE (a že jich bylo přehršel) apod.

GC už ve WebAssembly je, hodí se na podporu jazyků s GC (Java, ...): https://developer.chrome.com/blog/wasmgc

Flash byl později v Chrome sandboxovaný, ale těžko ho brát jako podloží pro ostatní jazyky (byl to produkt externí firmy, a ta si mohla dělat změny formátu).

ActiveX měl pak povolování podobné tomu pro Java aplety. Takže jsi whitelistoval to, čemu jsi věřil, případně firemní věci whitelistované automaticky firemní politikou.

22. 11. 2025, 18:29 editováno autorem komentáře

A realita je uplne jinde ....

Primarne jde totiz o to zakamuflova a co nejvic skryt, co to vlastne dela, a predevsim znemoznit to, co se s js da delat uplne snadno = blokovani cehokoli.

WASM měl sloužit k lecčemuz ale k vymýcení JavaScriptu fakt ne.

a co Javascript, nebo PHP ? to prece taky ma VM/JIT nekde vzadu..

Jinak binarni kod a ISA je snadneji definovatelna - vis ze mas registry, priznaky, interakce, code flow. Velice konkretne a jednoznacne danej.

Naproti tomu se podivej jakej gulas prineslo C ... char je 8 bit, nebo taky vice, nema to bit/bool, ale podminene vyrazy jsou dle integeru, neni definovany presne chovani signed/unsigned... a takovych sedych zakouti tam je prehrsel... a to se bavime pouze o "C". V C++ tu sedou zonu mas na kvadrat do dalsi dimenze :D a dalsi jazyky co maj async/yield tomu pak davaj zas nove neurcitosti v casove ose.

no podle toho co jsem cetl, tak wasm engine nema registry a pouziva na vsecko zasobnik.
mi se libil memory model 8-bitovych pocitacu, jedna linearni pamet a clovek presne vedel co dela ktera pametova bunka :-)

Jo, to bylo fajn, ale chápu, že chtěli něco trochu víc "high-level", kde se dá pracovat aspoň s 64-bit čisly.

Přijde mi, že skoro všechny VM jsou dneska stack-based, asi se metodou pokus-omyl přišlo na to, že jsou jednodušší než registrové a přitom dostatečně rychlé (a i dobře JITovatelné, jak je vidět na JVM)

Proc dneska? Takovy Forth ma 55 let :D

"memory model 8-bitovych pocitacu"

Predevsit to byly staticky ramky, kdyz si dal precist bajt, tak ti to behem typicky jednoho cyklu vratilo vysledek.

Ne jako dneska, kdy vlastne nevis, za jak dlouho ten obsah dostanes. A co hur, prumerna latence se v ramci honu na MB/s uz desitky let jen zhorsuje.

Latence dosahle technologickeho minima a je uz nekolik generaci konstantni, pokud ji umele nezhorsime spatnym navrhem pametoveho radice.

Ale na latence se v dobe vicejadrovych/vi­cevlaknovych procesoru a algoritmu nemusi uplne hledet. A v pripade ze jednojadrovy cpu ma out of order execution, tak to dokonce ani nevadi u single thread procesoru/apli­kace.. o data to zada mnohem drive (ale pak to ma samozrejme vedlejsi efekty.. a la spectre a meltdown).