From: Paolo Bonzini <pbonzini@redhat.com>
To: Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>, qemu-devel@nongnu.org
Cc: peter.maydell@linaro.org, peter.crosthwaite@xilinx.com,
alex.bennee@linaro.org, mark.burton@greensocs.com,
real@ispras.ru, batuzovk@ispras.ru,
maria.klimushenkova@ispras.ru, fred.konrad@greensocs.com
Subject: Re: [Qemu-devel] [PATCH v14 00/21] Deterministic replay core
Date: Tue, 26 May 2015 16:05:58 +0200 [thread overview]
Message-ID: <55647DC6.1080703@redhat.com> (raw)
In-Reply-To: <20150525120707.1052.44580.stgit@PASHA-ISP>
On 25/05/2015 14:07, Pavel Dovgalyuk wrote:
> This set of patches is related to the reverse execution and deterministic
> replay of qemu execution. This implementation of deterministic replay can
> be used for deterministic debugging of guest code through gdb remote
> interface.
>
> Core set of patches does not include support for reverse debugging commands
> of gdb, block devices' operations, USB replay support.
>
> These patches include only core function of the replay,
> excluding the support for replaying serial, audio, network, and USB devices'
> operations. Reverse debugging and monitor commands were also excluded to
> be submitted later as separate patches.
>
> Execution recording writes non-deterministic events log, which can be later
> used for replaying the execution anywhere and for unlimited number of times.
> It also supports checkpointing for faster rewinding during reverse debugging.
> Execution replaying reads the log and replays all non-deterministic events
> including external input, hardware clocks, and interrupts.
>
> Full version of deterministic replay has the following features:
> * Deterministically replays whole system execution and all contents of the memory,
> state of the hadrware devices, clocks, and screen of the VM.
> * Writes execution log into the file for latter replaying for multiple times
> on different machines.
> * Supports i386, x86_64, and ARM hardware platforms.
> * Performs deterministic replay of all operations with keyboard and mouse
> input devices.
> * Supports auto-checkpointing for convenient reverse debugging.
>
> Usage of the record/replay core:
> * First, record the execution, by adding the following string to the command line:
> '-icount shift=7,rr=record,rrfile=replay.bin -net none'.
> Block devices' images are not actually changed in the recording mode,
> because all of the changes are written to the temporary overlay file.
> * Then you can replay it for the multiple times by using another command
> line option: '-icount shift=7,rr=replay,rrfile=replay.bin -net none'
> * '-net none' option should also be specified if network replay patches
> are not applied.
> * Do not add any disk images to VM, because they are not supported by
> the core patches.
Hi Pavel,
this series has reached a point where I need help from other
maintainers, particularly (but not exclusively) regarding their own
code. I don't see anything that stands out (that's why I asked you to
remove the disks part), but it's a huge change and I don't feel
comfortable "just including it" in a pull request like I did with all
the preparatory changes so far.
Thanks for your understanding!
Paolo
prev parent reply other threads:[~2015-05-26 14:06 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-05-25 12:07 [Qemu-devel] [PATCH v14 00/21] Deterministic replay core Pavel Dovgalyuk
2015-05-25 12:07 ` [Qemu-devel] [PATCH v14 01/21] i386: partial revert of interrupt poll fix Pavel Dovgalyuk
2015-05-25 12:07 ` [Qemu-devel] [PATCH v14 02/21] replay: global variables and function stubs Pavel Dovgalyuk
2015-05-25 12:07 ` [Qemu-devel] [PATCH v14 03/21] sysemu: system functions for replay Pavel Dovgalyuk
2015-05-25 12:07 ` [Qemu-devel] [PATCH v14 04/21] replay: internal functions for replay log Pavel Dovgalyuk
2015-05-25 12:07 ` [Qemu-devel] [PATCH v14 05/21] replay: introduce mutex to protect the " Pavel Dovgalyuk
2015-05-25 12:07 ` [Qemu-devel] [PATCH v14 06/21] replay: introduce icount event Pavel Dovgalyuk
2015-05-25 12:07 ` [Qemu-devel] [PATCH v14 07/21] cpu-exec: allow temporary disabling icount Pavel Dovgalyuk
2015-05-25 12:08 ` [Qemu-devel] [PATCH v14 08/21] cpu: replay instructions sequence Pavel Dovgalyuk
2015-05-25 12:08 ` [Qemu-devel] [PATCH v14 09/21] i386: interrupt poll processing Pavel Dovgalyuk
2015-05-25 12:08 ` [Qemu-devel] [PATCH v14 10/21] replay: interrupts and exceptions Pavel Dovgalyuk
2015-05-25 12:08 ` [Qemu-devel] [PATCH v14 11/21] replay: asynchronous events infrastructure Pavel Dovgalyuk
2015-05-25 12:08 ` [Qemu-devel] [PATCH v14 12/21] replay: recording and replaying clock ticks Pavel Dovgalyuk
2015-05-25 12:08 ` [Qemu-devel] [PATCH v14 13/21] replay: shutdown event Pavel Dovgalyuk
2015-05-25 12:08 ` [Qemu-devel] [PATCH v14 14/21] replay: checkpoints Pavel Dovgalyuk
2015-05-25 12:08 ` [Qemu-devel] [PATCH v14 15/21] bottom halves: introduce bh call function Pavel Dovgalyuk
2015-05-25 12:08 ` [Qemu-devel] [PATCH v14 16/21] replay: ptimer Pavel Dovgalyuk
2015-05-25 12:08 ` [Qemu-devel] [PATCH v14 17/21] typedef: add typedef for QemuOpts Pavel Dovgalyuk
2015-05-25 12:08 ` [Qemu-devel] [PATCH v14 18/21] replay: initialization and deinitialization Pavel Dovgalyuk
2015-05-25 12:09 ` [Qemu-devel] [PATCH v14 19/21] replay: replay blockers for devices Pavel Dovgalyuk
2015-05-25 12:09 ` [Qemu-devel] [PATCH v14 20/21] replay: command line options Pavel Dovgalyuk
2015-05-25 12:09 ` [Qemu-devel] [PATCH v14 21/21] replay: ptimer Pavel Dovgalyuk
2015-05-25 12:11 ` Pavel Dovgaluk
2015-05-26 14:05 ` Paolo Bonzini [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=55647DC6.1080703@redhat.com \
--to=pbonzini@redhat.com \
--cc=Pavel.Dovgaluk@ispras.ru \
--cc=alex.bennee@linaro.org \
--cc=batuzovk@ispras.ru \
--cc=fred.konrad@greensocs.com \
--cc=maria.klimushenkova@ispras.ru \
--cc=mark.burton@greensocs.com \
--cc=peter.crosthwaite@xilinx.com \
--cc=peter.maydell@linaro.org \
--cc=qemu-devel@nongnu.org \
--cc=real@ispras.ru \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.