[fijal]

undodb gdb (a commercial product) works a lot faster than gdb (which is so slow it's unusable). We used it with success to debug programs as big as pypy