Expand description

Heterogeneous memory allocator.

Presents a consistent interface for allocating memory with specific properties. Examples include allocating NUMA-local memory, or allocating CUDA device memory.

The allocated memory is of type Mem, and specialized to DerefMem whenever possible.

Structs

Heterogeneous memory allocator.

Enums

Dereferencable memory type specifier

Memory type specifier

Type Definitions

Generic memory allocator for DerefMem that hides concrete memory type

Generic memory allocator for Mem that hides concrete memory type

A curried memory allocator for caching and spilling memory