[panda-users] Cleanly terminate replay

[Brendan Dolan-Gavitt]

The "right" way currently is just to set the global
rr_end_replay_requested flag (accessible via "rr_log.h") to 1. That
will terminate the replay cleanly as soon as it's safe to do so (so
you might execute a couple more basic blocks before QEMU actually
notices and shuts down).

We probably should consider putting that behind some API function in the future.

Best,
Brendan

On Fri, Nov 18, 2016 at 10:17 AM, Juan Caballero
<juan.caballero at imdea.org> wrote:
> Hi again,
> Is there a way to cleanly terminate a replay in the middle? (for example
> when the process of interest dies after half of the replay)
> So far I do:
> unit_plugin(NULL) ;
> exit(-1);
>
> This allows my plugin to clean up its state, but it does not give a chance
> to PANDA to do its own cleanup.
> Does anyone use a better approach?
>
> Thanks,
> Juan
>
>
> _______________________________________________
> panda-users mailing list
> panda-users at mit.edu
> http://mailman.mit.edu/mailman/listinfo/panda-users



-- 
Brendan Dolan-Gavitt
Assistant Professor, Department of Computer Science and Engineering
NYU Tandon School of Engineering