Why does Folly’s `rcu_domain.retire(list_node* node)` require non-blocking `half_sync`?
I’ve been examining Folly’s implementation of RCU.h, particularly how half_sync is used within the retire function. The relevant snippet is shown as follows:
I’ve been examining Folly’s implementation of RCU.h, particularly how half_sync is used within the retire function. The relevant snippet is shown as follows: