태그: lazy preemption