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

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

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!

1 post / 0 new
For more complete information about compiler optimizations, see our Optimization Notice.