[panda-users] Record and Replay

[Downing, Evan P]

Gotcha Tim.


Haha, it's okay. The docs will continue to improve with time, but for now they've been quite informative and helpful :)


Thanks again for both y'all's help!

~Evan


________________________________
From: Manolis Stamatogiannakis <mstamat at gmail.com>
Sent: Thursday, January 29, 2015 1:55 PM
To: Leek, Timothy - 0559 - MITLL
Cc: Downing, Evan P; panda-users at mit.edu
Subject: Re: [panda-users] Record and Replay

Right. I hastily copied the wrong line from my shell history: The replay name was missing and the image is not required as replay logs are self-contained.

Thanks,
Manolis

2015-01-29 19:38 GMT+01:00 Leek, Timothy - 0559 - MITLL <tleek at ll.mit.edu<mailto: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<mailto:edowning3 at gatech.edu>>
Date:  Thursday, January 29, 2015 at 11:34 AM
To:  Manolis Stamatogiannakis <mstamat at gmail.com<mailto:mstamat at gmail.com>>
Cc:  "panda-users at mit.edu<mailto:panda-users at mit.edu>" <panda-users at mit.edu<mailto: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<mailto:mstamat at gmail.com>>
Sent: Thursday, January 29, 2015 11:20 AM
To: Downing, Evan P
Cc: panda-users at mit.edu<mailto: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<mailto: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> <http://record_replay.md>?



2015-01-29 17:08 GMT+01:00 Downing, Evan P <edowning3 at gatech.edu<mailto: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<mailto:panda-users at mit.edu>
http://mailman.mit.edu/mailman/listinfo/panda-users












-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/mailman/private/panda-users/attachments/20150129/cae24f0f/attachment-0001.htm