Supporting per-processor local-allocation buffers using lightweight user-level preemption notification