Use allocator for scheduler.