Re: [Qemu-devel] [RFC PATCH v2 08/12] introduce reverse execution mechanism.

[Lluís Vilanova]

fred konrad writes:
[...]
> diff --git a/reverse-execution.c b/reverse-execution.c
> new file mode 100644
> index 0000000..44d1b80
> --- /dev/null
> +++ b/reverse-execution.c
> @@ -0,0 +1,326 @@
> +/*
> + *  reverse execution.
> + *
> + *  Copyright (C) 2014 : GreenSocs Ltd
> + *      http://www.greensocs.com/ , email: address@hidden
> + *
> + *  Developed by :
> + *  Frederic Konrad   <address@hidden>
> + *
> + * This program is free software; you can redistribute it and/or modify
> + * it under the terms of the GNU General Public License as published by
> + * the Free Software Foundation, either version 2 of the License, or
> + * (at your option) any later version.
> + *
> + * This program is distributed in the hope that it will be useful,
> + * but WITHOUT ANY WARRANTY; without even the implied warranty of
> + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
> + * GNU General Public License for more details.
> + *
> + * You should have received a copy of the GNU General Public License along
> + * with this program; if not, see <http://www.gnu.org/licenses/>.
> + *
> + */
> +
> +#include "qemu/timer.h"
> +#include "sysemu/sysemu.h"
> +#include "migration/qemu-file.h"
> +
> +#include "reverse-execution.h"
> +
> +#define DEBUG_REV_EXEC
> +
> +#ifdef DEBUG_REV_EXEC
> +#define DPRINTF(fmt, ...) \
> +do { printf("rexec: " fmt , ## __VA_ARGS__); } while (0)
> +#else
> +#define DPRINTF(fmt, ...) do { } while (0)
> +#endif

This code should probably use trace events instead of DPRINTFs.


Lluis

-- 
 "And it's much the same thing with knowledge, for whenever you learn
 something new, the whole world becomes that much richer."
 -- The Princess of Pure Reason, as told by Norton Juster in The Phantom
 Tollbooth