[panda-users] Record and Replay

[Leek, Timothy - 0559 - MITLL]

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