How does this compare to reversible debugging in GDB? I guess it addresses the increased overhead (some say 1000x) that UndoDB tries to fix.