Make reduction search code SMP-friendly