Commit 66d3e92b authored by Glen Mével's avatar Glen Mével
Browse files

WIP paper on queue: mention CAS on references

parent 4cbadaf5
......@@ -37,4 +37,5 @@ read and the write operations happen \emph{atomically}.
There is syntactic sugar for single-cell locations, or ``references'':
$\AllocANY\val$ allocates a location of length~one, $\ReadANY\naloc$ reads at
offset~zero and $\WriteANY\naloc\val$ writes at offset~zero.
offset~zero, $\WriteANY\naloc\val$ writes at offset~zero and
$\CAS\atloc{\val_1}{\val_2}$ performs compare-and-set at offset~zero.
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