Virtual Machine Design for Parallel Dynamic Programming Languages

on YouTube ↗23m

" summary

Claims a concrete VM design: implements parallel worlds for isolation, on-demand page sharing and reconciliation using x86 virtual memory segmentation and memory-protection tricks, plus a transactional reconciliation algorithm to make large atomic ops appear atomic. Builds a Parallel RPython-based PyPy VM and runs threaded microbenchmarks, reporting up to 7.5× speedup on 8 cores (paper links results). JIT assumptions remain valid because worlds hide concurrent interference, and the implementation proves the approach is practical on commodity 64-bit CPUs.

AI-written summary · about

" chapters (11)

1. 0:00Start
2. 0:06Virtual Machine Design for Parallel Dynamic Programming Languages
3. 2:04Just-in-Time Compiler and Concurrency
4. 4:20Memory Model
5. 5:54Thread Safe Object Model
6. 7:11Approach
7. 8:54World Reconciliation
8. 9:40Transactional Execution
9. 13:56Worlds as Memory Segments
10. 15:44Summary
11. 16:52Support Evaluation

" related talks

• 48mOne VM To Rule Them AllThomas Wuerthinger · JavaDay Kyiv 2015
• 44mBuild Your Own VM with JIT Compilation for DummiesOlivier Poncet · Devoxx France 2024
• 11mUsing Pyrope To Create Transformable RISC V ArchitecturesHaven Skinner · 7th RISC-V Workshop 2017
• 01h 02mMemory and CompilersRui Wang, Yu Jiang, Ying-Jan Wu, Ching-Yu Kuo, Li-Pin Chang, Niccolò Borgioli, Matteo Zini, Daniel Casini, Giorgiomaria Cicero, Alessandro Biondi, Giorgio Buttazzo, Andrea Fanti, Carlos Chinea Perez, Remi Denis-Courmont, Gianluca Roascio, Jan-Erik Ekberg, Wanli Chang, Zehong Yu, Zhuo Su, Yixiao Yang, Jie Liang, Aiguo Cui · EMSOFT 2022
• 21mVirtualizing ContinuationsCong Ma, Jonghyun Jung, Yizhou Zhang · PLDI 2026
• 40mJoy of Meta-Tracing Just-in-Time Compilation: More Than Just a VM GeneratorHidehiko Masuhara · MPLR 2025
• 35mProgramming 'brainfuck' and virtual machinesAur Saraf · PyCon Israel 2017
• 48mOptimizing Performance using a VM and Go PluginsTravis Smith · GopherCon 2020