Clarification about 25:35, "in one step find the previous" - At first, I was confused because RCU readers aren't allowed to use the back pointers. But it seems that the RCU updater is allowed to use the back pointers because either (1) it is the only updater, or (2) if we have multiple updaters, we will have the proper locks for the updaters.
Clarification about 25:35, "in one step find the previous" - At first, I was confused because RCU readers aren't allowed to use the back pointers. But it seems that the RCU updater is allowed to use the back pointers because either (1) it is the only updater, or (2) if we have multiple updaters, we will have the proper locks for the updaters.