Asignador de pila
Un asignador que entrega memoria moviendo un puntero hacia delante y la libera retrocediendo un marcador guardado: estrictamente último en entrar, primero en salir.
En lugar de pedir cada bloque al sistema operativo, un asignador de pila reserva un único búfer contiguo y «asigna» empujando un puntero superior hacia delante. Para devolver memoria guardas de antemano la posición del marcador y retrocedes el puntero hasta ahí: todo lo asignado después se libera de golpe. Es O(1) y sin fragmentación alguna.
El precio es la disciplina: hay que liberar en el orden inverso al que se asignó, igual que una pila de llamadas. Eso hace el patrón perfecto para memoria temporal de trabajo dentro de un fotograma e inadecuado para objetos de vida impredecible. El asignador de arena relacionado libera en cambio todo de una vez; un asignador de pool entrega bloques de tamaño fijo en cualquier orden.