Wasmリンカのつくりかた

WebAssembly night #10
イベント: https://emsn.connpass.com/event/192221/
自作したWasmリンカ: https://github.com/kateinoigakukun/chibi-link

Transcript

1. WasmϦϯΧͷͭ͘Γ͔ͨ
   @kateinoigakukun
   WebAssembly Night #10
   1
   

   View Slide

2. ࣗݾ঺հ
   @kateinoigakukun
   • Πϯλʔϯ at ϝϧϖΠ ΤΩεύʔτνʔϜ
   • SwiftͷWebAssemblyରԠͳͲ
   • ڵຯ: ݴޠॲཧܥ, Swift
   2
   

   View Slide

3. ϦϯΧΛ࡞ΔϞνϕʔγϣϯ
   3
   

   View Slide

4. SwiftWasmϓϩδΣΫτ
   https://swiftwasm.org
   Swift΍LLVMΛϑΥʔΫͯ͠SwiftͷWebAssemblyରԠΛਐΊΔ
   ϓϩδΣΫτɻ
   πʔϧνΣʔϯͷ഑෍΍JavaScriptͱͷ࿈ܞϥΠϒϥϦͷ։ൃͳ
   Ͳ΋΍ͬͯΔɻ
   4
   

   View Slide

5. ϒϥ΢βͰࢼͤ·͢ https://pad.swiftwasm.org/
   5
   

   View Slide

6. ҎલͷSwiftWasm PadͷΞʔΩςΫνϟ
   6
   

   View Slide

7. ໰୊఺
   • Swiftͷඪ४ϥΠϒϥϦ͸α
   Πζ͕େ͖͍
   • αʔόͰඪ४ϥΠϒϥϦ͕
   ϦϯΫ͞Ε͍ͯΔͷͰμ΢
   ϯϩʔυαΠζ͕େ͖͘ͳ
   Δ
   7
   

   View Slide

8. ݱࡏͷSwiftWasm PadͷΞʔΩςΫνϟ
   8
   

   View Slide

9. WasmͷಈతϦϯΫ
   ٞ࿦͸WebAssembly/module-linking ͰਐΜͰ͍Δ͕ɺStable
   ͳAPI͸·ͩແ͍ɻ
   EmscriptenͰ͸ಈతϦϯΫͰ͖ΔΒ͍͕͠Swift͸LLVMͷWasm
   όοΫΤϯυΛ࢖͍ͬͯΔͷͰͦͷ··࢖͑ͳ͍ɻ
   9
   

   View Slide

10. ϒϥ΢βͰಈ͘WasmϦϯΧΛ࡞Ζ͏ʂ
    10
    

    View Slide

11. WebAssemblyͷϦϯΧࣄ৘
    • ίϯύΠϥͱϦϯΧͷؒʹඪ४ͷ࢓༷͕ແ͍1
    • ΦϒδΣΫτϑΝΠϧͷϑΥʔϚοτͳͲ
    • πʔϧνΣʔϯ͝ͱʹίϯϕϯγϣϯ͕͋Δ
    • lld (wasm-ld)͕LLVMͷίϯϕϯγϣϯΛຬͨ͢།Ұͷ࣮૷
    ʢଞʹ΋͋Ε͹ڭ͑ͯԼ͍͞ʣ
    1 ҰԠυΩϡϝϯτ͸͋Δ https://github.com/WebAssembly/tool-conventions/blob/master/Linking.md
    11
    

    View Slide

12. ϦϯΧͷ࢓ࣄ
    • ಉ͡ηΫγϣϯΛϚʔδ
    • γϯϘϧͷղܾ
    • ࠶഑ஔ
    12
    

    View Slide

13. ಉ͡ηΫγϣϯΛϚʔδ
    • ࣈͷ͝ͱ͘Ϛʔδ͢Δ
    • ϦϯΧ͕ੜ੒͢Δؔ਺΍
    σʔλྖҬ΋͓ࠞͥͯ͘
    • ελοΫྖҬ
    (__stack_pointer)
    • ίϯετϥΫλ
    (__wasm_call_ctors)
    13
    

    View Slide

