自作言語をrustでwasmにコンパイルする

自作言語をparseして、wasmの四則演算と関数exportにマッピングするまでを行いました。

Transcript

1. ࣗ࡞ݴޠΛ wasmʹίϯύΠϧ͢Δ karamaru
2. ݁࿦ Rust੡ͷࣗ࡞ݴޠΛࣗྗͰwasmόΠφϦʹม׵ͯ͠ ϒϥ΢βͰ࣮ߦͯ͠ΈͨΑʂ (࢛ଇԋࢉͱؔ਺exportͷΈ)
3. ͜Μͳײ͡ ࣗ࡞ݴޠ wasmόΠτίʔυ ϒϥ΢βͰ࣮ߦ ͜͜Λ࡞Δ!
4. ɾWebAssembly֓ཁ ɾHello! Wasm! ɾast·Ͱ࡞Δ ɾࣈ۟ղੳ ɾߏจղੳ ɾwasmม׵Λ࡞Δ ɹɾόΠφϦ༷ࣜ ໨࣍
5. Wasm֓ཁ ɾϒϥ΢βͰಈ͘όΠτίʔυ ɾjsҎ֎ͷߴ଎ͳݴޠͰॲཧΛ࣮ߦͤ͞Δ͜ͱ͕໨తͩͬͨ -> લ਎͸asm.jsɻjsαϒηοτͱͯ͠ಈ࡞ͯ͠AOTίϯύΠϧ͕ߦΘΕΔɻ ɾԾ૝తͳϋʔυ΢ΣΞͰಈ͘௿ਫ४ͳ໋ྩͷू·Γͱͯ͠ϞδϡʔϧΛఆٛͰ͖Δ -> runtimeଆͰ໌ࣔతʹڐՄ͞Εͨ΋ͷ͚࣮ͩߦՄೳ (sandbox) ɾݴޠෆ໰ͰίϯύΠϧͰ͖Δ ɾ͜ͷن໿ΛԠ༻ͯ͠ϒϥ΢β֎Ͱ࣮ߦ͠Α͏ͱ͢Δಈ͖΋࠷ۙଟ͍Ͱ͢ΑͶ
6. ࣗ࡞ݴޠͱwasm ࣗ࡞ݴޠ͔ΒwasmΛు͚ΔΑ͏ʹͳΕ͹ ଞͷݴޠͷruntimeʹཔΒͣಈ͔͢͜ͱ͕Ͱ͖Δʂ LLVM IRม׵Ͱ΋ྑ͍͚Ͳ௚઀wasmు͖͍ͨʂ
7. ׬੒Πϝʔδ Chorome console ಠࣗݴޠ(text)͔Β ͜ΕܥͷόΠτίʔυΛు͚Ε͹͍͍
8. ͜Μͳײ͡ͰਐΊ·͢ 1. ࣗ࡞ݴޠͷίʔυ४උ 2. τʔΫϯԽ lexser 3. ߏจղੳ parser 4. wasmԽ emitter
9. ࣗ࡞ݴޠͷίʔυ ܕͳ͠ͷؔ਺ͬΆ͍΍ͭʂ ͜ΕΛwasmԽͯ͠ ϒϥ΢βͰ࣮ߦ͢Δ·ͰؤுΔ🔥
10. ࣈ۟ղੳ Lexser ·ͣ͸ࣈ۟ղੳʂ ϓϩάϥϜΛτʔΫφΠζͯ͠ɺ ಠࣗݴޠΛಡΈਐΊΔࡍͷ࠷খ୯Ґ(τʔΫϯ)ͷࣝผ͢Δɻ fn … ؔ਺એݴ add … ࣝผࢠ ( … ࠨׅހ a … ࣝผࢠ , … ΧϯϚ ͱ͔ɺ ه߸΍਺஋,ࣝผࢠͳͲͷίʔυͷ࠷খ୯ҐΛཧղ͠·͢
11. ࣈ۟ղੳ ࣮૷ جຊ1จࣈͣͭ ύλʔϯϚονͰ൑ผ enumʹ஋Λ࣋ͨͤΒΕΔ
12. ࣈ۟ղੳث ׬੒ʂ ࣮ࡍ͸ߏจղੳͰιʔείʔυΛಡΈਐΊΔࡍʹ ౎౓ࣈ۟ղੳ͢ΔΜ͚ͩͲݟ΍͢͞తʹશ෦ग़ͯ͠Δ τʔΫϯԽʹ੒ޭ͠·ͨ͠Ͷ
13. ߏจղੳ ࣍͸ߏจղੳʂ ࿈ଓ͢ΔτʔΫϯྻ͔Βҙຯͷ͋Δ·ͱ·Γ(ߏจ)Λࣝผ͢Δɻ Lexser ͜ͷτʔΫϯྻ͸… ɾࣝผࢠʮaddʯͰఆٛ͞ΕΔؔ਺ఆٛͩʂ ɾࣝผࢠʮaʯͱʮbʯͰఆٛ͞ΕΔҾ਺͕͋Δʂ ɾ಺෦Ͱ͸ʮa + b * 2ʯΛߦͳ͍ͬͯΔʂ తͳ
14. ߏจղੳ ܕఆٛ ϓϩάϥϜ͸จ(statement)ͷू߹ମ ਺஋ܕ΍ؔ਺Λࣜ(expression)ͱͯ͠ѻ͏ If/for/letͱ͔͸࣮૷ͯ͠ͳ͍ͷͰจ͸ࣜͷΈ
15. ߏจղੳ ࣮૷ Expression::Infix( Infix::Plus, Expression::Integer(1), Expression::Integer(2), ) ྫ͑͹ʮɹ1 + 2ɹʯͩͬͨΒ precedence: ༏ઌॱҐ
16. ߏจղੳث ׬੒ AST͕Ͱ͖·ͨ͠Ͷ ֻ͚ࢉΛઌʹ΍ͬͯΔͷ΋͑Β͍ʂ
17. ͜Ε͔Β͍ͨ͜͠ͱ wasmόΠτίʔυ ͜͜Λ࡞Δʂ WasmόΠφϦܗࣜΛݟΔඞཁ͕͋Δ Emitter
18. WasmόΠφϦΛͭͬͯ͘ΈΑ͏ʂ όΠφϦܗࣜΛֶͿͨΊʹaddؔ਺ͷwasmΛͭ͘Δʂ ɾwasm͸ςΩετܗࣜ(Sࣜ)Ͱهड़Ͱ͖Δ = wat ɾwat2wasmΛ༻͍ͯม׵Ͱ͖Δ wasm͸ελοΫϚγϯͳΜͩͶʂ
19. WasmόΠφϦΛݟͯΈΑ͏ʂ ɾγϯϓϧͳ଍͠ࢉؔ਺ͷexport͸41byteͰදݱͰ͖Δʂ ɾಠࣗݴޠͷιʔείʔυ(ast)͔Β͜ΕΛग़ͤΕ͹উͪ Addؔ਺ͷwasmΛݩʹɺܗࣜΛਅࣅ͍ͯ͜͏ʂ
20. WasmͷηΫγϣϯ: ϓϦΞϯϒϧ ɾ4όΠτͷϚδοΫφϯόʔʢasmͷASCIIίʔυʣɻwasmϞδϡʔϧͩͱೝࣝͤ͞Δɻ ɾ4όΠτόʔδϣϯ൪߸ (ݱࡏ͸1) https://webassembly.github.io/spec/core/binary/modules.html#binary-magic
21. WasmͷηΫγϣϯ: ϓϦΞϯϒϧ ࣮૷ ɾ8όΠτ٧ΊΔ͚ͩ ɾ͜Ε͔Β͸emitؔ਺Ͱast͔Βbytecodeม׵Λߦ͏
22. WasmͷηΫγϣϯ: Type module಺Ͱ࢖༻͞ΕΔؔ਺ͷγάωνϟΛએݴ͢Δ https://webassembly.github.io/spec/core/binary/types.html http://webassembly.github.io/spec/core/binary/types.html#function-types https://webassembly.github.io/spec/core/binary/modules.html#type-section 01: ηΫγϣϯ൪߸ 07: ηΫγϣϯbodyͷbyte਺ 01: ؔ਺ͷγάωνϟͷݸ਺ 60 02 7f 7f 01 7f: fn (i32, i32) -> i32
23. WasmͷηΫγϣϯ: Type ࣮૷ ϓϩάϥϜ͔Βؔ਺Λ୳ͯ͠ γάωνϟຖʹu8ͷvectorΛ࡞੒͢Δ
24. WasmͷηΫγϣϯ: Function ɾWasmϞδϡʔϧ಺Ͱ࢖༻͞ΕΔ֤ؔ਺ͷએݴ ɾؔ਺ͱγάωνϟΛඥ͚ͮΔ 03: ηΫγϣϯ൪߸ 02: ηΫγϣϯbodyͷbyte਺ 01: ؔ਺ͷ૯਺ 00: index0ͷؔ਺͸ɺindex0ͷγάωνϟʹରԠ͢Δ https://webassembly.github.io/spec/core/binary/modules.html#function-section
25. WasmͷηΫγϣϯ: Function ࣮૷ ؔ਺ͱ TypeηΫγϣϯͰొ࿥ͨ͠γάωνϟͷ IndexΛඥ͚ͮΔ
26. WasmͷηΫγϣϯ: Export ϗετ؀ڥʹఏڙ͢ΔશͯͷΦϒδΣΫτͷએݴ 07: ηΫγϣϯ൪߸ 07: ηΫγϣϯbodyͷbyte਺ 01: export͢Δݸ਺ 03: ࣝผࢠͷbyte਺ 61 64 64: ࣝผ໊add 00: exportछผ(ؔ਺) 00: exportͷindex http://webassembly.github.io/spec/core/binary/modules.html#export-section
27. WasmͷηΫγϣϯ: Export ࣮૷ Export͢Δؔ਺ͷ໊લ৘ใ ͱindexΛ٧ΊΔʂ
28. WasmͷηΫγϣϯ: Code ؔ਺ͷ಺༰Λఆٛ͢Δ (΍ͬͱຊ୊ײ) 0a: ηΫγϣϯ൪߸ 09: ηΫγϣϯbodyͷbyte਺ 01: ؔ਺ͷݸ਺ 07: ؔ਺(index:0)ͷbyte਺ 00: ؔ਺಺ͷม਺એݴ਺ 20: GetLocal 00: Ҿ਺1൪໨ 20: GetLocal 01: Ҿ਺2൪໨ 6a: plus 0b: end https://webassembly.github.io/spec/core/binary/modules.html#binary-codesec https://webassembly.github.io/spec/core/binary/instructions.html
29. WasmͷηΫγϣϯ: Code ࣮૷ ΘͪΌΘͪΌ
30. WasmͷηΫγϣϯ: Code ݁Ռʂ ଞʹ΋section͋Δ͚Ͳɺࠓճ͸͜ΕͰे෼
31. WasmόΠφϦͰ͖ͨʂ ࠓ·ͰͷsectionΛܨ͗߹Θͤͯ… ׬੒ʂ
32. ݁Ռ: ಠࣗιʔεͷ༻ҙͱίϯύΠϧ ؔ਺ͷ಺༰Λఆٛ͢Δ
33. ݁Ռ: wasmಡΈࠐΈ&ϒϥ΢βͰ࣮ߦ python3 -m http.server Index.html ॕʂʂ🎉
34. ·ͱΊ ɾࣗ࡞ݴޠ͕ಈ͘ͷ͸ͨͷ͍͠ ɾWasiରԠͱ͔͍ͨ͠ ɾࠓޙ΋௥͍͖͍ٕͬͯͨज़
35. ࢀߟจݙ wasm-compiler-in-rust https://github.com/karamaru-alpha/wasm-compiler-in-rust WebAssembly binary format. https://webassembly.github.io/spec/core/binary/ ϋϯζΦϯWebAssembly https://www.oreilly.co.jp/books/9784814400102/ WebAssemblyͷྺ࢙ʹ͍ͭͯ https://zenn.dev/hodagi/articles/4925afbeb3c4dc#fn-9e18-10 Linuxίϯςφͷ࣍ͱͯ͠ͷWebAssembly https://zenn.dev/koduki/articles/9f86d03cd703c4
36. fin.