Commit a19b1f11 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Typo.

parent ef183787
......@@ -19,7 +19,7 @@ As a result, the specification shown in~\fref{fig:queue:specsc} is useful in a w
Hence, the first addition in our specification to take into account weakly consistent behaviors is the objectiveness of $\isQueueSC\elemList$.
This corresponds to asserting that the use of atomic accesses in the concurrent queue library is sufficient to maintain its linearizability.
In a weakly consistent context, the concurent queue library under study is not only linearizable: its operations also provide guarantees for memory accesses \emph{outside} of the queue.
In a weakly consistent context, the concurrent queue library under study is not only linearizable: its operations also provide guarantees for memory accesses \emph{outside} of the queue.
Specifically, our library guarantees \emph{happens-before} relationships between some function calls:
\begin{enumerate}%
\item from an enqueuer to the dequeuer that obtains the corresponding item;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment