rcuja: lookup lower equal cannot reach dead-end
authorMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Mon, 3 Jun 2013 06:48:29 +0000 (02:48 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Mon, 3 Jun 2013 06:48:29 +0000 (02:48 -0400)
commit4cef6f97536820c7b4d685d6243cbb87ba34a4a1
treeb8bba1e89de3327434cdfd7e1e7ff097f8f4c627
parent3c52f0f98170ba2fdc22c879fd99053292aade44
rcuja: lookup lower equal cannot reach dead-end

Thanks to the guarantees provided by ja_detach_node(), lookups can
_never_ see a branch that would lead to a dead-end. Therefore, lookup
lower/equal never needs to retry, and we thus have a bounded number of
operations for cds_ja_lookup_lower_equal().

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
rcuja/rcuja.c
This page took 0.026339 seconds and 4 git commands to generate.