20171018-WASM

Transcript

1. WASM1.0リリース記念（？） 最近の状況アップデート @chikoski

2. None

3. IUUQTDBOJVTFDPNGFBUXBTN

4. IUUQTDBOJVTFDPNGFBUXBTN

5. Module definition https://rsms.me/wasm-intro

6. WAT: text format IUUQXFCBTTFNCMZPSHEPDTUFYUGPSNBUMJOFBSJOTUSVDUJPOT

7. JS API GFUDI BEEXBTN 

   
   UIFO SFT
   
   SFTBSSBZ#VGGFS
   
   
   UIFO CVG
   
   

   
   
   
   
   
   8FC"TTFNCMZDPNQJMF CVG
   
   
   UIFO CJO
   
   
   
   
   
   
   
   8FC"TTFNCMZJOTUBOUJBUF CJO
   \^
   
   
   UIFO NPE
   
   NPEBEE 
    
   

8. WebEmbedding API 8FC"TTFNCMZ
   
   
   DPNQJMF4USFBNJOH BEEXBTN
   
   
   UIFO CJO
   
   
   
   
   
   
   8FC"TTFNCMZJOTUBOUJBUF CJO

   
   \^
   
   
   UIFO NPE
   
   NPEBEE 
    
   8FC"TTFNCMZ
   
   
   JOTUBOUJBUF4USFBNJOH BEEXBTN
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   \^
   
   
   UIFO NPE
   
   NPEBEE 
    

9. Languages and Tools Tool Language Compiler website Emscripten C /

   C++ http://kripken.github.io/emscripten-site/ Clang C / C++ https://llvm.org/ Rustc Rust https://rust-lang.org/ AssemblyScript TypeScript https://github.com/AssemblyScript/assemblyscript Binaryen IR(LLVM / TS / Rust MIR) https://github.com/WebAssembly/binaryen Wabt S-expression / text https://github.com/WebAssembly/wabt Unity Unity(C#) http://unity3d.com/ mono-wasm C# https://github.com/lrz/mono-wasm

10. WASM Tool chains

11. Emscripten vs Clang • I have not compared in performance

    • Emscripten has advantage in • Porting project • Library support • File system support • Easy installation • Clang has advantage in • Creating relatively small modules

