Relacy detects very subtle race-condition in blink of an eye!

[Chris_M__Thomasson]

Here is a complete description of said race-condition:

http://groups.google.com/group/comp.programming.threads/msg/d3fe6c226f685d85




Here is where Dmitriy V'jukov teaches me how to model this moment in Relacy:

http://groups.google.com/group/comp.programming.threads/msg/d4d80f4024e872b5




Here is Relacy code which demonstrates how bad this race can be:

http://relacy.pastebin.com/f7efa882




This 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

BTW, here is where you can obtain Relacy Race Detector:

http://groups.google.com/group/relacy


Enjoy!