We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent aa02ec5 commit a35339fCopy full SHA for a35339f
src/srrcu.tex
@@ -25,11 +25,11 @@
25
\begin{itemize}
26
\item no other invocation of \tcode{lock} on \tcode{dom} is sequenced
27
after L and before U or
28
-\item every invocation of \tcode{unlock} $U'$ on \tcode{dom} such
29
- that L is sequenced before $U'$ and $U'$
+\item every invocation of \tcode{unlock} U' on \tcode{dom} such
+ that L is sequenced before U' and U'
30
is sequenced before U corresponds to an invocation of
31
- \tcode{lock} $L'$ on \tcode{dom} such that L is sequenced
32
- before $L'$ and $L'$ is sequenced before $U'$.
+ \tcode{lock} L' on \tcode{dom} such that L is sequenced
+ before L' and L' is sequenced before U'.
33
\end{itemize}
34
35
NOTE
0 commit comments