From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:47789) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WziXz-0002UF-Pl for qemu-devel@nongnu.org; Wed, 25 Jun 2014 04:27:21 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WziXs-0008Kk-LW for qemu-devel@nongnu.org; Wed, 25 Jun 2014 04:27:15 -0400 Received: from [2001:41d0:8:2b42::1] (port=52848 helo=greensocs.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WziXs-0008Kc-FZ for qemu-devel@nongnu.org; Wed, 25 Jun 2014 04:27:08 -0400 From: fred.konrad@greensocs.com Date: Wed, 25 Jun 2014 10:26:48 +0200 Message-Id: <1403684808-23248-14-git-send-email-fred.konrad@greensocs.com> In-Reply-To: <1403684808-23248-1-git-send-email-fred.konrad@greensocs.com> References: <1403684808-23248-1-git-send-email-fred.konrad@greensocs.com> Subject: [Qemu-devel] [RFC PATCH v4 13/13] cexe: allow to enable reverse execution. List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: qemu-devel@nongnu.org Cc: peter.maydell@linaro.org, quintela@redhat.com, mark.burton@greensocs.com, dgilbert@redhat.com, amit.shah@redhat.com, pbonzini@redhat.com, vilanova@ac.upc.edu, fred.konrad@greensocs.com From: KONRAD Frederic This creates QEMU options for reverse execution. Signed-off-by: KONRAD Frederic --- qemu-options.hx | 9 +++++++++ vl.c | 16 ++++++++++++++++ 2 files changed, 25 insertions(+) diff --git a/qemu-options.hx b/qemu-options.hx index ff76ad4..2afb85d 100644 --- a/qemu-options.hx +++ b/qemu-options.hx @@ -2946,6 +2946,15 @@ order cores with complex cache hierarchies. The number of instructions executed often has little or no correlation with actual performance. ETEXI +DEF("cexe", 0, QEMU_OPTION_cexe, \ + "-cexe\n" \ + " enable reverse execution\n", QEMU_ARCH_ALL) +STEXI +@item -cexe +@findex -cexe +Enable reverse execution. +ETEXI + DEF("watchdog", HAS_ARG, QEMU_OPTION_watchdog, \ "-watchdog i6300esb|ib700\n" \ " enable virtual hardware watchdog [default=none]\n", diff --git a/vl.c b/vl.c index d0352e3..a94563a 100644 --- a/vl.c +++ b/vl.c @@ -228,6 +228,7 @@ static int default_floppy = 1; static int default_cdrom = 1; static int default_sdcard = 1; static int default_vga = 1; +static int default_cexe; static struct { const char *driver; @@ -3821,6 +3822,9 @@ int main(int argc, char **argv, char **envp) case QEMU_OPTION_icount: icount_option = optarg; break; + case QEMU_OPTION_cexe: + default_cexe = true; + break; case QEMU_OPTION_incoming: incoming = optarg; runstate_set(RUN_STATE_INMIGRATE); @@ -4520,6 +4524,15 @@ int main(int argc, char **argv, char **envp) vm_start(); } + if (default_cexe) { + if (!icount_option) { + fprintf(stderr, "Reverse execution requires icount.\n"); + exit(1); + } + + cexe_setup(); + } + os_setup_post(); if (is_daemonized()) { @@ -4536,5 +4549,8 @@ int main(int argc, char **argv, char **envp) tpm_cleanup(); #endif + if (cexe_is_enabled()) { + cexe_cleanup(); + } return 0; } -- 1.9.0