Commit b60c48a7 authored by Pavel Dovgalyuk's avatar Pavel Dovgalyuk Committed by Paolo Bonzini
Browse files

replay: shutdown event 



This patch records and replays simulator shutdown event.

Reviewed-by: default avatarPaolo Bonzini <pbonzini@redhat.com>

Signed-off-by: default avatarPavel Dovgalyuk <pavel.dovgaluk@ispras.ru>
Message-Id: <20150917162433.8676.32262.stgit@PASHA-ISP.def.inno>
Signed-off-by: default avatarPaolo Bonzini <pbonzini@redhat.com>
Signed-off-by: default avatarPavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>
parent 8eda206e

include/sysemu/replay.h

+5 −0
Original line number Diff line number Diff line
@@ -66,6 +66,11 @@ int64_t replay_read_clock(ReplayClockKind kind); 
            ? replay_save_clock((clock), (value))                       \

        : (value))



/* Events */



/*! Called when qemu shutdown is requested. */

void replay_shutdown_request(void);



/* Asynchronous events queue */



/*! Disables storing events in the queue */

replay/replay-internal.h

+2 −0
Original line number Diff line number Diff line
@@ -23,6 +23,8 @@ enum ReplayEvents { 
    EVENT_EXCEPTION,

    /* for async events */

    EVENT_ASYNC,

    /* for shutdown request */

    EVENT_SHUTDOWN,

    /* for clock read/writes */

    /* some of greater codes are reserved for clocks */

    EVENT_CLOCK,

replay/replay.c

+14 −0
Original line number Diff line number Diff line
@@ -14,6 +14,7 @@ 
#include "replay-internal.h"

#include "qemu/timer.h"

#include "qemu/main-loop.h"

#include "sysemu/sysemu.h"



ReplayMode replay_mode = REPLAY_MODE_NONE;
@@ -34,6 +35,10 @@ bool replay_next_event_is(int event) 
            res = true;

        }

        switch (replay_data_kind) {

        case EVENT_SHUTDOWN:

            replay_finish_event();

            qemu_system_shutdown_request();

            break;

        default:

            /* clock, time_t, checkpoint and other events */

            return res;
@@ -146,3 +151,12 @@ bool replay_has_interrupt(void) 
    }

    return res;

}



void replay_shutdown_request(void)

{

    if (replay_mode == REPLAY_MODE_RECORD) {

        replay_mutex_lock();

        replay_put_event(EVENT_SHUTDOWN);

        replay_mutex_unlock();

    }

}

vl.c

+2 −0
Original line number Diff line number Diff line
@@ -122,6 +122,7 @@ int main(int argc, char **argv) 
#include "qapi-event.h"

#include "exec/semihost.h"

#include "crypto/init.h"

#include "sysemu/replay.h"



#define MAX_VIRTIO_CONSOLES 1

#define MAX_SCLP_CONSOLES 1
@@ -1803,6 +1804,7 @@ void qemu_system_killed(int signal, pid_t pid) 
void qemu_system_shutdown_request(void)

{

    trace_qemu_system_shutdown_request();

    replay_shutdown_request();

    shutdown_requested = 1;

    qemu_notify_event();

}