The implementation and usages of User-level rcu