POPL 2025 (series) / WAW 2025 (series) / WAW 2025 - WebAssembly Workshop /
A Transactions Extension for Web Assembly
Our group has been working on designing and building an easily targeted runtime supporting managed language persistence built on top of non-volatile memory. A significant part of that support is providing transactions (essentially software transactional memory) over heap objects. We recently completed specification and prototyping of a transactions extension for WebAssembly (Wasm). We will present an overview of the extension, including use of the Wasm type system to reduce the number of required transaction access checks.