[panda-users] Cleanly terminate replay

[Juan Caballero]

Great. I see now that "rr_log.h" exports "void panda_end_replay(void)", which sets rr_end_replay_requested to one
That function works nicely

Thanks,
Juan

-----Original Message-----
From: Brendan Dolan-Gavitt [mailto:brendandg at nyu.edu] 
Sent: Friday, November 18, 2016 10:35 PM
To: Juan Caballero
Cc: panda-users at mit.edu
Subject: Re: [panda-users] Cleanly terminate replay

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