Related Work

Our Own Background Reading

• SandstormJS

In-memory Multitenant Grid

• KeyValueServe: Design and performance analysis of a multi-tenant data grid as a cloud service

Dispatch Papers

• MICA
• ZygOS

Type Safety

• TocOS
• NetBricks
• Uniqueness and reference immutability for safe parallelism
• Singularity

Partitioning

• Spanner
• Dynamo

Query Compilation

• HyPer

LLVM

• LLVM

Hardware Capabilities

• Intel MPX
• CHERI
• CODOMS

Exception and Unwind Safety

• catch_unwind
• UnwindSafe
• Exception Safety RFC

Note the last link contains a quote that basically captures our concern:

Abstractions like thread pools want to catch the panics of tasks being
run instead of having the thread torn down (and having to spawn a new thread).