Preempt-RCU: implementation