Automatic Pool Allocation

Reading List:

[1] Automatic pool allocation: Improving performance by controlling data structure layout in the heap. PLDI, 2005.

[2] Linear Regions Are All You Need. European Symposium on Programming, 2006 paper

Region-based memory management

Tofte-Talpin

Data are allocated within lexically-scoped regions and all of the objects in a region are deallocated at the end of the region’s scope.

  • restrictions on when data can be effectively reclaimed
  • memory leaks
Cyclone’s dynamic regions and unique pointers

Pool Allocation

The idea of instrumentation

How to determine a pool for which data structures

Applicaions

SAFECode

Performance optimization

Created Jul 4, 2019 // Last Updated Aug 31, 2020

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?