[Question] Understanding of access hazard & ABA hazard #951
Labels
homework - hazard_pointer
hazard_pointer/{mod,hazard,retire}.rs
question
Further information is requested
In the paper of hazard pointers page 8, the author gives an example of FIFO enqueue, the pseudo code is as follows
I attach the author's statement on whether it is ABA hazard or Access hazard of each line to the code.
From my understanding, ABA hazard is reading a memory location maybe changed from A->B->A; Access hazard is reading a memory location maybe removed or reclaimed.
In this case, I'm confusing why the line 5 is only Access hazard instead of to be both ABA and Access hazard? because t is also possible to be change by another thread and then change back to its original value.
and why the line 6 becomes ABA hazard? I feel that if one line is access hazard, it's also possible to be ABA hazard.
Is there anything I misunderstand?
The text was updated successfully, but these errors were encountered: