The reverse debugging is built on http://dmtcp.sourceforge.net/ (if I recall correctly). It's really neat technology
This is available now, in the just released gdb-7.0.
Debug any native Linux process in reverse, on x86 and
x86_64 architectures. Reverse-continue, reverse-step,
reverse-next, and so on. It's pretty fast, too!