[panda-users] Record and Replay

[xiaojuan Li]

Hi,
this seems not to be useful when it applys to qemu-system-arm.
It just shows "kernel image must be specified"
How can I use to replay arm?
Thanks a lot!

2015-01-30 2:38 GMT+08:00 Leek, Timothy - 0559 - MITLL <tleek at ll.mit.edu>:

> Manolis & Evan.
>
> Generally, we run panda with –replay on the command line in the following
> manner.
>
> qemubinary –replay foo –panda blah blah blah.
>
> If you have created a replay (via the qemu monitor) with the command
> begin_record foo (and later end_record), then you end up with two files,
>
> foo-rr-nondet.log
> foo-rr-snp
>
> The -snp is qemu snapshot of ram + regs.
>
> The -nondet.log is the log of nondeterministic inputs to the cpu & ram.
>
> So you just put the “foo” part after “-replay” on the command line.
>
> qemubinary is ARCH-softmmu/qemu-system-ARCH where ARCH is i386, arm, or
> x86_64
>
> You will have to insert -m MEMSIZE after qemubinary if it is other than
> 128MB.
>
> The docs certainly still need work.
>
> Tim
>
>
> From:  <Downing>, Evan P <edowning3 at gatech.edu>
> Date:  Thursday, January 29, 2015 at 11:34 AM
> To:  Manolis Stamatogiannakis <mstamat at gmail.com>
> Cc:  "panda-users at mit.edu" <panda-users at mit.edu>
> Subject:  Re: [panda-users] Record and Replay
>
>
> Oh I see now.
>
> I'll go ahead and reword the sentence for grammar's sake.
>
>
> I ended up running the replay function from the command line anyways, but
> I was wondering how you could do it whilst still in the QEMU monitor
> console.
>
>
> Thanks a bunch!
>
> Evan
>
>
> ________________________________________
> From: Manolis Stamatogiannakis <mstamat at gmail.com>
> Sent: Thursday, January 29, 2015 11:20 AM
> To: Downing, Evan P
> Cc: panda-users at mit.edu
> Subject: Re: [panda-users] Record and Replay
>
> console -> QEMU monitor console
>
>
> 2015-01-29 17:19 GMT+01:00 Manolis Stamatogiannakis
> <mstamat at gmail.com>:
>
> I'd guess it means you haven't use "stop" command on the console.
>
>
> But this is needed only if you want to start a replay from the console.
> Usually it is more convenient to launch qemu+panda replay directly from
> the command line:
>
> ./i386-softmmu/qemu-system-i386 -vnc :1 -hda path/to/vmimage.qcow2 -panda
> 'plugin1;plugin2;plugin3:plugin3_arg1=foo,plugin3_arg2=bar'
>
>
> Cheers,
> Manolis
>
>
> PS. Maybe a ticket should be opened to add command line replay
> documentation in
> record_replay.md <http://record_replay.md>?
>
>
>
> 2015-01-29 17:08 GMT+01:00 Downing, Evan P <edowning3 at gatech.edu>:
>
>
>
> Hey guys,
>
>
> I'm attempting to experiment with PANDA's record and replay functionality.
>
>
> On the github page
> (https://github.com/moyix/panda/blob/master/docs/record_replay.md​) you
> state "Begin
>  a replay of the session named <name>.
>  Note that QEMU not must be halted for this to work."
>
>
> Could you please clarify this sentence? (particularly the "QEMU not must
> be halted" portion)
>
>
> Thanks,
>
> Evan
>
>
>
>
>
>
> _______________________________________________
> panda-users mailing list
> panda-users at mit.edu
> http://mailman.mit.edu/mailman/listinfo/panda-users
>
>
>
>
>
>
>
>
>
>
>
>
> _______________________________________________
> panda-users mailing list
> panda-users at mit.edu
> http://mailman.mit.edu/mailman/listinfo/panda-users
>



-- 
wait and hope~~
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/mailman/private/panda-users/attachments/20150330/8f0cd7e9/attachment.htm