14. γϯϘϧͷղܾ
    // lib.c
    int add(int a, int b) {
    return a + b;
    }
    // main.c
    int add(int a, int b);
    int main(void) {
    return add(1, -1);
    }
    14
    

    View Slide

15. ࠶഑ஔ
    ࠶഑ஔϨίʔυͱγϯϘϧςʔϒϧΛݩʹϦϯΫޙͷγϯϘϧ
    ͷΞυϨεΛॻ͖ࠐΉ
    // main.c
    int add(int a, int b);
    int main(void) {
    return add(1, -1); // addؔ਺ͷϦϯΫޙͷΞυϨεΛ஌Γ͍ͨ
    }
    15
    

    View Slide

16. $ wasm-objdump --details --section=reloc.CODE main.o
    main.o: file format wasm 0x1
    Section Details:
    Custom:
    - name: "reloc.CODE"
    - relocations for section: 3 (Code) [5]
    - R_WASM_GLOBAL_INDEX_LEB offset=0x000006(file=0x00008f) symbol=1
    - R_WASM_GLOBAL_INDEX_LEB offset=0x00001b(file=0x0000a4) symbol=1
    - R_WASM_FUNCTION_INDEX_LEB offset=0x000038(file=0x0000c1) symbol=2
    - R_WASM_GLOBAL_INDEX_LEB offset=0x00004d(file=0x0000d6) symbol=1
    - R_WASM_FUNCTION_INDEX_LEB offset=0x00005b(file=0x0000e4) symbol=0 <__original_main>
    16
    

    View Slide

17. $ wasm-objdump --details --section=reloc.CODE main.o
    main.o: file format wasm 0x1
    Section Details:
    Custom:
    - name: "reloc.CODE"
    - relocations for section: 3 (Code) [5]
    - R_WASM_GLOBAL_INDEX_LEB offset=0x000006(file=0x00008f) symbol=1
    - R_WASM_GLOBAL_INDEX_LEB offset=0x00001b(file=0x0000a4) symbol=1
    - R_WASM_FUNCTION_INDEX_LEB offset=0x000038(file=0x0000c1) symbol=2
    - R_WASM_GLOBAL_INDEX_LEB offset=0x00004d(file=0x0000d6) symbol=1
    - R_WASM_FUNCTION_INDEX_LEB offset=0x00005b(file=0x0000e4) symbol=0 <__original_main>
    16
    

    View Slide

18. kateinoigakukun/chibi-link
    • ࠓճ࡞ͬͨSwift੡WasmϦϯΧ
    • SwiftΛϦϯΫ͢Δͷʹ࠷খݶͳػೳ
    • ϦϯΧຊମ͸3000ߦ͘Β͍Ͱখ͞Ί
    $ wasmtime run --mapdir=/var/tmp::$(pwd) chibi-link.wasm -- \
    /var/tmp/lib.o /var/tmp/main.o -o /var/tmp/output.wasm
    17
    

    View Slide

19. ͕͜͜ਏ͍ΑϦϯΧ։ൃ
    • ίϯύΠϥͱϦϯΧͷࡉʑͨ͠໿ଋ͕໌จԽ͞Ε͍ͯͳ͍
    • σʔληάϝϯτͷ։࢝ͱऴΘΓͷΞυϨεΛ__start_/
    __stop_{{segment_name}}ͷγϯϘϧͰެ։͠ͳ͍ͱ͍͚ͳ͍
    • ؔ਺ςʔϒϧͷ0൪໨͸τϥοϓͷͨΊʹ֬อ͢Δ
    • etc...
    • σόοά͕େม
    • ϦϯΫ݁Ռ͕յΕ͍ͯΔͱɺϝϞϦΛഁյ͠ͳ͕Βಈ͍ͪΌ͏
    18
    

    View Slide

20. ·ͱΊ
    • ΫϥΠΞϯταΠυϦϯΧ͕https://pad.swiftwasm.org/ Ͱ࢖
    ΘΕͯΔ
    • ϦϯΧͷ΍Δ͜ͱ͸ҙ֎ͱগͳ͍
    • Wasm͸࢓༷͕·ͩখ͍͞ͷͰϦϯΧΛॻ͘ͷʹ͓͢͢Ίʂ
    19
    

    View Slide