Skip to content
  • Pavel Dovgaluk's avatar
    8eda206e
    replay: recording and replaying clock ticks · 8eda206e
    Pavel Dovgaluk authored
    
    
    Clock ticks are considered as the sources of non-deterministic data for
    virtual machine. This patch implements saving the clock values when they
    are acquired (virtual, host clock).
    When replaying the execution corresponding values are read from log and
    transfered to the module, which wants to read the values.
    Such a design required the clock polling to be synchronized. Sometimes
    it is not true - e.g. when timeouts for timer lists are checked. In this case
    we use a cached value of the clock, passing it to the client code.
    
    Signed-off-by: default avatarPavel Dovgalyuk <pavel.dovgaluk@ispras.ru>
    Message-Id: <20150917162427.8676.36558.stgit@PASHA-ISP.def.inno>
    Signed-off-by: default avatarPaolo Bonzini <pbonzini@redhat.com>
    Signed-off-by: default avatarPavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>
    8eda206e
    replay: recording and replaying clock ticks
    Pavel Dovgaluk authored
    
    
    Clock ticks are considered as the sources of non-deterministic data for
    virtual machine. This patch implements saving the clock values when they
    are acquired (virtual, host clock).
    When replaying the execution corresponding values are read from log and
    transfered to the module, which wants to read the values.
    Such a design required the clock polling to be synchronized. Sometimes
    it is not true - e.g. when timeouts for timer lists are checked. In this case
    we use a cached value of the clock, passing it to the client code.
    
    Signed-off-by: default avatarPavel Dovgalyuk <pavel.dovgaluk@ispras.ru>
    Message-Id: <20150917162427.8676.36558.stgit@PASHA-ISP.def.inno>
    Signed-off-by: default avatarPaolo Bonzini <pbonzini@redhat.com>
    Signed-off-by: default avatarPavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>
Loading