Commit 4baf75be authored by Glen Mével's avatar Glen Mével
Browse files

address one remark

parent b41cb93f
......@@ -116,6 +116,8 @@ these two writes matters: the atomic write to \refstatuses must propagate the
information that the
nonatomic write to \refelements has taken place. Thus, a thread which dequeues this item
(after reading its status) is certain to read a correct value from the array \refelements.
% FP indicate that this is a typical release/acquire idiom?
This is a typical release/acquire idiom.
Function~\trydequeue works analogously.
Function~\trydequeue works analogously. (Overwriting the extracted value with
the unit value~$\Unit$ is unnecessary for functional correctness, but doing this
avoids keeping a stale pointer.)
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