RCU - how it works

RCU sets some rules
Data structures are accessed via pointers
All accesses are atomic

When the structure changes
Set a pointer to a new, updated object
Wait for all processors to schedule
Invoke cleanup callbacks

This works because
Access is atomic
A processor which schedules can hold no references
If it follows the rules
When all have scheduled, no references remain