~/talk

Wasm/k: Delimited Continuations for WebAssembly

on YouTube 17m
Talkat DLS 2020 · 2020-11-17..11-20· [webassembly, compilers-and-language-design]

speakers

name:Donald Pinckney
website:https://donaldpinckney.com
name:Arjun Guha
links:none on file
name:Yuriy Brun
website:http://www.cs.umass.edu/~brun/

resources

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

summary

Adds Wasm/k, a small WebAssembly extension that implements delimited continuations with five new ops (control, restore, continuation_copy, continuation_delete, prompt) and a continuation_table to store captured stacks safely. Provides a prototype language C/k and a compiler to Wasm/k, and an implementation as a Wasmtime fork. Demonstrates efficient embedded green threads and generators by letting compilers mutate the formal stack instead of mirroring everything in linear memory, and enforces safety with prompt at FFI boundaries.

AI-written summary · about

chapters (6)

  1. 0:00Introduction
  2. 1:49Review of WebAssembly
  3. 2:46Linear Memory
  4. 7:18Go vs WebAssembly
  5. 7:51Solution
  6. 12:46Semantics

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.