¿Cómo funciona la depuración inversa?

GDB tiene una nueva versión que admite la depuración inversa (consulte http://www.gnu.org/software/gdb/news/reversible.html ). Llegué a preguntarme cómo funciona eso. Para que la depuración inversa funcione, me parece que debe almacenar todo el estado de la máquina, incluida la memoria para...