Hi Paul, The sentence shown below as a diff looks incomplete to me. What is your intention here? Thanks, Akira -- diff --git a/defer/hazptr.tex b/defer/hazptr.tex index 4b61d34d..7297e90e 100644 --- a/defer/hazptr.tex +++ b/defer/hazptr.tex @@ -240,6 +240,7 @@ element~C, which means that Thread~0's subsequent accesses might have resulted in arbitrarily horrible memory corruption, especially if the memory for element~C had since been re-allocated for some other purpose. Therefore, statically allocated global variables), hazard-pointer +% @@@ looks incomplete @@@ readers must typically restart the full traversal in the face of a concurrent deletion.