Wonderful WebAssembly

...and the future of computing Webassembly Wonderful !

Matthias Endler ...works at trivago ...mostly Backend ...afraid of Frontend
...Python/Golang/Rust ...Runs "Hello Rust" https://endler.dev

hello-rust.show

Ritchie Thompson Kernighan

" UNIX is very simple.  It just takes a genius 
to understand its simplicity. " -- Dennis Ritchie

" C is what made  Unix portable " -- Dennis
Ritchie

<HTML> <HEAD> <TITLE>WWW</TITLE> </HEAD> <BODY> <BLINK>Hello, World!</BLINK> </BODY> </HTML>

function Vb(d) { d = d | 0; var e
= 0, f = 0, h = 0, j = 0, k = 0, l = 0, m = 0, n = 0, o = 0, p = 0, q = 0, r = 0, s = 0; e = i; i = i + 12 | 0; f = e | 0; [l + 4 >> 2] = 0; l = (c[1384465] | 0) + 3 | 0; do { if (l >>> 0 < 26) { if ((c[1356579] | 0) > 0) { m = d + 4 | 0; n = 0; while (1) { o = c[(c[1356577] | 0) + (n << 2) >> 2] | 0; do { if (a[o + 22 | 0] << 24 >> 24 == 24) { if (!(Vp(d, o | 0) | 0)) { break } p = (c[m >> 2] | 0) + (((c[h >> 2] | 0) - 1 | 0) * 40 & -1) + 12 | 0; q = o + 28 | 0; c[p >> 2] = c[q >> 2] | 0; c[p + 4 >> 2] = c[q + 4 >> 2] | 0; c[p + 8 >> 2] = c[q + 8 >> 2] | 0; c[p + 12 >> 2] = c[q + 12 >> 2] | 0; c[p + 16 >> 2] = c[q + 16 >> 2] | 0; asm.js

[Source]

•Performance differences between browsers •Still requires   parsing, compiling, optimising
•No speciﬁcation Disadvantages of asm.js

Enter WASM (Webassembly)

•Fast •Safe •Well deﬁned •Language-independent •Streamable •Parallelizable Wasm is .
. .

Wasm is . . .   neither web nor assembly

Decoding Validation Execution

https://blog.logrocket.com/webassembly-how-and-why-559b7f96cd71/

i32, i64, f32, f64 that's it. Datatypes!

1 5 3 0

(module)

0000000: 0061 736d ; WASM_BINARY_MAGIC 0000004: 0100 0000 ; WASM_BINARY_VERSION

( func <signature> <locals> <body> )

// JavaScript  function add(a, b) { return a + b;
}

(func (param i32) (param i32) (result f64) <body> )

(func (param i32) (param f32) (local f64) get_local 0 get_local
1 get_local 2 )

(func (param $foo i32) (param $bar f32) (local $baz f64)
get_local $foo get_local $bar get_local $baz )

(module ( func (param $a i32) (param $b i32) (result
i32) get_local $a get_local $b i32.add ) )

(module (func $add (param $a i32) (param $b i32) (result
i32) get_local $a get_local $b i32.add) (export "add" (func $add)) )

(module (type $type0 (func (result i32))) (table 0 anyfunc) (memory
1) (export "memory" memory) (export "hello" $func0) (func $func0 (result i32) i32.const 16 ) (data (i32.const 16) "Hello World\00" ) )

wasm2wat wat2wasm

0 750 1500 2250 3000 Go C Rust How big
is " Hello World " (in KB)? 40k 1k

0 750 1500 2250 3000 Go C Rust "Hello World"
unoptimized (KB) 40k 1k

0 750 1500 2250 3000 Go C Rust "Hello World"
unoptimized (KB) 20k 400 bytes

Examples!

https://endler.dev/2019/tinysearch

https://squoosh.app/editor

" Serverless "

https://wapm.io/

https://hacks.mozilla.org/2019/03/standardizing-wasi-a-webassembly-system-interface/

https://www.youtube.com/watch?v=QKTh5Xj60pI

Thanks! endler.dev/talks

Wonderful WebAssembly

Wonderful WebAssembly

More Decks by Matthias Endler

Other Decks in Programming

Featured

Transcript