[panda-users] Record and Replay

[xiaojuan Li]

Thanks first!
But it does not work to me.let me describe my operation:
first I use the runpandroid.py to boot the android emulator,then
begin_record,after doing something in android emulator,i end_record and get
the testandroid-rr-nondet.log & testandroid-rr-snp.Then I use the command
you suggested,my original machine is android_arm and the amount of memory
is 2G, it just shows "could not open the vm state file".
And I also want to know that the help command in qemu monitor,I use "help|?
***"(which is in the list by using "help" in qemu monitor) to see some
commands but it just shows "unknown command" .


2015-03-30 23:15 GMT+08:00 Brendan Dolan-Gavitt <brendandg at gatech.edu>:

> Hi,
>
> QEMU requires some command line arguments on ARM that it doesn't on
> x86, particularly -kernel as you saw. In replay mode you should be
> able to just use -kernel /dev/null. However, you will still have to
> specify some command line arguments that match the original recording,
> in particular the machine (-M) and amount of memory (-m). For example,
> for the squeeze-arm-filetest replay
> (http://www.rrshare.org/detail/17/), the command line is:
>
> arm-softmmu/qemu-system-arm -m 128 -replay squeeze-arm-filetest -M
> versatilepb -kernel /dev/null
>
> Hope this helps,
> Brendan
>
> On Mon, Mar 30, 2015 at 8:20 AM, xiaojuan Li <xiaotan6666 at gmail.com>
> wrote:
> > 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~~
> >
> > _______________________________________________
> > 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/20150331/3f783fef/attachment.htm