MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang
summary
MEA2 implements a field-sensitive escape analysis with points-to calculation on top of the GoLLVM/GoRVM pipeline, adds a generic function-summary format for fast interprocedural propagation, and constructs an escape graph to apply stack allocation. Evaluated on 12 open-source Go projects and 46 memory-bound tests, it cuts heap allocation sites about 7–7.4% versus Go’s escape analyses, reduces runtime by ~2.04%, GC frequency by ~29%, max heap by ~15.5% and total heap allocated by ~16.3%.
AI-written summary · about
chapters (14)
- 0:00MEA2 escape analysis intro
- 1:07Go memory model challenges
- 2:32Current escape analysis limits
- 3:56Memory access patterns analysis
- 4:39MEA2 algorithm design
- 6:07Escape state constraints
- 7:10Escape graph structure
- 8:16Instruction rules for escape
- 11:09Field sensitivity rules
- 12:13Points-to calculation
- 13:20Interprocedural analysis
- 15:53Evaluation methodology
- 17:40Performance improvements
- 18:26Q&A
