A remote allocator for linux