Memory Management with Explicit Regions

Created on 2022-01-29T19:13:21-06:00

Return to the Index

This card pertains to a resource available on the internet.

This card can also be read via Gemini.

Region allocation: creating regions of memory and storing objects in those regions.

Arenas: a region where objects are allocated sequentially then the whole arena is wiped when done.

Paper talks about using type safety in conjunction with regions. Ex. annotating a region and having the type system forbid intermixing the regions, and runtime support to ensure regions are not cleared if any dangling references exist.