From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59530) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aT1Ge-0007Qv-U5 for qemu-devel@nongnu.org; Tue, 09 Feb 2016 00:55:17 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aT1GY-0005dM-FH for qemu-devel@nongnu.org; Tue, 09 Feb 2016 00:55:16 -0500 Received: from mail.ispras.ru ([83.149.199.45]:46342) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aT1GY-0005cl-88 for qemu-devel@nongnu.org; Tue, 09 Feb 2016 00:55:10 -0500 From: Pavel Dovgalyuk Date: Tue, 09 Feb 2016 08:55:07 +0300 Message-ID: <20160209055506.8208.67.stgit@PASHA-ISP> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Subject: [Qemu-devel] [PATCH 0/3] Deterministic replay extensions List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: qemu-devel@nongnu.org Cc: edgar.iglesias@xilinx.com, peter.maydell@linaro.org, igor.rubinov@gmail.com, alex.bennee@linaro.org, mark.burton@greensocs.com, real@ispras.ru, hines@cert.org, batuzovk@ispras.ru, maria.klimushenkova@ispras.ru, pavel.dovgaluk@ispras.ru, pbonzini@redhat.com, kwolf@redhat.com, stefanha@redhat.com, fred.konrad@greensocs.com This set of patches is related to the reverse execution and deterministic replay of qemu execution. It includes recording and replaying of serial devices and block devices operations. With these patches one can record and deterministically replay behavior of the system with connected disk drives and serial communication ports (e.g., telnet terminal). --- Pavel Dovgalyuk (3): replay: character devices replay: introduce new checkpoint for icount warp replay: introduce block devices record/replay block/block-backend.c | 71 +++++++++++--- cpus.c | 9 +- gdbstub.c | 2 include/qemu/timer.h | 3 - include/sysemu/block-backend.h | 16 +++ include/sysemu/char.h | 26 +++++ include/sysemu/replay.h | 40 ++++++++ main-loop.c | 2 qemu-char.c | 56 ++++++++++- qemu-timer.c | 2 replay/Makefile.objs | 2 replay/replay-block.c | 202 ++++++++++++++++++++++++++++++++++++++++ replay/replay-char.c | 97 +++++++++++++++++++ replay/replay-events.c | 68 +++++++++++++ replay/replay-internal.h | 39 ++++++++ replay/replay.c | 25 +++++ stubs/clock-warp.c | 2 stubs/replay.c | 46 +++++++++ 18 files changed, 674 insertions(+), 34 deletions(-) create mode 100755 replay/replay-block.c create mode 100755 replay/replay-char.c -- Pavel Dovgalyuk