Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx> --- formal/spinhint.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/formal/spinhint.tex b/formal/spinhint.tex index 878fa61..ec53a7f 100644 --- a/formal/spinhint.tex +++ b/formal/spinhint.tex @@ -1096,7 +1096,7 @@ to 0 (so that line~14 will fetch the second counter). With the \co{sum_unordered} macro in place, we can now proceed to the update-side process shown in -Figure. +Figure~\ref{fig:analysis:QRCU Updater Process}. The update-side process repeats indefinitely, with the corresponding do-od loop ranging over lines~7-57. Each pass through the loop first snapshots the global {\tt readerprogress} -- 2.10.0 -- To unsubscribe from this list: send the line "unsubscribe perfbook" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html