Simics & reverse execution

[Jakob Engblom]

> If the 64 bits of the integer were to be considered 'opaque' and no more
> than a unique handle onto a point in history, that would be fine.  But
> such a restriction is unfortunate, because you wouldn't be able to e.g.
> binary chop history.

But on which side of the debugger connection would you do this?

This can work eminently with opaque IDs: just have your scripted backend setup
the binary search or whatever, telling gdb that new bookmarks have appeared as
it runs. 

Actually, I think an important feature here would be to push bookmarks from the
backend to the gdb. So that the backend can provide useful insights to gdb.
This also lets the backend in some ways hook debug events that gdb has no idea
about, such as interrupts, hardware accesses, hypervisor activity that switches
around operating systems, and other things. 

/jakob