~/talk

Continuing WebAssembly with Effect Handlers

on YouTube 18m
Talkat OOPSLA 2023 · 2023-10-23..10-27· [webassembly, compilers-and-language-design]

speakers

name:Luna Phipps-Costin
links:none on file
name:Andreas Rossberg
links:none on file
name:Arjun Guha
links:none on file
name:Daan Leijen
links:none on file
name:Daniel Hillerström
mastodon:@dhil@mathstodon.xyz
name:KC Sivaramakrishnan
website:https://kcsrk.info
name:Matija Pretnar
speakerdeck:matijapretnar
name:Sam Lindley
linkedin:sam-lindley-a4677b45

resources

video:https://youtu.be/2iiVhzzvnGA
slides:none on file

summary

WasmFX extends WebAssembly with WasmFX adds three instructions to create, suspend and resume continuations and with typed one-shot continuations that fit Wasm’s stack typing; a formal specification proves soundness. A prototype plugs into the Wasm reference interpreter and Wasmtime (piggybacking on Wasmtime’s fibers API). Preliminary benchmarks show raw task switching within an order of magnitude of asyncify while producing consistently smaller code size; artifacts and evaluated prototypes are available.

AI-written summary · about

chapters (9)

  1. 0:00WebAssembly with effect handlers
  2. 2:31WASM limits for non-local control
  3. 3:32Why effect handlers fit
  4. 5:21Designing WASM FX for continuations
  5. 7:26Lightweight threads example
  6. 10:58Key WASM FX instructions
  7. 11:40Prototype and benchmarks
  8. 13:07Summary and future
  9. 13:49Q&A on handlers

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.