Here is a complete description of said race-condition:
http://groups.google.com/group/comp.programming.threads/msg/d3fe6c226f685d85Here is where Dmitriy V'jukov teaches me how to model this moment in Relacy:
http://groups.google.com/group/comp.programming.threads/msg/d4d80f4024e872b5Here is Relacy code which demonstrates how bad this race can be:
http://relacy.pastebin.com/f7efa882This bug will cause a memory leak, and guess what? Relacy finds a memory
leak!
This is too cool! Anyway, simply define `TURN_OFF_RACER' to show how
loading the aba version counter first in pop saves the day when you choose
not to bump it in push!
Wow!
:^D