12. Tool installation: Emscripten 
    63-IUUQTTBNB[POBXTDPN NP[JMMBHBNFTFNTDSJQUFOSFMFBTFT FNTELQPSUBCMFUBSH[
    
    DVSM
    63-
    ]
    UBS
    [Y
    
    
    DE
    FNTELQPSUBCMF
    
    FNTEL
    JOTUBMM
    MBUFTU
    
    FNTEL
    BDUJWBUF
    MBUFTU
    

    
    TPVSDF
    FNTEL@FOWTI

13. Tool installation: LLVM x Clang 
    DVSM
    IUUQSFMFBTFTMMWNPSHMMWNTSDUBSY[
    ]
    UBS
    +YG
    
    
    DE
    MMWNTSDUPPMT
    
    DVSM
    IUUQSFMFBTFTMMWNPSHDGFTSDUBSY[
    ]
    UBS
    +YG
    
    
    
    DE
    
    
    NLEJS
    CVJME
    

    
    DE
    CVJME
    
    DNBLF
    %--7.@&91&3*.&/5"-@5"3(&54@50@#6*-%8FC"TTFNCMZ
    =
    
    
    
    MMWNTSD
    
    NBLF
    
    NBLF
    JOTUBMM

14. Tool dependencies (In macOS)

15. Env. setup to dev. with Rust 1. Install XCode 2.

    Install XCode Command Line Tools 3. Install Homebrew 4. Install cmake with Homebrew 5. Install emsdk 6. Install Emscripten 7. Install rustup 8. Add target architecture 
 "wasm32-unkown-emscripten"

16. Tool installation: rustc & wasm32 JOTUBMM
    &NTDSJQUFO
    QSJPS
    UP
    UIJT
    
    DVSM
    IUUQTTISVTUVQST
    T4G
    ]
    TI
    
    SVTUVQ
    UBSHFU
    =
    
    
    BEE
    XBTNVOLOPXOFNTDSJQUFO
    
    TPVSDF
    _DBSHPFOW

17. Webpack • http://webpack.js.org/ • A bundler: • Resolve module dependencies

    • Packs multiple files into 1 file

18. MOSS Program funded Webpack to implement first-class support for WASM

    IUUQTNFEJVNDPNXFCQBDLXFCQBDLBXBSEFEGSPNNPTTQSPHSBNGFFBBGF

19. Loader • WebPack: bundler framework • Loader • Defines a

    transformation applied on the source module • E.g. css-loader, ts-loader, babel-loader • Loaders for development with WASM • wasm-loader • cpp-loader, rs-wasm-loader

20. wasm-loader IUUQTHJUIVCDPNCBMMFSDBUXBTNMPBEFS JNQPSU
    NBLF'BDUPSJBM
    
    
    
    GSPN
    XBTNGBDUPSJBM
    NBLF'BDUPSJBM UIFO JOTUBODF
    
    \
    
    
    DPOTU
    GBDUPSJBM
    
    
    
    
    
    JOTUBODFFYQPSUTGBDUPSJBM
    
    
    DPOTPMFMPH

    GBDUPSJBM  
    
    
    
    
    DPOTPMFMPH GBDUPSJBM  
    
    
    
    
    DPOTPMFMPH GBDUPSJBM  
    
    
    ^ 
    

21. 
    JOTUBOUJBUF
    XJUI
    GFFEJOH
    JNQPSUT
    NBLF'BDUPSJBM \
    
    
    HMPCBM
    \^
    
    
    FOW
    \
    
    
    
    
    NFNPSZ
    OFX
    8FC"TTFNCMZ.FNPSZ \JOJUJBM
    
    MJNJU
    ^
    

    
    
    
    
    UBCMF
    OFX
    8FC"TTFNCMZ5BCMF \JOJUJBM
    
    FMFNFOU
    BOZGVOD^
    
    
    ^
    ^ UIFO JOTUBODF
    
    \
    
    DPEF
    IFSF
    
    ^ 
    
    EFGBVMU
    JNQPSUT
    \
    
    
    HMPCBM
    \^
    
    
    FOW
    \
    
    
    
    
    NFNPSZ
    OFX
    .FNPSZ \JOJUJBM
    
    MJNJU
    ^
    
    
    
    
    UBCMF
    OFX
    5BCMF \JOJUJBM
    
    FMFNFOU
    BOZGVOD^
    
    
    ^
    ^
    

22. cpp-loader https://github.com/arcanis/cpp-loader JNQPSU
    \
    BEEJUJPO
    SBOHF
    ^
    
    
    
    GSPN
    MJCDD
    DPOTPMFMPH BEEJUJPO 
     
    

    DPOTPMFMPH SBOHF 
     
    
    
    
    
    /PUF
    
    
    5IJT
    MPBEFS
    HFOFSBUFT
    BTNKT
    
    "WBJMBCMF
    POMZ
    PO
    8JOEPXT
    
    
    
    

23. rust-wasm-loader
 IUUQTHJUIVCDPNJBOKTJLFTSVTUXBTNMPBEFS DPOTU
    XBTN
    
    SFRVJSF NBJOST 
    XBTNJOJUJBMJ[F UIFO NPEVMF
    
    \
    
    
    DPOTU
    EPVC
    
    
    
    
    
    
    
    NPEVMFDXSBQ

    EPVC
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    OVNCFS
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    <OVNCFS> 
    
    
    DPOTPMFMPH EPVC  
    ^ 
    

24. AssemblyScript

25. TypeScript -> WASM • TypeScript compiler API + 
 Binaryen's

    WASM backend • Compiler itself are written in TypeScript • What to except • All types must be annotated • Optional function parameters require an initializer expression • Union types (except classType | null representing a nullable), any and undefined are not supported by design • The result of logical && / || expressions is always bool

26. Installation 
    OQN
    JOTUBMM
    BTTFNCMZTDSJQU

27. Compiler usage 
    BTD
    <PQUJPOT>
    FOUSZ'JMF
    
    BTD
    P
    NBJOXBTN
    NBJOUT
    
    BTD
    P
    NBJOXBTN
    UFYU'JMF
    NBJOXBU
    NBJOUT
    
    BTD
    OP3VOUJNF
    P
    NBJOXBTN
    UFYU'JMF
    NBJOXBU
    NBJOUT
    
    BTD
    OP3VOUJNF
    0
    P
    NBJOXBTN
    UFYU'JMF
    NBJOXBU
    NBJOUT

28. Sample code FYQPSU
    GVODUJPO
    BEE B
    J
    C
    J 
    J
    \
    
    
    SFUVSO
    B
    
    C
    ^
    

29. Generated WASM file NPEVMF
    
    
    UZQF
    
    GVOD
    QBSBN
    J
    J

    
    SFTVMU
    J
    
    
    UZQF
    
    GVOD
    QBSBN
    J
    SFTVMU
    J
    
    
    GVOD
    BEE
    UZQF
    
    QBSBN
    J
    J
    SFTVMU
    J
    
    
    
    
    HFU@MPDBM
    
    
    
    
    
    HFU@MPDBM
    
    
    
    
    
    JBEE
    
    
    NFNPSZ
    
    
    
    
    FYQPSU
    BEE
    GVOD
    BEE
    
    
    FYQPSU
    NFNPSZ
    NFNPSZ
    

30. Only "export function" is exported FYQPSU
    GVODUJPO
    BEE B
    J
    C
    J 
    J
    \
    
    
    SFUVSO
    B
    

    
    C
    ^
    GVODUJPO
    JOWFSU4JHO B
    J 
    J
    \
    
    
    SFUVSO
    B
    ^
    FYQPSU
    GVODUJPO
    TVC B
    J
    C
    J 
    J
    \
    
    
    SFUVSO
    BEE B
    JOWFSU4JHO C 
    ^

31. Only "export function" is exported NPEVMF
    
    
    UZQF
    
    

    GVOD
    QBSBN
    J
    J
    SFTVMU
    J
    
    
    UZQF
    
    GVOD
    QBSBN
    J
    SFTVMU
    J
    
    
    GVOD
    BEE
    UZQF
    
    QBSBN
    J
    J
    SFTVMU
    J
    
    TOJQ
    
    
    GVOD
    JOWFSU4JHO
    UZQF
    
    QBSBN
    J
    SFTVMU
    J
    
    TOJQ
    
    
    GVOD
    TVC
    UZQF
    
    QBSBN
    J
    J
    SFTVMU
    J
    
    TOJQ
    
    
    NFNPSZ
    
    
    
    
    FYQPSU
    BEE
    GVOD
    BEE
    
    
    FYQPSU
    TVC
    GVOD
    TVC
    
    
    FYQPSU
    NFNPSZ
    NFNPSZ
    
    

32. Constructor: memory initializer FYQPSU
    DMBTT
    1PJOU
    \
    
    
    QVCMJD
    Y
    J
    
    
    QVCMJD
    Z
    J
    
    
    DPOTUSVDUPS Y
    J
    Z
    J
    \
    

    
    
    
    
    UIJTY
    
    Y
    
    
    
    
    UIJTZ
    
    Z
    
    
    ^
    ^ GVOD
    1PJOU
    UZQF
    
    
    
    
    QBSBN
    J
    J
    J
    SFTVMU
    J
    
    
    CMPDL
    SFTVMU
    J
    
    
    MBCFM
    
    !
    
    
    
    
    HFU@MPDBM
    
    
    
    
    
    HFU@MPDBM
    
    
    
    
    
    JTUPSF
    
    
    
    
    HFU@MPDBM
    
    
    
    
    
    HFU@MPDBM
    
    
    
    
    
    JTUPSF
    PGGTFU
    
    
    
    
    HFU@MPDBM
    
    
    
    FOE
    

33. Methods are translated into functions FYQPSU
    DMBTT
    1PJOU
    \
    
    
    QVCMJD
    Y
    J
    
    
    QVCMJD
    Z
    J
    
    
    DPOTUSVDUPS Y
    J

    
    Z
    J
    \
    
    
    
    
    UIJTY
    
    Y
    
    
    
    
    UIJTZ
    
    Z
    
    
    ^
    
    
    QVCMJD
    OPSN 
    J
    \
    
    
    
    
    SFUVSO
    BEE UIJTY
    UIJTZ 
    
    
    ^
    
    
    QVCMJD
    EJTUBODF QPJOU
    1PJOU 
    J
    \
    
    
    
    
    SFUVSO
    UIJTOPSN
    
    QPJOUOPSN 
    
    
    ^
    ^
    GVOD
    1PJOUOPSN
    UZQF
    
    
    
    
    QBSBN
    J
    SFTVMU
    J
    
    
    HFU@MPDBM
    
    
    
    JMPBE
    
    
    HFU@MPDBM
    
    
    
    JMPBE
    PGGTFU
    
    
    DBMM
    BEE
    GVOD
    1PJOUEJTUBODF
    UZQF
    
    
    
    
    QBSBN
    J
    J
    SFTVMU
    J
    
    
    HFU@MPDBM
    
    
    
    DBMM
    1PJOUOPSN
    
    
    HFU@MPDBM
    
    
    
    DBMM
    1PJOUOPSN
    
    
    JTVC
    

34. Summary • All major modern browsers provide default support to

    WebAssembly MVP • Web Embedding: http://webassembly.org/docs/web/ • WebPack will support WASM as its first class language • AssemblyScript: a TypeScript subset compiler emits WASM