30 Jul
2011
30 Jul
'11
2:14 p.m.
On Jul 30, 2011, at 5:11 AM, Tim Blechmann <tim@klingt.org> wrote:
compare_exchange actually updates old_tos, so there is no need to load it again
Oho, I get it. Instead of "if compare equal then exchange" it's more like "if compare equal then set else retrieve". Tricky.
again, this is the difference between paper and actual implementation ;)
In this case, looks like the book is taking an abstraction penalty for exposition. Way better than cases where a paper will leave out necessary details because they're too messy.