Gallatin: A General-Purpose GPU Memory Manager